Skip to content
#

xpand

Here are 3 public repositories matching this topic...

Language: All
Filter by language

We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…

  • Updated Aug 28, 2021
  • Assembly

Improve this page

Add a description, image, and links to the xpand topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the xpand topic, visit your repo's landing page and select "manage topics."

Learn more