このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

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

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

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

この表は、DO-178C/DO-331 のチェックのリストです。

サブフォルダー	モデル アドバイザー チェック
N/A	モデルのバージョン情報の表示
MISRA	AUTOSAR 受信側インターフェイスの欠落しているエラー ポートのチェック
	サポートされていないブロック名のチェック
	バス要素の名前として使用されるバス オブジェクト名のチェック
	浮動小数点値の等式演算と不等式演算のチェック
	符号付き整数のビット演算のチェック
	整数の語長をチェック
	モデル関数内の欠落している const 修飾子をチェック
	再帰関数の呼び出しのチェック
	default ケースをもたない switch case 式のチェック
バグ レポート	Display bug reports for DO Qualification Kit (DO Qualification Kit)
	Display bug reports for Simulink Check (DO Qualification Kit)
	Display bug reports for Simulink Coverage (DO Qualification Kit)
	Display bug reports for Requirements Toolbox (DO Qualification Kit)
	Display bug reports for Simulink Code Inspector (DO Qualification Kit)
	Display bug reports for Simulink Report Generator (DO Qualification Kit)
	Display bug reports for Simulink (DO Qualification Kit)
	Display bug reports for Simulink Test (DO Qualification Kit)
	Display bug reports for Simulink Design Verifier (DO Qualification Kit)
	Display bug reports for Embedded Coder (DO Qualification Kit)
	Display bug reports for Polyspace Bug Finder (DO Qualification Kit)
	Display bug reports for Polyspace Bug Finder Server (DO Qualification Kit)
	Display bug reports for Polyspace Code Prover (DO Qualification Kit)
	Display bug reports for Polyspace Code Prover Server (DO Qualification Kit)

DO-178C/DO-331 標準が適用される高信頼性システムのモデリングのチェックは以下のとおりです。

高信頼性システムのモデリング ガイドラインのモデル アドバイザー チェック

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

高信頼性システム モデルの規格への準拠性をチェックするには、次のモデル アドバイザーのフォルダーから高信頼性チェックを実行します。

• [タスク別] 、 [DO-178C/DO-331 のモデリング標準] 、 [高信頼性システム]

• [タスク別] 、 [IEC 61508 のモデリング標準] 、 [高信頼性システム]

• [タスク別] 、 [IEC 62304 のモデリング標準] 、 [高信頼性システム]

• [タスク別] 、 [EN 50128/EN 50657 のモデリング標準] 、 [高信頼性システム]

• [タスク別] 、 [ISO 26262 のモデリング標準] 、 [高信頼性システム]

• [タスク別] 、 [ISO 25119 のモデリング標準] 、 [高信頼性システム]

高信頼性システムのモデリング ガイドライン用のモデル アドバイザー チェック

Simulink^® Check™ モデル アドバイザーは、次のものを含む安全規格への準拠の検証に使用できる、高信頼性システムのモデル化チェックを提供しています。

• DO-178C / DO-331

• IEC 61508

• IEC 62304

• ISO 26262

• EN 50128 (および EN 50657)

• ISO 25119 Standard (Embedded Coder)

高信頼性システム用のモデリング ガイドラインとそれらに対応するチェックを、次の表にまとめています。モデル アドバイザー チェックがないガイドラインについては、ガイドラインのチェックを自動化することはできません。対応するチェックのないガイドラインには、「該当なし」と記載しています。

モデル アドバイザー チェック	チェック ID	高信頼性システム用のモデリング ガイドライン
Check usage of lookup table blocks	mathworks.hism.hisl_0033	hisl_0033: Lookup Table 系ブロックの使用方法
Check for inconsistent vector indexing methods	mathworks.hism.hisl_0021	hisl_0021: 一貫したベクトル インデックス方法
Check usage of variant blocks	mathworks.hism.hisl_0021	hisl_0023: バリアント ブロックの検証
Check for root Inports with missing properties	mathworks.hism.hisl_0024	hisl_0024: Inport インターフェイス定義
Check usage of Relational Operator blocks	mathworks.hism.hisl_0017	hisl_0017: 関係演算子を計算するブロックの使用方法 (2)
Check relational comparisons on floating-point signals	mathworks.hism.hisl_0016	hisl_0016: 関係演算子を計算するブロックの使用方法
Check usage of Logical Operator blocks	mathworks.hism.hisl_0018	hisl_0018: Logical Operator ブロックの使用方法
Check usage of While Iterator blocks	mathworks.hism.hisl_0006	hisl_0006: While Iterator ブロックの使用方法
Check usage of For and While Iterator subsystems	mathworks.hism.hisl_0007	hisl_0007: For Iterator Subsystem または While Iterator Subsystem の使用方法
Check usage of For Iterator blocks	mathworks.hism.hisl_0008	hisl_0008: For Iterator ブロックの使用方法
Check usage of If blocks and If Action Subsystem blocks	mathworks.hism.hisl_0010	hisl_0010: If ブロックと If Action Subsystem ブロックの使用方法
Check usage of Switch Case blocks and Switch Case Action Subsystem blocks	mathworks.hism.hisl_0011	hisl_0011: Switch Case ブロックと Action Subsystem ブロックの使用方法
	mathworks.hism.hisl_0045	hisl_0045: [コンフィギュレーション パラメーター]、[数学とデータ型]、[boolean データ (対 double) として論理信号を処理]
Check safety-related block reduction optimization settings	mathworks.hism.hisl_0046	hisl_0046: [コンフィギュレーション パラメーター]、[シミュレーション ターゲット]、[ブロック削減]
Check safety-related optimization settings for application lifespan	mathworks.hism.hisl_0048	hisl_0048: [コンフィギュレーション パラメーター]、[数学とデータ型]、[アプリケーションのライフスパン (日)]
Check safety-related optimization settings for data initialization	mathworks.hism.hisl_0052	hisl_0052: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[データの初期化]
Check safety-related optimization settings for data type conversions	mathworks.hism.hisl_0053	hisl_0053: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[範囲外の値をラップする浮動小数点から整数への変換コードを削除]
Check safety-related optimization settings for division arithmetic exceptions	mathworks.hism.hisl_0054	hisl_0054: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[除算演算の例外処理を防止するコードを削除]
Check safety-related code generation settings for comments	mathworks.hism.hisl_0038	hisl_0038: [コンフィギュレーション パラメーター]、[コード生成]、[コメント]
Check safety-related code generation interface settings	mathworks.hism.hisl_0039	hisl_0039: [コンフィギュレーション パラメーター]、[コード生成]、[インターフェイス]
Check safety-related code generation settings for code style	mathworks.hism.hisl_0047	hisl_0047: [コンフィギュレーション パラメーター]、[コード生成]、[コード スタイル]
Check safety-related code generation identifier settings	mathworks.hism.hisl_0049	hisl_0049: [コンフィギュレーション パラメーター]、[コード生成]、[識別子]
Check usage of Abs blocks	mathworks.hism.hisl_0001	hisl_0001: Abs ブロックの使用法
Check usage of remainder and reciprocal operations	mathworks.sldv.hism.hisl_0002	hisl_0002: 残余演算および逆数演算の使用
Check usage of square root operations	mathworks.hism.hisl_0003	hisl_0003: 平方根演算の使用
Check usage of log and log10 operations	mathworks.sldv.hism.hisl_0004	hisl_0004: 自然対数演算と 10 を底とする対数演算の使用
Check usage of Assignment blocks	mathworks.hism.hisl_0029	hisl_0029: Assignment ブロックの使用方法
Check usage of Signal Routing blocks	mathworks.hism.hisl_0034	hisl_0034: Signal Routing ブロックの使用方法
Check for root Inports with missing range definitions	mathworks.hism.hisl_0025	hisl_0025: 入力インターフェイスの設計の最小値/最大値指定
Check for root Outports with missing range definitions	mathworks.hism.hisl_0026	hisl_0026: 出力インターフェイスの設計の最小値/最大値指定
Check state machine type of Stateflow charts	mathworks.hism.hisf_0001	hisf_0001: ステート マシン タイプ
Check Stateflow charts for transition paths that cross parallel state boundaries	mathworks.hism.hisf_0013	hisf_0013: 遷移パスの使用方法 (パラレル ステートの境界を越える)
Check Stateflow charts for ordering of states and transitions	mathworks.hism.hisf_0002	hisf_0002: ユーザー指定のステート/遷移実行順序
Check Stateflow debugging options	mathworks.hism.hisf_0011	hisf_0011: Stateflow のデバッグ設定
Check Stateflow charts for uniquely defined data objects	mathworks.hism.hisl_0061	hisl_0061: 明確性のための一意の識別子
Check Stateflow charts for strong data typing	mathworks.hism.hisf_0015	hisf_0015: 厳密なデータ型指定 (変数とパラメーターを式で変換する)
Check assignment operations in Stateflow Charts	mathworks.hism.hisf_0065	hisf_0065: コード準拠性を高める Stateflow 型キャスト演算
Check Stateflow charts for unary operators	mathworks.hism.hisf_0211	hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める
Check for MATLAB Function interfaces with inherited properties	mathworks.hism.himl_0002	himl_0002: MATLAB 関数の境界での厳密な型指定
Check MATLAB Function metrics	mathworks.hism.himl_0003	himl_0003: ユーザー定義の MATLAB 関数の複雑度
Check MATLAB Code Analyzer messages	mathworks.hism.himl_0004	himl_0004: コード生成に関する MATLAB コード アナライザーの推奨事項
Check safety-related model referencing settings	mathworks.hism.hisl_0037	hisl_0037: [コンフィギュレーション パラメーター]、[モデル参照]
Check safety-related diagnostic settings for solvers	mathworks.hism.hisl_0043	hisl_0043: [コンフィギュレーション パラメーター]、[診断]、[ソルバー]
Check safety-related solver settings for simulation time	mathworks.hism.hisl_0040	hisl_0040: [コンフィギュレーション パラメーター]、[ソルバー]、[シミュレーション時間]
Check safety-related solver settings for solver options	mathworks.hism.hisl_0041	hisl_0041: [コンフィギュレーション パラメーター]、[ソルバー]、[ソルバーオプション]
Check safety-related solver settings for tasking and sample-time	mathworks.hism.hisl_0042	hisl_0042: [コンフィギュレーション パラメーター]、[ソルバー]、[タスクとサンプル時間オプション]
Check safety-related diagnostic settings for sample time	mathworks.hism.hisl_0044	hisl_0044: [コンフィギュレーション パラメーター]、[診断]、[サンプル時間]
Check safety-related diagnostic settings for parameters	mathworks.hism.hisl_0302	hisl_0302: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[パラメーター]
Check safety-related diagnostic settings for data used for debugging	mathworks.hism.hisl_0305	hisl_0305: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[デバッグ]
Check safety-related diagnostic settings for data store memory	mathworks.hism.hisl_0013	hisl_0013: データ ストア メモリの使用方法
Check safety-related diagnostic settings for type conversions	mathworks.hism.hisl_0309	hisl_0309: [コンフィギュレーション パラメーター]、[診断]、[型変換]
Check safety-related diagnostic settings for signal connectivity	mathworks.hism.hisl_0306	hisl_0306: [コンフィギュレーション パラメーター]、[診断]、[接続性]、[信号]
Check safety-related diagnostic settings for bus connectivity	mathworks.hism.hisl_0307	hisl_0307: [コンフィギュレーション パラメーター]、[診断]、[接続性]、[バス]
Check safety-related diagnostic settings that apply to function-call connectivity	mathworks.hism.hisl_0308	hisl_0308: [コンフィギュレーション パラメーター]、[診断]、[接続性]、[関数の呼び出し]
Check safety-related diagnostic settings for compatibility	mathworks.hism.hisl_0301	hisl_0301: [コンフィギュレーション パラメーター]、[診断]、[互換性]
Check safety-related diagnostic settings for model initialization	mathworks.hism.hisl_0304	hisl_0304: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[モデルの初期化]
Check safety-related diagnostic settings for model referencing	mathworks.hism.hisl_0310	hisl_0310: [コンフィギュレーション パラメーター]、[診断]、[モデル参照]
Check safety-related diagnostic settings for saving	mathworks.hism.hisl_0036	hisl_0036: [コンフィギュレーション パラメーター]、[診断]、[保存]
Check safety-related diagnostic settings for Merge blocks	mathworks.hism.hisl_0303	hisl_0303: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[Merge blocks]
Check safety-related diagnostic settings for Stateflow	mathworks.hism.hisl_0311	hisl_0311: [コンフィギュレーション パラメーター]、[診断]、[Stateflow]
Check model object names	mathworks.hism.hisl_0032	hisl_0032: モデル オブジェクト名
Check for model elements that do not link to requirements	mathworks.hism.hisl_0070	hisl_0070: モデル内の要件リンクの配置
Check for inappropriate use of transition paths	mathworks.hism.hisf_0014	hisf_0014: 遷移パスの使用方法 (ステートを通過する)
Check usage of bit operation blocks	mathworks.hism.hisl_0019	hisl_0019: ビット演算の使用方法
Check data types for blocks with index signals	mathworks.hism.hisl_0022	hisl_0022: インデックス信号のデータ型の選択
Check model file name	mathworks.hism.hisl_0031	hisl_0031: モデル ファイル名
Check if/elseif/else patterns in MATLAB Function blocks	mathworks.hism.hisl_0022	himl_0006: MATLAB コードの if/elseif/else パターン
Check switch statements in MATLAB Function blocks	mathworks.hism.himl_0007	himl_0007: MATLAB コードの switch/case/otherwise パターン
Check global variables in graphical functions	mathworks.hism.hisl_0062	hisl_0062: グラフィカル関数内のグローバル変数
Check for length of user-defined object names	mathworks.hism.hisl_0063	hisl_0063: MISRA C:2012 準拠性を高めるユーザー定義オブジェクト名の長さ
Check usage of Merge blocks	mathworks.hism.hisl_0015	hisl_0015: Merge ブロックの使用方法
	mathworks.hism.hisl_0012	hisl_0012: 条件付き実行サブシステムの使用方法
Check usage of standardized MATLAB function headers	mathworks.hism.himl_0001	himl_0001: 標準化された MATLAB 関数ヘッダーの使用
Check usage of relational operators in MATLAB Function blocks	mathworks.hism.himl_0008	himl_0008: MATLAB コードの関係演算子のデータ型
Check usage of logical operators and functions in MATLAB Function blocks	mathworks.hism.himl_0010	himl_0010: MATLAB コードでの論理演算子と論理関数の使用
Check type and size of condition expressions	mathworks.hism.himl_0011	himl_0011: 条件式のデータ型とサイズ
Check naming of ports in Stateflow charts	mathworks.hism.hisf_0016	hisf_0016: Stateflow の端子名
Check scoping of Stateflow data objects	mathworks.hism.hisf_0017	hisf_0017: Stateflow データ オブジェクトのスコープ
Check usage of Gain blocks	mathworks.hism.hisl_0066	hisl_0066: Gain ブロックの使用方法
Check for divide-by-zero calculations	mathworks.hism.hisl_0067	hisl_0067: ゼロ除算の計算を回避
Check data type of loop control variables	mathworks.hism.hisl_0102	hisl_0102: MISRA C:2012 準拠性を高めるループ制御変数のデータ型
	mathworks.misra.CodeGenSettings	hisl_0060: MISRA C:2012 準拠性を高めるコンフィギュレーション パラメーター
Check for blocks not recommended for C/C++ production code deployment	mathworks.hism.hisl_0020 mathworks.misra.BlkSupport	hisl_0020: MISRA C:2012 準拠で推奨されないブロック
Check safety-related optimization settings for specified minimum and maximum values	mathworks.hism.hisl_0056	hisl_0056: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[指定した最小値と最大値を使用した最適化]
Check usage of Reciprocal Sqrt blocks	mathworks.hism.hisl_0028	hisl_0028: Reciprocal Square Root ブロックの使用
Check safety-related settings for hardware implementation	mathworks.hism.hisl_0071	hisl_0071: [コンフィギュレーション パラメーター]、[ハードウェア実行]、[整合性のないハードウェア実装の設定]
Check usage of recursions	mathworks.hism.hisf_0004	hisf_0004: 再帰関数の呼び出しから保護してコードの準拠性を高める
Check MATLAB functions not supported for code generation	mathworks.hism.himl_0012	himl_0012: コード生成での MATLAB 関数の使用方法
Metrics for generated code complexity	mathworks.hism.himl_0013	himl_0013: 組み込み MATLAB 関数の複雑度に関する制限
Check for parameter tunability ignored for referenced models	mathworks.hism.hisl_0072	hisl_0072: 参照モデルの調整可能なパラメーターの使用方法
Check usage of bit-shift operations	mathworks.hism.hisl_0073	hisl_0073: ビットシフト演算の使用方法
Check safety-related diagnostic settings for variants	mathworks.hism.hisl_0074	hisl_0074: [コンフィギュレーション パラメーター]、[診断]、[バリアントに関するモデル化の問題]
Check for disabled and parameterized library links	mathworks.hism.hisl_0075	hisl_0075: ライブラリ リンクの使用方法
Check for unreachable and dead code	mathworks.hism.hisl_0101	hisl_0101: デッド ロジックが発生する演算を回避し、コード準拠性を高める
Check for root Outports with missing properties	mathworks.hism.hisl_0077	hisl_0077: Outport インターフェイス定義

参考

• モデル アドバイザーを使用したモデルのチェック

• 高信頼性システムのモデリング

関連するトピック

• モデル アドバイザー チェックの実行と結果の確認