Share This Article:

Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

Full-Text HTML Download Download as PDF (Size:567KB) PP. 147-155
DOI: 10.4236/jsea.2013.63019    3,848 Downloads   7,516 Views Citations


In this work, we propose an approach for the verification of the AADL architecture. This approach is based on 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 process in two steps: the first is a Model2 Model transformation which takes an AADL Model and produces the corresponding timed automata model. The second transformation is a Model2 Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. A case study has been developed to show the feasibility and validity of the proposed approach.

Cite this paper

M. Hamdane, A. Chaoui and M. Strecker, "Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models," Journal of Software Engineering and Applications, Vol. 6 No. 3, 2013, pp. 147-155. doi: 10.4236/jsea.2013.63019.

Copyright © 2020 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.