Skip to content
#

atl

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

Learn more