A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation

DOI

10.2991/emim-15.2015.146How to use a DOI?

Keywords

Model Transformation; AADL Model; Non-Functional Properties; Verification; Analysis

Abstract

Architecture Analysis and Design Language (AADL) is an architecture description language that has been adopted as an industry standard for embedded real-time systems by the International Society for Automotive Engineers (SAE) in 2004.To meet the need of verification and analysis of the AADL models, model transformation technologies are generally used to automatically extract a formal specification suitable for verification and analysis. This paper surveys the research and practice of verification and analysis of non-functional properties of AADL Model based on model transformation, presents a discussion from different perspectives of the state of the art, identifies open issue and presents some future work directions in the field.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Biao Xu
AU  - Minyan Lu
PY  - 2015/04
DA  - 2015/04
TI  - A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation
BT  - Proceedings of the 2015 International Conference on Education, Management, Information and Medicine
PB  - Atlantis Press
SP  - 738
EP  - 754
SN  - 2352-5428
UR  - https://doi.org/10.2991/emim-15.2015.146
DO  - 10.2991/emim-15.2015.146
ID  - Xu2015/04
ER  -