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…
eclipse
verification
model-checking
atl
transformation
aadl
ecore-metamodel
uppaal
xpand
timed-automata
model-driven-architecture
ecore-model
-
Updated
Aug 28, 2021 - Assembly