Skip to content
#

aadl

Here are 22 public repositories matching this topic...

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 aadl 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 aadl topic, visit your repo's landing page and select "manage topics."

Learn more