AADLAADL建模、編譯和分析工具

AADL創(chuàng)始人Peter H．Feiler和Bruce A．Lewis總結(jié)了AADL的發(fā)展歷程，提出AADL是在MetaH，ADL以及商業(yè)建模語言UML和HOOD(hierarchical object-oriented design)[9]的基礎(chǔ)上發(fā)展起來的。1991年，在美國DARPA計劃DSSA(domain specific software architectures)項目支持下，Honeywell實驗室提出體系結(jié)構(gòu)描述語言MetaH，專用于航空電子、飛行控制等系統(tǒng)的體系結(jié)構(gòu)描述與分析。到1999年，學術(shù)界和工業(yè)界對MetaH進行了大量研究與應(yīng)用，如支持多處理器系統(tǒng)建模、Ada95和POSIX中間件配置、MetaH-ACME的轉(zhuǎn)換、可靠性建模等。2001年，SAE提出基于MetaH定義一個航空電子體系結(jié)構(gòu)描述語言標準，即Avionics Architecture Description Language(AADL)，支持描述標準的航空電子控制與數(shù)據(jù)流機制及實時、容錯、安全等非功能性質(zhì)。2004年，AADL標準化得到了進一步的擴展。SAE，CMU，Honeywell等共同提出建立嵌入式實時系統(tǒng)體系結(jié)構(gòu)描述語言標準，并正式命名為Architecture Analysis&Design Language(AADL)。2004年11月，發(fā)布了AADL 1.0版本，以文本的形式給出核心語言的語法和語義。2006年發(fā)布了一些擴展附件(annex)，如Graphical AADL Notation Annex，AADL Meta model and XML／XMI Interchange Format Annex，Error Model Annex，Behavior Annex，UML Profile Annex。2009年1月發(fā)布了AADL 2.0版本。

OSATE(open source AADL tool environment)是由CMU開發(fā)的AADL開源集成開發(fā)環(huán)境，是在Eclipse平臺上的一套插件，用于AADL建模、編譯和分析。在OSATE上開發(fā)了多種分析插件，進行可調(diào)度性分析、安全性分析、時間延遲分析等。而TOPCASED提供了AADL的圖形化編輯器，因此，一般將OSATE和TOPCASED一起作為建模與分析工具來使用。