AADLAADL建模、编译和分析工具

AADL创始人Peter H．Feiler和Bruce A．Lewis总结了AADL的发展历程，提出AADL是在MetaH，ADL以及商业建模语言UML和HOOD(hierarchical object-oriented design)[9]的基础上发展起来的。1991年，在美国DARPA计划DSSA(domain specific software architectures)项目支持下，Honeywell实验室提出体系结构描述语言MetaH，专用于航空电子、飞行控制等系统的体系结构描述与分析。到1999年，学术界和工业界对MetaH进行了大量研究与应用，如支持多处理器系统建模、Ada95和POSIX中间件配置、MetaH-ACME的转换、可靠性建模等。2001年，SAE提出基于MetaH定义一个航空电子体系结构描述语言标准，即Avionics Architecture Description Language(AADL)，支持描述标准的航空电子控制与数据流机制及实时、容错、安全等非功能性质。2004年，AADL标准化得到了进一步的扩展。SAE，CMU，Honeywell等共同提出建立嵌入式实时系统体系结构描述语言标准，并正式命名为Architecture Analysis&Design Language(AADL)。2004年11月，发布了AADL 1.0版本，以文本的形式给出核心语言的语法和语义。2006年发布了一些扩展附件(annex)，如Graphical AADL Notation Annex，AADL Meta model and XML／XMI Interchange Format Annex，Error Model Annex，Behavior Annex，UML Profile Annex。2009年1月发布了AADL 2.0版本。

OSATE(open source AADL tool environment)是由CMU开发的AADL开源集成开发环境，是在Eclipse平台上的一套插件，用于AADL建模、编译和分析。在OSATE上开发了多种分析插件，进行可调度性分析、安全性分析、时间延迟分析等。而TOPCASED提供了AADL的图形化编辑器，因此，一般将OSATE和TOPCASED一起作为建模与分析工具来使用。