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

Simulink® Check™ モデル アドバイザーを使用して、モデルまたはサブシステムが高信頼性システム モデルのモデリング ガイドラインに準拠していることを確認できます。このモデリング ガイドラインは、以下の安全規格の選択した内容に準拠できるようにするためのものです。

  • DO-178C/DO-331

  • IEC 61508

  • IEC 62304

  • ISO 26262

  • EN 50128 / EN 50657 / EN 50716

  • ISO 25119

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

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

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

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

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

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

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

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

  • [タスク別] 、 [MISRA C:2023 のモデリング標準] 、 [高信頼性システム]

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

メモ

MISRA C:2012 に準拠した高信頼性システム モデリング ガイドラインと関連するチェックは MISRA C:2023 にも準拠します。R2025b より、モデル アドバイザーには、MISRA C:2023 のみを参照するフォルダーとチェックが含まれるようになります。これは、MISRA C:2012 への準拠も維持します。

モデル アドバイザー チェックチェック ID高信頼性システム モデリング ガイドライン
Check usage of lookup table blocksmathworks.hism.hisl_0033hisl_0033: Lookup Table 系ブロックの使用方法
Check for inconsistent vector indexing methodsmathworks.hism.hisl_0021hisl_0021: 一貫したベクトル インデックス方法
Check usage of variant blocksmathworks.hism.hisl_0023hisl_0023: バリアント ブロックの検証
Check for root Inports with missing propertiesmathworks.hism.hisl_0024hisl_0024: Inport インターフェイス定義
Check usage of Relational Operator blocksmathworks.hism.hisl_0017hisl_0017: 関係演算子を計算するブロックの使用方法 (2)
Check relational comparisons on floating-point signalsmathworks.hism.hisl_0016hisl_0016: 関係演算子を計算するブロックの使用方法
Check usage of Logical Operator blocksmathworks.hism.hisl_0018hisl_0018: Logical Operator ブロックの使用方法
Check usage of While Iterator blocksmathworks.hism.hisl_0006hisl_0006: While Iterator ブロックの使用方法
Check usage of For and While Iterator subsystemsmathworks.hism.hisl_0007hisl_0007: For Iterator Subsystem または While Iterator Subsystem の使用方法
Check usage of For Iterator blocksmathworks.hism.hisl_0008hisl_0008: For Iterator ブロックの使用方法
Check usage of If blocks and If Action Subsystem blocksmathworks.hism.hisl_0010hisl_0010: If ブロックと If Action Subsystem ブロックの使用方法
Check usage of Switch Case blocks and Switch Case Action Subsystem blocksmathworks.hism.hisl_0011hisl_0011: Switch Case ブロックと Action Subsystem ブロックの使用方法
Check safety-related optimization settings for logic signalsmathworks.hism.hisl_0045hisl_0045: [コンフィギュレーション パラメーター]、[数学とデータ型]、[boolean データ (対 double) として論理信号を処理]
Check safety-related optimization settings for application lifespanmathworks.hism.hisl_0048hisl_0048: [コンフィギュレーション パラメーター]、[数学とデータ型]、[アプリケーションのライフスパン (日)]
Check safety-related optimization settings for data initializationmathworks.hism.hisl_0052hisl_0052: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[データの初期化]
Check safety-related optimization settings for data type conversionsmathworks.hism.hisl_0053hisl_0053: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[範囲外の値をラップする浮動小数点から整数への変換コードを削除]
Check safety-related optimization settings for integer division arithmetic exceptionsmathworks.hism.hisl_0054hisl_0054: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[整数除算演算の例外処理を防止するコードを削除]
Check safety-related code generation settings for commentsmathworks.hism.hisl_0038hisl_0038: [コンフィギュレーション パラメーター]、[コード生成]、[コメント]
Check safety-related code generation interface settingsmathworks.hism.hisl_0039hisl_0039: [コンフィギュレーション パラメーター]、[コード生成]、[インターフェイス]
Check safety-related code generation settings for code stylemathworks.hism.hisl_0047hisl_0047: [コンフィギュレーション パラメーター]、[コード生成]、[コード スタイル]
Check safety-related code generation identifier settingsmathworks.hism.hisl_0049hisl_0049: [コンフィギュレーション パラメーター]、[コード生成]、[識別子]
Check usage of Abs blocksmathworks.hism.hisl_0001hisl_0001: Abs ブロックの使用法
Check usage of remainder and reciprocal operationsmathworks.sldv.hism.hisl_0002hisl_0002: 残余演算および逆数演算の使用
Check usage of square root operationsmathworks.hism.hisl_0003hisl_0003: 平方根演算の使用
Check usage of log and log10 operationsmathworks.sldv.hism.hisl_0004hisl_0004: 自然対数演算と 10 を底とする対数演算の使用
Check usage of Assignment blocksmathworks.hism.hisl_0029hisl_0029: Assignment ブロックの使用方法
Check usage of Signal Routing blocksmathworks.hism.hisl_0034hisl_0034: Signal Routing ブロックの使用方法
Check for root Inports with missing range definitionsmathworks.hism.hisl_0025hisl_0025: 入力インターフェイスの設計の最小値/最大値指定
Check for root Output ports with missing range definitionsmathworks.hism.hisl_0026hisl_0026: 出力インターフェイスの設計の最小値/最大値指定
Check state machine type of Stateflow chartsmathworks.hism.hisf_0001hisf_0001: ステート マシン タイプ
Check Stateflow charts for transition paths that cross parallel state boundariesmathworks.hism.hisf_0013hisf_0013: 遷移パスの使用方法 (パラレル ステートの境界を越える)
Check Stateflow debugging optionsmathworks.hism.hisf_0011hisf_0011: Stateflow のデバッグ設定
Check Stateflow charts for uniquely defined data objectsmathworks.hism.hisl_0061hisl_0061: 明確性のための一意の識別子
Check Stateflow charts for strong data typingmathworks.hism.hisf_0015hisf_0015: 厳密なデータ型指定 (変数とパラメーターを式で変換する)
Check assignment operations in Stateflow Chartsmathworks.hism.hisf_0065hisf_0065: コード準拠性を高める Stateflow 型キャスト演算
Check Stateflow charts for unary operatorsmathworks.hism.hisf_0211hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める
Check for MATLAB Function interfaces with inherited propertiesmathworks.hism.himl_0002himl_0002: MATLAB 関数の境界での厳密な型指定
Check MATLAB Function metricsmathworks.hism.himl_0003himl_0003: ユーザー定義の MATLAB 関数の複雑度
Check MATLAB Code Analyzer messagesmathworks.hism.himl_0004himl_0004: コード生成に関する MATLAB コード アナライザーの推奨事項
Check safety-related model referencing settingsmathworks.hism.hisl_0037hisl_0037: [コンフィギュレーション パラメーター]、[モデル参照]
Check safety-related diagnostic settings for solversmathworks.hism.hisl_0043hisl_0043: [コンフィギュレーション パラメーター]、[診断]、[ソルバー]
Check safety-related solver settings for simulation timemathworks.hism.hisl_0040hisl_0040: [コンフィギュレーション パラメーター]、[ソルバー]、[シミュレーション時間]
Check safety-related solver settings for solver optionsmathworks.hism.hisl_0041hisl_0041: [コンフィギュレーション パラメーター]、[ソルバー]、[ソルバーオプション]
Check safety-related solver settings for tasking and sample-timemathworks.hism.hisl_0042hisl_0042: [コンフィギュレーション パラメーター]、[ソルバー]、[タスクとサンプル時間オプション]
Check safety-related diagnostic settings for sample timemathworks.hism.hisl_0044hisl_0044: [コンフィギュレーション パラメーター]、[診断]、[サンプル時間]
Check safety-related diagnostic settings for parametersmathworks.hism.hisl_0302hisl_0302: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[パラメーター]
Check safety-related diagnostic settings for data used for debuggingmathworks.hism.hisl_0305hisl_0305: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[デバッグ]
Check safety-related diagnostic settings for data store memorymathworks.hism.hisl_0013hisl_0013: データ ストア メモリの使用方法
Check safety-related diagnostic settings for type conversionsmathworks.hism.hisl_0309hisl_0309: [コンフィギュレーション パラメーター]、[診断]、[型変換]
Check safety-related diagnostic settings for signal connectivitymathworks.hism.hisl_0306hisl_0306: [コンフィギュレーション パラメーター]、[診断]、[接続性]、[信号]
Check safety-related diagnostic settings for bus connectivitymathworks.hism.hisl_0307hisl_0307: [コンフィギュレーション パラメーター]、[診断]、[接続性]、[バス]
Check safety-related diagnostic settings that apply to function-call connectivitymathworks.hism.hisl_0308hisl_0308: [コンフィギュレーション パラメーター]、[診断]、[接続性]、[関数の呼び出し]
Check safety-related diagnostic settings for compatibilitymathworks.hism.hisl_0301hisl_0301: [コンフィギュレーション パラメーター]、[診断]、[互換性]
Check safety-related diagnostic settings for model initializationmathworks.hism.hisl_0304hisl_0304: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[モデルの初期化]
Check safety-related diagnostic settings for model referencingmathworks.hism.hisl_0310hisl_0310: [コンフィギュレーション パラメーター]、[診断]、[モデル参照]
Check safety-related diagnostic settings for savingmathworks.hism.hisl_0036hisl_0036: [コンフィギュレーション パラメーター]、[診断]、[保存]
Check safety-related diagnostic settings for Merge blocksmathworks.hism.hisl_0303hisl_0303: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[Merge blocks]
Check safety-related diagnostic settings for Stateflowmathworks.hism.hisl_0311hisl_0311: [コンフィギュレーション パラメーター]、[診断]、[Stateflow]
Check safety-related diagnostic settings for signal datamathworks.hism.hisl_0314hisl_0314: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[信号]
Check model object namesmathworks.hism.hisl_0032hisl_0032: モデル オブジェクト名
Check for model elements that do not link to requirementsmathworks.hism.hisl_0070hisl_0070: モデル内の要件リンクの配置
Check for inappropriate use of transition pathsmathworks.hism.hisf_0014hisf_0014: 遷移パスの使用方法 (ステートを通過する)
Check usage of bit operation blocksmathworks.hism.hisl_0019hisl_0019: ビット演算の使用方法
Check data types for blocks with index signalsmathworks.hism.hisl_0022hisl_0022: インデックス信号のデータ型の選択
Check model file namemathworks.hism.hisl_0031hisl_0031: モデル ファイル名
Check if/elseif/else patterns in MATLAB Function blocksmathworks.hism.himl_0006himl_0006: MATLAB コードの if/elseif/else パターン
Check switch statements in MATLAB Function blocksmathworks.hism.himl_0007himl_0007: MATLAB コードの switch/case/otherwise パターン
Check global variables in graphical functionsmathworks.hism.hisl_0062hisl_0062: グラフィカル関数内のグローバル変数
Check for length of user-defined object namesmathworks.hism.hisl_0063hisl_0063: MISRA C 準拠性を高めるユーザー定義オブジェクト名の長さ
Check usage of Merge blocksmathworks.hism.hisl_0015hisl_0015: Merge ブロックの使用方法
Check usage of standardized MATLAB function headersmathworks.hism.himl_0001himl_0001: 標準化された MATLAB 関数ヘッダーの使用
Check usage of relational operators in MATLAB Function blocksmathworks.hism.himl_0008himl_0008: MATLAB コードの関係演算子のデータ型
Check usage of logical operators and functions in MATLAB Function blocksmathworks.hism.himl_0010himl_0010: MATLAB コードでの論理演算子と論理関数の使用
Check type and size of condition expressionsmathworks.hism.himl_0011himl_0011: 条件式のデータ型とサイズ
Check naming of ports in Stateflow chartsmathworks.hism.hisf_0016hisf_0016: Stateflow の端子名
Check scoping of Stateflow data objectsmathworks.hism.hisf_0017hisf_0017: Stateflow データ オブジェクトのスコープ
Check usage of Gain blocksmathworks.hism.hisl_0066hisl_0066: Gain ブロックの使用方法
Check for divide-by-zero calculationsmathworks.hism.hisl_0067hisl_0067: ゼロ除算の計算を回避
Check data type of loop control variablesmathworks.hism.hisl_0102hisl_0102: MISRA C:2012 準拠性を高めるループ制御変数のデータ型
Check configuration parameters for MISRA C:2023mathworks.misra.CodeGenSettingshisl_0060: MISRA C:2012 準拠性を高めるコンフィギュレーション パラメーター

Check for blocks not recommended for C/C++ production code deployment

Check for blocks not recommended for MISRA C:2023

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_0056hisl_0056: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[指定した最小値と最大値を使用した最適化]
Check usage of Reciprocal Sqrt blocksmathworks.hism.hisl_0028hisl_0028: Reciprocal Square Root ブロックの使用
Check safety-related settings for hardware implementationmathworks.hism.hisl_0071hisl_0071: [コンフィギュレーション パラメーター]、[ハードウェア実行]、[整合性のないハードウェア実装の設定]
Check usage of recursionsmathworks.hism.hisf_0004hisf_0004: 再帰関数の呼び出しから保護してコードの準拠性を高める
Check MATLAB functions not supported for code generationmathworks.hism.himl_0012himl_0012: コード生成での MATLAB 関数の使用方法
Metrics for generated code complexitymathworks.hism.himl_0013himl_0013: 組み込み MATLAB 関数の複雑度に関する制限
Check for parameter tunability ignored for referenced modelsmathworks.hism.hisl_0072hisl_0072: 参照モデルの調整可能なパラメーターの使用方法
Check usage of bit-shift operationsmathworks.hism.hisl_0073hisl_0073: ビットシフト演算の使用方法
Check safety-related diagnostic settings for variantsmathworks.hism.hisl_0074hisl_0074: [コンフィギュレーション パラメーター]、[診断]、[バリアントに関するモデル化の問題]
Check for disabled and parameterized library linksmathworks.hism.hisl_0075hisl_0075: ライブラリ リンクの使用方法
Check for dead logicmathworks.hism.hisl_0101hisl_0101: デッド ロジックが発生する演算を防止し、コード準拠性を高める
Check for root Outports with missing propertiesmathworks.hism.hisl_0077hisl_0077: Outport インターフェイス定義
Check usage of identical modeling patternsmathworks.hism.hisl_0078hisl_0078: Usage of identical modeling patterns
Check for invalid root input and output port connectionsmathworks.hism.hisl_0079hisl_0079: Connections to root input/output ports

参考