期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2015
卷号：8
期号：4
页码：177-184
DOI：10.14257/ijhit.2015.8.4.20
出版社：SERSC
摘要：By using model-driven architecture (MDA), most of errors can be discovered and solved at the early stage of system design. AADL lacks formal semantics which are essential for real-time embedded systems with high safety requirements. In this paper, we design and implementation the AADL Interpreter based on K semantics framework, and this lays a solid foundation for formal analysis and verification of AADL model.
