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