アーキテクチャ分析設計言語(AADL)は、SAEによって標準化されたアーキテクチャ記述言語です。[ 1 ] AADLは最初に航空電子機器の分野で開発され、以前は航空電子機器アーキテクチャ記述言語として知られていました。[ 2 ]米陸軍によって一部資金提供されました。
アーキテクチャ分析設計言語 (AADL) は、ハネウェルの先端技術センターが作成したアーキテクチャ記述言語 MetaH から派生したものです。AADL は、組み込みリアルタイムシステムのソフトウェアおよびハードウェアアーキテクチャをモデル化するために使用されます。組み込みドメインに重点を置いているため、AADL にはソフトウェアコンポーネントとハードウェアコンポーネントの両方をモデル化するための構成要素が含まれています (標準ではハードウェアコンポーネントは「実行プラットフォーム」コンポーネントと呼ばれます)。このアーキテクチャモデルは、設計ドキュメント、分析 (スケジューラビリティやフロー制御など)、またはUMLのようなコード生成 (ソフトウェア部分) に使用できます。[ 3 ] [ 4 ]
AADLは、システムとソフトウェアの両方の側面を単一の表記法で表現するコア言語によって定義されます。単一のモデルを用いることで、システムの表現が一つに絞られ、分析ツールの使いやすさが向上します。この言語は、プロパティを用いてシステム固有の特性を指定します。
この言語は、以下の方法で拡張できます。
AADLは、幅広いツールによってサポートされています。
ツールセットの完全なリストは、AADLの公開Wikiで確認できます。
AADLは以下の研究プロジェクトで使用されています。
過去および現在のプロジェクト/イニシアチブの完全なリストは、AADLの公開Wikiでは見つけることができません。なぜなら、そのWikiは廃止されたからです。2020年12月現在、代替となるものも提供されていません。