SAE AS5506/1-2006
SAE アーキテクチャ分析および設計言語 (AADL) 附属書第 1 巻: 附属書 A: グラフィカル AADL 表記法、附属書 C: AADL メタモデルおよび交換形式、附属書 D: 言語準拠およびアプリケーション インターフェイス 附属書 E: エラー モデル附属書

規格番号

SAE AS5506/1-2006

制定年

2006

出版団体

Society of Automotive Engineers (SAE)

状態

入れ替わる

に置き換えられる

SAE AS5506/1-2011

最新版

SAE AS5506/1A-2015

範囲

この文書には、SAE AS5506 規格に対する 3 つの付録 (SAE アーキテクチャ分析および記述言語) が含まれています。 最初の付録である付録 A グラフィック AADL 表記では、グラフィック AADL 表記のためのグラフィック シンボルのセットが定義されています。 これらのグラフィック シンボルを使用して、AADL モデル内のコンポーネント、機能、接続間の関係を表現できます。 グラフィカルに表示されている AADL モデルが正当であり、正しいグラフィック シンボルが使用されている場合、グラフィカル AADL 図は AADL コア標準に従って正当です。 たとえば、グラフィカル エディタでは、ソースと宛先が接続されていない接続を作成することはできません。 AADL モデルのグラフィック表示では、法的な AADL モデルのサブセットを表示することが許可されています。 たとえば、プロパティ値はプロパティ シートまたはダイアログ ボックスから入力できます。 この付録の図は、AADL モデルのさまざまなビューを示しています。 これらのビューは規範的なものではなく、考えられるビューとレイアウトを示すことを目的としています。 2 番目の付録である付録 C AADL メタ モデルと交換形式では、AADL メタ モデルと AADL モデルの XML ベースの交換形式が定義されています。 AADL メタ モデルは、AADL モデルの構造、つまり、意味的に装飾された抽象構文ツリーに対応する AADL 仕様のオブジェクト表現を定義します。 AADL モデルのオブジェクト表現は、API を通じてプログラムで操作できます。 AADL モデルのオブジェクト表現は、標準の交換形式の XML ドキュメントとして永続的に保存することもできます。 これにより、AADL XML スキーマ (XML 2001) または XMI メタ モデル仕様 (XMI 2003) をサポートするさまざまなツールが AADL モデルで相互運用できるようになります。 AADL の XML スキーマと XMI メタ モデル仕様はどちらも AADL メタ モデルから派生しているため、2 つの表現はメタ モデルと一致しています。 3 番目の付録である付録 D の言語準拠とアプリケーション プログラム インターフェイスでは、AADL で記述されたアーキテクチャ仕様に準拠するソース テキストの言語固有の規則が定義されています。 AADL はソース テキスト言語に依存しませんが、この付録は、AADL モデルと、Ada (ISO 1995、IEEE 2001) で記述されたソース テキストと C (ISO 1999) で記述されたソース テキストとの間で移行するためのガイドラインをユーザーに提供します。 この付録では、共通の実行環境で混合言語アプリケーション ソース コード モジュールの使用を容易にするために、アプリケーション ソフトウェアと実行環境の間でアプリケーション プログラム インターフェイス (API) を使用することを推奨します。 4 番目の付録である付録 E エラー モデル付録では、アーキテクチャにおける冗長性管理およびリスク軽減方法の仕様を可能にし、安全性、信頼性、完全性、可用性、保守性などのシステム特性の定性的および定量的評価を可能にする機能を定義します。 この付録は、エラー付録ライブラリ内でエラー モデルを宣言し、それらをアーキテクチャ仕様内のコンポーネントに関連付けるために使用できるサブ言語を定義します。 この付録は、コア AADL 標準実装宣言内のエラー付録句内で使用できるサブ言語も定義します。

SAE AS5506/1-2006 規範的参照

• IEEE 1003.13-2003 情報技術、標準化されたアプリケーション環境プロファイル、POSIX リアルタイムおよび組み込みアプリケーションのサポート (APE)*， 2024-04-09 更新するには
• IEEE 1003.5b-1999 情報技術 POSIX Ada 言語インターフェイス システム アプリケーション プログラミング インターフェイス (API) バインディング リアルタイム拡張
• ISO/IEC 8652:1995 情報技術プログラミング言語 Ada
• ISO/IEC 9899:1999 プログラミング言語.C
• ISO/IEC TR 15942:2000 高度に統合されたシステムにおける情報技術プログラミング言語における Ada プログラミング言語の使用に関するガイド
• RTCA DO-254-2000 航空電子機器ハードウェア設計保証ガイド*， 2024-04-09 更新するには
• SAE ARP4761-1996 民間航空システムおよび機器の安全性評価プロセスの基準と方法
• SAE AS5506-2004 アーキテクチャ分析および設計言語 (AADL)

SAE AS5506/1-2006 発売履歴

• 2015 SAE AS5506/1A-2015 SAE アーキテクチャ分析および設計言語 (AADL) 付録第 1 巻: 付録 A: ARINC653 付録、付録 C: コード生成付録、付録 E: エラー モデル付録
• 2011 SAE AS5506/1-2011 SAE アーキテクチャ分析および設計言語 (AADL) 附属書第 1 巻: 附属書 A: グラフィカル AADL 表記法、附属書 C: AADL メタモデルおよび交換形式、附属書 D: 言語準拠およびアプリケーション インターフェイス 附属書 E: エラー モデル附属書
• 2006 SAE AS5506/1-2006 SAE アーキテクチャ分析および設計言語 (AADL) 附属書第 1 巻: 附属書 A: グラフィカル AADL 表記法、附属書 C: AADL メタモデルおよび交換形式、附属書 D: 言語準拠およびアプリケーション インターフェイス 附属書 E: エラー モデル附属書

SAE AS5506/1-2006 - すべての部品