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

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

高信頼性ガイドラインとそれに対応するチェックを表にまとめます。モデルアドバイザーチェックのないガイドラインの中には、ガイドラインのチェックを自動化できないものもあります。対応するチェックのないガイドラインには、「該当なし」と記載しています。

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

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

モデルアドバイザーの使用方法については、モデルアドバイザーチェックの実行を参照してください。

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

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

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