SAE AS5506/3-2017
アーキテクチャ分析および設計言語 (AADL) 付録 D: 行動モデル付録

規格番号

SAE AS5506/3-2017

制定年

2017

出版団体

SAE - SAE International

最新版

SAE AS5506/3-2017

範囲

はじめに SAE アーキテクチャ分析および設計言語 (本書では AADL と呼びます) は、パフォーマンスが重要なリアルタイム システムのソフトウェアおよびハードウェア アーキテクチャを設計および分析するために使用されるテキストおよびグラフィック言語です。 これらのシステムは、その動作が信頼性、可用性、タイミング、応答性、スループット、安全性、セキュリティなどの非機能的なシステム要件を満たすことに大きく依存しています。 AADL は、実行プラットフォームにマッピングされたソフトウェア コンポーネントのアセンブリなどのシステムの構造を記述するために使用されます。 これは、コンポーネントへの機能インターフェイス (データ入出力など) やコンポーネントのパフォーマンスが重要な側面 (タイミングなど) を記述するために使用できます。 AADL は、データの入力と出力がどのように接続されるか、またはアプリケーション ソフトウェア コンポーネントが実行プラットフォーム コンポーネントにどのように割り当てられるかなど、コンポーネントがどのように相互作用するかを記述するために使用することもできます。 この言語は、モデルの動作モードとモード遷移のサポートを提供することにより、ランタイム アーキテクチャの動的な動作を記述するために使用することもできます。 この言語は、コア言語が完全にはサポートしていないランタイム アーキテクチャの分析に対応できるように拡張できるように設計されています。 拡張機能は、新しいプロパティの形式をとることができ、コンポーネントに関連付けることができ、それ自体が標準化される分析固有の表記法も可能です。 AADL は、アビオニクス@ 自動車エレクトロニクス@ やロボット システムなどの組み込みリアルタイム システムを含む、パフォーマンスが重要なリアルタイム システム@ の特別なニーズを満たすために開発されました。 この言語は、タイミング要件、障害およびエラーの動作、時間と空間の分割、安全性と認証のプロパティなど、パフォーマンスに重要な重要な側面を記述することができます。 このような記述により、システム設計者は、システムのスケジュール可能性@サイジング分析@および安全性分析など、構成されたコンポーネントおよびシステムの分析を実行できます。 これらの分析から、設計者はアーキテクチャ上のトレードオフと変更を評価できます。 AADL は、一貫した方法で、複数の分析次元に沿ったアーキテクチャの変更による横断的な影響の分析をサポートします。 一貫性は、注釈付きのアーキテクチャ モデルから解析モデルを自動生成することで実現されます。 AADL は、システム コンポーネントを統合し、検証されたモデルからシステム エグゼクティブを構築するために必要なソース コードの自動生成をサポートする生成ツールと併用するように設計されています。 モデルベース エンジニアリングに対するこのアーキテクチャ中心のアプローチにより、開発ライフサイクル全体を通じて、要件に対するシステム モデルの検証とシステム モデルに対する実装の段階的な検証が可能になります。 この文書には、ステートマシンベースの付録サブ言語でコンポーネントとコンポーネントの相互作用動作のモデリングを可能にする Behavior Annex@ の改訂版が含まれています。

SAE AS5506/3-2017 発売履歴

• 2017 SAE AS5506/3-2017 アーキテクチャ分析および設計言語 (AADL) 付録 D: 行動モデル付録

SAE AS5506/3-2017 - すべての部品