DO-254 標準への準拠性のモデルアドバイザーチェック

モデルアドバイザーを実行すると、モデルまたはサブシステムが DO-254 安全規格の選択した内容に準拠しているかどうかをチェックできます。

DO 標準への準拠性をチェックするには、モデルアドバイザーを開いて、[タスク別] 、 [DO-254 のモデリング標準] でチェックを実行します。

DO-254 (Software Considerations in Airborne Systems and Equipment Certification) 標準および関連する標準の詳細については、Radio Technical Commission for Aeronautics (RTCA) を参照してください。

次の表は、DO-254 チェックの一覧です。

モデルアドバイザーサブフォルダー	モデルアドバイザーチェック	チェック ID
N/A	Display model version information	`mathworks.do178.MdlChecksum`
高信頼性システム	Model Advisor Checks for High-Integrity Systems Modeling Guidelinesを参照
ライブラリリンク	Identify unresolved library links	`mathworks.design.UnresolvedLibLinks`
要件の整合性	要件リンクのモデルアドバイザーチェックを参照
HDL Coder	HDL コードアドバイザーチェック (HDL Coder)を参照

高信頼性システムモデリングのモデルチェック

モデルアドバイザーを実行すると、モデルまたはサブシステムが高信頼性システムモデルの安全規格の選択した内容に準拠しているかどうかをチェックできます。

高信頼性システムモデル標準への準拠性をチェックするには、[タスク別] 、 [DO-254 のモデリング標準] 、 [高信頼性システム] から高信頼性チェックを実行します。

次の表に、高信頼性システムモデルのチェックと、それぞれに対応する DO-254 安全規格をサポートするモデリングガイドラインを示します。高信頼性モデリングガイドラインの詳細については、高信頼性システムのモデリングを参照してください。

高信頼性システムモデルのチェック	該当する高信頼性システム用のモデリングガイドライン
不整合のあるベクトルインデックス手法をチェック	hisl_0021: 一貫したベクトルインデックス方法
[プリプロセッサの条件を生成] がアクティブなバリアントブロックのチェック	hisl_0023: バリアントブロックの検証
プロパティが不明なルート Inport のチェック	hisl_0024: Inport インターフェイス定義
浮動小数点型が一致することを示す Relational Operator ブロックをチェック	hisl_0017: 関係演算子を計算するブロックの使用方法 (2)
浮動小数点信号の関係比較のチェック	hisl_0016: 関係演算子を計算するブロックの使用方法
Logical Operator ブロックの使用をチェック	hisl_0018: Logical Operator ブロックの使用方法
サンプル時間依存ブロックのチェック	hisl_0007: For Iterator Subsystem または While Iterator Subsystem の使用方法
Abs ブロックの使用をチェック	hisl_0001: Abs ブロックの使用法
Assignment ブロックの使用をチェック	hisl_0029: Assignment ブロックの使用方法
範囲定義が不明なルート Inport のチェック	hisl_0025: 入力インターフェイスの設計の最小値/最大値指定
不明な範囲定義があるルート Outport のチェック	hisl_0026: 出力インターフェイスの設計の最小値/最大値指定
パラレルステート境界を横切る遷移パスに関する Stateflow チャートのチェック	hisf_0013: 遷移パスの使用方法 (パラレルステートの境界を越える)
ステートと遷移の順序に対して Stateflow チャートをチェック	hisf_0002: ユーザー指定のステート/遷移実行順序
Stateflow デバッグオプションをチェック	hisf_0011: Stateflow のデバッグ設定
固有に定義されたデータオブジェクトの Stateflow チャートをチェック	hisl_0061: 明確性のための一意の識別子
単項演算子に関する Stateflow チャートのチェック	hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める
MATLAB コードアナライザーメッセージをチェック	himl_0004: コード生成に関する MATLAB コードアナライザーの推奨事項
安全性関連のモデルリファレンス設定をチェック	hisl_0037: [コンフィギュレーションパラメーター]、[モデル参照]
パラメーターに対する安全性関連の診断設定をチェック	hisl_0302: [コンフィギュレーションパラメーター]、[診断]、[データ有効性]、[パラメーター]
型変換に対する安全性関連の診断設定をチェック	hisl_0309: [コンフィギュレーションパラメーター]、[診断]、[型変換]
信号の接続性に対する安全性関連の診断設定をチェック	hisl_0306: [コンフィギュレーションパラメーター]、[診断]、[接続性]、[信号]
バスの接続性に対する安全性関連の診断設定をチェック	hisl_0307: [コンフィギュレーションパラメーター]、[診断]、[接続性]、[バス]
モデルの初期化に関する安全性関連の診断設定をチェック	hisl_0304: [コンフィギュレーションパラメーター]、[診断]、[データ有効性]、[モデルの初期化]
モデルリファレンスの安全性関連の診断設定をチェック	hisl_0310: [コンフィギュレーションパラメーター]、[診断]、[モデル参照]
保存に対する安全性関連の診断設定をチェック	hisl_0036: [コンフィギュレーションパラメーター]、[診断]、[保存]
Stateflow に関する安全性関連の診断設定のチェック	hisl_0311: [コンフィギュレーションパラメーター]、[診断]、[Stateflow]
モデルオブジェクト名のチェック	hisl_0032: モデルオブジェクト名
要件へのリンクのないモデル要素をチェック	hisl_0070: モデル内の要件リンクの配置
遷移パスの不適切な使用をチェック	hisf_0014: 遷移パスの使用方法 (ステートを通過する)
Bitwise Operator ブロックの使用をチェック	hisl_0019: ビット演算の使用方法
インデックス信号をもつブロックのデータ型をチェック	hisl_0022: インデックス信号のデータ型の選択
モデルファイル名をチェック	hisl_0031: モデルファイル名
MATLAB Function ブロック内の if/elseif/else パターンをチェック	himl_0006: MATLAB コードの if/elseif/else パターン
MATLAB Function ブロック内の switch ステートメントをチェック	himl_0007: MATLAB コードの switch/case/otherwise パターン
グラフィカル関数のグローバル変数をチェック	hisl_0062: グラフィカル関数内のグローバル変数
ユーザー定義オブジェクト名の長さをチェック	hisl_0063: MISRA C:2012 準拠性を高めるユーザー定義オブジェクト名の長さ
標準化された MATLAB 関数ヘッダーの使用をチェック	himl_0001: 標準化された MATLAB 関数ヘッダーの使用
MATLAB Function ブロック内の関係演算子の使用をチェック	himl_0008: MATLAB コードの関係演算子のデータ型
MATLAB Function ブロック内での論理演算子と論理関数の使用をチェック	himl_0010: MATLAB コードでの論理演算子と論理関数の使用
Stateflow チャート内の端子の名前をチェック	hisf_0016: Stateflow の端子名
Stateflow データオブジェクトのスコープをチェック	hisf_0017: Stateflow データオブジェクトのスコープ
Gain ブロックの使用をチェック	hisl_0066: Gain ブロックの使用方法
ループ制御変数のデータ型をチェック	hisl_0102: MISRA C:2012 準拠性を高めるループ制御変数のデータ型
不足しているプロパティがあるルート Outport のチェック	hisl_0077: Outport インターフェイス定義

HDL コードアドバイザーチェック

HDL コードアドバイザーおよび HDL Coder™ のモデルアドバイザーチェックを使用して、HDL コード生成との互換性について Simulink^® モデルまたはサブシステムを検証および更新します。コードアドバイザーでは、次に対するチェックを実行します。

モデルコンフィギュレーション設定
端子およびサブシステム設定
ブロックおよびブロック設定
ネイティブ浮動小数点のサポート
業界標準のガイドライン

次の表は、DO-254 安全規格でサポートされる HDL コードアドバイザーチェックの一覧です。

HDL コードアドバイザーチェック	説明
無限大および連続サンプル時間ソースをチェック (HDL Coder)	連続サンプル時間をもつソースブロックをチェックします。
サポートされていないブロックのチェック (HDL Coder)	HDL コード生成でサポートされていないブロックをチェックします。
大規模行列演算のチェック (HDL Coder)	大規模行列演算をチェックします。
Identify unconnected lines, input ports, and output ports	接続されていないラインや端子をチェックします。
Identify disabled library links	モデルの無効なライブラリリンクを検索します。
Identify unresolved library links	指定のライブラリブロックが見つからない、関連付けられていないライブラリリンクのモデルを検索します。
MATLAB Function ブロックの設定をチェック (HDL Coder)	MATLAB Function ブロックの HDL 互換設定をチェックします。
Stateflow チャートの設定をチェック (HDL Coder)	Stateflow^® Chart ブロックの HDL 互換設定をチェックします。
Check Delay, Unit Delay and Zero-Order Hold blocks for rate transition	レート変換に使用されている Delay ブロック、Unit Delay ブロック、または Zero-Order Hold ブロックを特定します。これらのブロックを実際の Rate Transition ブロックに置き換えます。
信号オブジェクトでサポートされていないストレージクラスのチェック (HDL Coder)	信号オブジェクトのストレージクラスが `'ExportedGlobal'`、`'ImportedExtern'` または `'ImportedExternPointer'` かどうかをチェックします
ファイル拡張子のチェック (HDL Coder)	エンティティを含む VHDL ファイルの拡張子をチェックします。
命名規則をチェック (HDL Coder)	EDA ツールで使用される標準キーワードをチェックします。
最上位サブシステム/端子名をチェック (HDL Coder)	最上位モジュール/エンティティおよび端子の名前をチェックします。
モジュール/エンティティ名をチェック (HDL Coder)	モジュール/エンティティ名をチェックします。
信号と端子の名前をチェック (HDL Coder)	信号と端子の名前の長さをチェックします。
パッケージファイル名をチェック (HDL Coder)	パッケージを含むファイル名をチェックします。
ジェネリックをチェック (HDL Coder)	最上位のサブシステム上のジェネリックをチェックします。
クロック、リセット、イネーブル信号をチェック (HDL Coder)	クロック信号、リセット信号およびイネーブル信号の命名規則をチェックします。
アーキテクチャ名をチェック (HDL Coder)	生成された HDL コード内の VHDL アーキテクチャ名をチェックします。
エンティティとアーキテクチャをチェック (HDL Coder)	VHDL のエンティティとアーキテクチャが同じファイル内で記述されているかどうかをチェックします。
クロック設定をチェック (HDL Coder)	クロック信号の制約をチェックします。
Xilinx デバイスと Altera デバイスのグローバルリセット設定をチェック (HDL Coder)	Altera^® デバイスに対する非同期リセット設定と、Xilinx^® デバイスに対する同期リセット設定をチェックします。
インラインコンフィギュレーション設定のチェック (HDL Coder)	`InlineConfigurations` を有効にしているかどうかをチェックします。
代数ループをチェック (HDL Coder)	代数ループについてモデルをチェックします。
可視化設定のチェック (HDL Coder)	モデルの表示設定 (端子のデータ型とサンプル時間の色分け) をチェックします。
遅延の均衡化の設定をチェック (HDL Coder)	[遅延の均衡化] が有効になっているかチェックします。
HDL コード生成に適したモデルパラメーターのチェック (HDL Coder)	HDL コード生成用のモデルパラメーター設定をチェックします。
モデルで double のデータ型をチェック (HDL Coder)	モデルで `double` データ型をチェックします。
互換性のない設定をもつ Data Type Conversion ブロックをチェック (HDL Coder)	Data Type Conversion ブロックの変換モードをチェックします。
HDL Reciprocal ブロックの使用をチェック (HDL Coder)	HDL Reciprocal ブロックが浮動小数点型を使用していないことをチェックします。
Relational Operator ブロックの使用をチェック (HDL Coder)	浮動小数点型を使用する Relational Operator ブロックが boolean 出力をもつことをチェックします。
ネイティブ浮動小数点でサポートされていないブロックをチェック (HDL Coder)	ネイティブ浮動小数点をもつサポートされないブロックをチェックします。
出力レイテンシが非ゼロのブロックをチェック (HDL Coder)	ネイティブ浮動小数点をもつ出力レイテンシが非ゼロのブロックをチェックします。
ULP 誤差が非ゼロのブロックをチェック (HDL Coder)	ネイティブ浮動小数点をもつ ULP 誤差が非ゼロのブロックをチェックします。
モデルで single のデータ型をチェック (HDL Coder)	モデルで `single` データ型をチェックします。
無効な最上位サブシステムをチェック (HDL Coder)	HDL コード生成で最上位に配置できないサブシステムをチェックします。