IEC 61508、IEC 62304、ISO 26262、ISO 25119 および EN 50128/EN 50657 の各規格へのモデルの準拠性のチェック

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

ISO 26262:2018 自動車 — 機能安全
ISO 25119:2018 農林業用トラクターおよび機械 — 制御系統の安全関連部品
IEC 61508:2010 電気/電子/プログラマブル電子安全システムの機能安全規格
EN 50128:2011 鉄道分野 - 通信システム、信号システムおよび処理システム - 鉄道の制御と保護システムのソフトウェア
EN 50657:2017 鉄道分野。鉄道車両分野。鉄道車両用ソフトウェア
IEC 62304:2015 医療機器ソフトウェア – ソフトウェアライフサイクルプロセス
MISRA C:2012 クリティカルシステムにおける C 言語利用のガイドライン

これらの標準への準拠をチェックするには、モデルアドバイザーを開いて以下のフォルダーでチェックを実行します。

[タスク別] 、 [ISO 26262 のモデリング標準]
[タスク別] 、 [ISO 25119 のモデリング標準]
[タスク別] 、 [IEC 61508 のモデリング標準]
[タスク別] 、 [EN 50128/EN 50657 のモデリング標準]
[タスク別] 、 [IEC 62304 のモデリング標準]

この表は、IEC 61508、IEC 62304、ISO 26262、ISO 25119 および EN 50128/EN 50657 のチェックのリストです。

サブフォルダー	モデルアドバイザーチェック
N/A	Display configuration management data
	Display model metrics and complexity report
	Check for unconnected objects
MISRA	Check for missing error ports for AUTOSAR receiver interfaces
	Check for unsupported block names
	Check bus object names that are used as bus element names
	Check for equality and inequality operations on floating-point values
	Check for bitwise operations on signed integers
	Check integer word length
	Check for missing const qualifiers in model functions
	Check for recursive function calls
	Check for switch case expressions without a default case
バグレポート	Display bug reports for IEC Certification Kit (IEC Certification Kit)
	Display bug reports for Simulink Check (IEC Certification Kit)
	Display bug reports for Simulink Coverage (IEC Certification Kit)
	Display bug reports for Requirements Toolbox (IEC Certification Kit)
	Display bug reports for Simulink Design Verifier (IEC Certification Kit)
	Display bug reports for Simulink Test (IEC Certification Kit)
	Display bug reports for Embedded Coder (IEC Certification Kit)
	Display bug reports for AUTOSAR Blockset (IEC Certification Kit)
	Display bug reports for Simulink PLC Coder (IEC Certification Kit)
	Display bug reports for HDL Coder (IEC Certification Kit)
	Display bug reports for Polyspace Bug Finder (IEC Certification Kit)
	Display bug reports for Polyspace Bug Finder Server (IEC Certification Kit)
	Display bug reports for Polyspace Code Prover (IEC Certification Kit)
	Display bug reports for Polyspace Code Prover Server (IEC Certification Kit)

以下は、IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128 および EN 50657 の各標準が適用可能な高信頼性システムモデリングに対するチェックです。

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

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

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

[タスク別] 、 [DO-178C/DO-331 のモデリング標準] 、 [高信頼性システム]
[タスク別] 、 [IEC 61508 のモデリング標準] 、 [高信頼性システム]
[タスク別] 、 [IEC 62304 のモデリング標準] 、 [高信頼性システム]
[タスク別] 、 [EN 50128/EN 50657 のモデリング標準] 、 [高信頼性システム]
[タスク別] 、 [ISO 26262 のモデリング標準] 、 [高信頼性システム]
[タスク別] 、 [ISO 25119 のモデリング標準] 、 [高信頼性システム]

高信頼性システムモデル (Software Considerations in Airborne Systems and Equipment Certification) 標準および関連する標準の詳細については、Radio Technical Commission for Aeronautics (RTCA) を参照してください。

次の表に、高信頼性システムモデルのチェックおよびそれぞれに対応するモデリングガイドラインを示します。高信頼性モデリングガイドラインの詳細については、高信頼性システムのモデリングを参照してください。

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

高信頼性システムモデルのチェック	該当する高信頼性システム用のモデリングガイドライン
Lookup Table ブロックの使用をチェック	hisl_0033: Lookup Table 系ブロックの使用方法
不整合のあるベクトルインデックス手法をチェック	hisl_0021: 一貫したベクトルインデックス方法
バリアントブロックの使用をチェック	hisl_0023: バリアントブロックの検証
プロパティが不明なルート Inport のチェック	hisl_0024: Inport インターフェイス定義
Relational Operator ブロックの使用をチェック	hisl_0017: 関係演算子を計算するブロックの使用方法 (2)
浮動小数点信号の関係比較のチェック	hisl_0016: 関係演算子を計算するブロックの使用方法
Logical Operator ブロックの使用をチェック	hisl_0018: Logical Operator ブロックの使用方法
While Iterator ブロックの使用をチェック	hisl_0006: While Iterator ブロックの使用方法
For Iterator サブシステムと While Iterator サブシステムの使用をチェック	hisl_0007: For Iterator Subsystem または While Iterator Subsystem の使用方法
For Iterator ブロックの使用をチェック	hisl_0008: For Iterator ブロックの使用方法
If ブロックおよび If Action Subsystem ブロックの使用をチェック	hisl_0010: If ブロックと If Action Subsystem ブロックの使用方法
Switch Case ブロックおよび Switch Case Action Subsystem ブロックの使用をチェック	hisl_0011: Switch Case ブロックと Action Subsystem ブロックの使用方法
論理信号に対する安全性関連の最適化設定をチェック	hisl_0045: [コンフィギュレーションパラメーター]、[数学とデータ型]、[boolean データ (対 double) として論理信号を処理]
ブロック削減に対する安全性関連の最適化設定をチェック	hisl_0046: [コンフィギュレーションパラメーター]、[シミュレーションターゲット]、[ブロック削減]
アプリケーションのライフスパンに対する安全性関連の最適化設定をチェック	hisl_0048: [コンフィギュレーションパラメーター]、[数学とデータ型]、[アプリケーションのライフスパン (日)]
データ初期化に対する安全性関連の最適化設定をチェック	hisl_0052: [コンフィギュレーションパラメーター]、[コード生成]、[最適化]、[データの初期化]
データ型変換に対する安全性関連の最適化設定をチェック	hisl_0053: [コンフィギュレーションパラメーター]、[コード生成]、[最適化]、[範囲外の値をラップする浮動小数点から整数への変換コードを削除]
除算演算の例外に対する安全性関連の最適化設定をチェック	hisl_0054: [コンフィギュレーションパラメーター]、[コード生成]、[最適化]、[除算演算の例外処理を防止するコードを削除]
コメントに対する安全性関連のコード生成設定をチェック	hisl_0038: [コンフィギュレーションパラメーター]、[コード生成]、[コメント]
安全性関連のコード生成インターフェイス設定をチェック	hisl_0039: [コンフィギュレーションパラメーター]、[コード生成]、[インターフェイス]
コードスタイルに対する安全性関連のコード生成設定をチェック	hisl_0047: [コンフィギュレーションパラメーター]、[コード生成]、[コードスタイル]
安全性関連のコード生成識別子の設定をチェック	hisl_0049: [コンフィギュレーションパラメーター]、[コード生成]、[識別子]
Abs ブロックの使用をチェック	hisl_0001: Abs ブロックの使用法
Math Function ブロック (関数 rem および逆数関数) の使用をチェック	hisl_0002: 残余演算および逆数演算の使用
Math Function ブロック (関数 log および log10) の使用をチェック	hisl_0004: 自然対数演算と 10 を底とする対数演算の使用
Assignment ブロックの使用をチェック	hisl_0029: Assignment ブロックの使用方法
Signal Routing ブロックの使用をチェック	hisl_0034: Signal Routing ブロックの使用方法
範囲定義が不明なルート Inport のチェック	hisl_0025: 入力インターフェイスの設計の最小値/最大値指定
不明な範囲定義があるルート Outport のチェック	hisl_0026: 出力インターフェイスの設計の最小値/最大値指定
Stateflow チャートのタイプのステートマシンをチェック	hisf_0001: ステートマシンタイプ
パラレルステート境界を横切る遷移パスに関する Stateflow チャートのチェック	hisf_0013: 遷移パスの使用方法 (パラレルステートの境界を越える)
ステートと遷移の順序に対して Stateflow チャートをチェック	hisf_0002: ユーザー指定のステート/遷移実行順序
Stateflow デバッグオプションをチェック	hisf_0011: Stateflow のデバッグ設定
固有に定義されたデータオブジェクトの Stateflow チャートをチェック	hisl_0061: 明確性のための一意の識別子
厳密なデータ型指定に関する Stateflow チャートのチェック	hisf_0015: 厳密なデータ型指定 (変数とパラメーターを式で変換する)
Stateflow チャート内の代入演算のチェック	hisf_0065: コード準拠性を高める Stateflow 型キャスト演算
単項演算子に関する Stateflow チャートのチェック	hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める
継承されたプロパティをもつ MATLAB Function インターフェイスのチェック	himl_0002: MATLAB 関数の境界での厳密な型指定
MATLAB Function のメトリクスのチェック	himl_0003: ユーザー定義の MATLAB 関数の複雑度
MATLAB コードアナライザーメッセージをチェック	himl_0004: コード生成に関する MATLAB コードアナライザーの推奨事項
安全性関連のモデルリファレンス設定をチェック	hisl_0037: [コンフィギュレーションパラメーター]、[モデル参照]
ソルバーに対する安全性関連の診断設定をチェック	hisl_0043: [コンフィギュレーションパラメーター]、[診断]、[ソルバー]
シミュレーション時間に関する安全性関連のソルバー設定のチェック	hisl_0040: [コンフィギュレーションパラメーター]、[ソルバー]、[シミュレーション時間]
ソルバーオプションに関する安全性関連のソルバー設定のチェック	hisl_0041: [コンフィギュレーションパラメーター]、[ソルバー]、[ソルバーオプション]
タスクおよびサンプル時間に関する安全性関連のソルバー設定のチェック	hisl_0042: [コンフィギュレーションパラメーター]、[ソルバー]、[タスクとサンプル時間オプション]
サンプル時間に対する安全性関連の診断設定をチェック	hisl_0044: [コンフィギュレーションパラメーター]、[診断]、[サンプル時間]
パラメーターに対する安全性関連の診断設定をチェック	hisl_0302: [コンフィギュレーションパラメーター]、[診断]、[データ有効性]、[パラメーター]
デバッグで使用されるデータに対する安全性関連の診断設定をチェック	hisl_0305: [コンフィギュレーションパラメーター]、[診断]、[データ有効性]、[デバッグ]
データストアメモリに対する安全性関連の診断設定をチェック	hisl_0013: Data Store ブロックの使用方法
型変換に対する安全性関連の診断設定をチェック	hisl_0309: [コンフィギュレーションパラメーター]、[診断]、[型変換]
信号の接続性に対する安全性関連の診断設定をチェック	hisl_0306: [コンフィギュレーションパラメーター]、[診断]、[接続性]、[信号]
バスの接続性に対する安全性関連の診断設定をチェック	hisl_0307: [コンフィギュレーションパラメーター]、[診断]、[接続性]、[バス]
ファンクションコールの接続性に適用する安全性関連の診断設定をチェック	hisl_0308: [コンフィギュレーションパラメーター]、[診断]、[接続性]、[関数の呼び出し]
互換性に対する安全性関連の診断設定をチェック	hisl_0301: [コンフィギュレーションパラメーター]、[診断]、[互換性]
モデルの初期化に関する安全性関連の診断設定をチェック	hisl_0304: [コンフィギュレーションパラメーター]、[診断]、[データ有効性]、[モデルの初期化]
モデルリファレンスの安全性関連の診断設定をチェック	hisl_0310: [コンフィギュレーションパラメーター]、[診断]、[モデル参照]
保存に対する安全性関連の診断設定をチェック	hisl_0036: [コンフィギュレーションパラメーター]、[診断]、[保存]
Merge ブロックに関する安全性関連の診断設定のチェック	hisl_0303: [コンフィギュレーションパラメーター]、[診断]、[データ有効性]、[Merge blocks]
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 準拠性を高めるユーザー定義オブジェクト名の長さ
Merge ブロックの使用をチェック	hisl_0015: Merge ブロックの使用方法
条件付き実行サブシステムの使用をチェック	hisl_0012: 条件付き実行サブシステムの使用方法
標準化された MATLAB 関数ヘッダーの使用をチェック	himl_0001: 標準化された MATLAB 関数ヘッダーの使用
MATLAB Function ブロック内の関係演算子の使用をチェック	himl_0008: MATLAB コードの関係演算子のデータ型
MATLAB Function ブロック内での論理演算子と論理関数の使用をチェック	himl_0010: MATLAB コードでの論理演算子と論理関数の使用
条件式の型とサイズをチェック	himl_0011: 条件式のデータ型とサイズ
Stateflow チャート内の端子の名前をチェック	hisf_0016: Stateflow の端子名
Stateflow データオブジェクトのスコープをチェック	hisf_0017: Stateflow データオブジェクトのスコープ
Gain ブロックの使用をチェック	hisl_0066: Gain ブロックの使用方法
Check for divide-by-zero calculations	hisl_0067: ゼロ除算の計算を回避
ループ制御変数のデータ型をチェック	hisl_0102: MISRA C:2012 準拠性を高めるループ制御変数のデータ型
MISRA C:2012 のコンフィギュレーションパラメーターをチェック	hisl_0060: MISRA C:2012 準拠性を高めるコンフィギュレーションパラメーター
C/C++ 量産コード展開に推奨されないブロックがないかチェック MISRA C:2012 で推奨されないブロックをチェック	hisl_0020: MISRA C:2012 準拠で推奨されないブロック
指定された最小値と最大値について安全性関連の最適化設定をチェック	hisl_0056: [コンフィギュレーションパラメーター]、[コード生成]、[最適化]、[指定した最小値と最大値を使用した最適化]
Check usage of remainder and reciprocal operations	hisl_0002: 残余演算および逆数演算の使用
Check usage of square root operations	hisl_0003: 平方根演算の使用
Check usage of log and log10 operations	hisl_0004: 自然対数演算と 10 を底とする対数演算の使用
Check usage of Reciprocal Sqrt blocks	hisl_0028: Reciprocal Square Root ブロックの使用
Check safety-related settings for hardware implementation	hisl_0071: Configuration Parameters > Hardware Implementation >Inconsistent hardware implementation settings
Check usage of recursions	hisf_0004: 再帰関数呼び出しを禁止してコード準拠性を向上
Check MATLAB functions not supported for code generation	himl_0012: コード生成での MATLAB 関数の使用方法
Metrics for generated code complexity	himl_0013: 組み込み MATLAB 関数の複雑度に関する制限
Check for parameter tunability ignored for referenced models	hisl_0072: 参照モデルの調整可能なパラメーターの使用方法
Check usage of bit-shift operations	hisl_0073: ビットシフト演算の使用方法
Check safety-related diagnostic settings for variants	hisl_0074: [コンフィギュレーションパラメーター]、[診断]、[バリアントに関するモデル化の問題]
Check for disabled and parameterized library links	hisl_0075: ライブラリリンクの使用方法
Check for unreachable and dead code	hisl_0101: デッドロジックが発生する演算を回避し、コード準拠性を高める