AADL: An Architecture Design and Analysis Language for Complex Embedded Real-TimeSystems
复杂嵌入式实时系统体系结构设计与分析语言:AADL

This paper firstly presents a summary of AADL (architecture analysis and design language), including its progress over the years and its modeling elements. Then, it surveys the research and practice of AADL from a model-based perspective, such as AADL modeling, AADL formal semantics, model transformation, verification and code generation. Finally, the potential research directions are discussed.