Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MAB モデリング ガイドライン用のモデル アドバイザー チェック

次の表は、モデルが MathWorks® Advisor Board (MAB) モデリング ガイドラインに準拠しているかどうかを検証するために使用できるモデル アドバイザー チェックを示しています。

モデル アドバイザーで MAB チェックにアクセスするには、以下を選択します。

  • [製品別][Simulink Check][モデリング標準][MAB チェック]

  • [タスク別][MAB のモデリング標準]

これらのチェックを実行するには Simulink® Check™ が必要です。

メモ

一部のガイドラインには対応するモデル アドバイザー チェックがありません。

  • "チェックなし" — ガイドラインはモデル アドバイザー チェックを使用してチェック可能だが、現在チェックが存在しないことを示します。

  • "チェック不可能" — モデル アドバイザー チェックを使用してこのガイドラインへの準拠性を検証できないことを示します。

MAB モデリング ガイドライン

(Version 5.0)

モデル アドバイザー チェックチェック ID

ar_0001: ファイル名に使用できる文字

ファイル名をチェックmathworks.jmaab.ar_0001
ar_0002: フォルダー名に使用できる文字フォルダー名をチェックmathworks.jmaab.ar_0002
db_0032: 信号線の結線Check signal line connectionsmathworks.jmaab.db_0032
db_0042: Inport ブロック/Outport ブロックの使用方法Check position of Inport and Outport blocksmathworks.jmaab.db_0042
db_0043: モデルで使用するフォントとフォント サイズモデル フォント設定のチェックmathworks.jmaab.db_0043
db_0081: 未接続の信号/ブロックCheck for unconnected signal lines and blocksmathworks.jmaab.db_0081
db_0097: 信号とバスのラベルの位置Check position of signal labelsmathworks.jmaab.db_0097
db_0110: ブロック パラメーターブロック内の調整可能なパラメーターの使用をチェックmathworks.maab.db_0110
db_0112: インデックスの使用方法インデックス モードをチェックmathworks.jmaab.db_0112

db_0123: Stateflow 端子の名前

Check for names of Stateflow ports and associated signalsmathworks.maab.db_0123
db_0125: Stateflow のローカル データStateflow のデータ定義をチェックmathworks.jmaab.db_0125
db_0126: Stateflow のイベントの定義方法Check definition of Stateflow eventsmathworks.jmaab.db_0126
db_0127: Stateflow ブロック内の MATLAB コマンド使用制限Check for MATLAB expressions in Stateflow chartsmathworks.jmaab.db_0127
db_0129: 遷移線の結線Check for Stateflow transition appearancemathworks.jmaab.db_0129
db_0132: フロー チャートの遷移Check transitions in Stateflow Flow chartsmathworks.jmaab.db_0132
db_0137: ステート チャートのステートステート マシンのステートをチェックmathworks.jmaab.db_0137

db_0140: ブロック パラメーターの表示

既定ではないブロック属性をチェックmathworks.maab.db_0140
db_0141: Simulink モデルの信号フローモデル内の信号フローのチェックmathworks.jmaab.db_0141
db_0142: ブロック名の位置Check whether block names appear below blocksmathworks.maab.db_0142
db_0143: 各モデル階層で使用できるブロック タイプ基本ブロックとサブシステムの混合をチェックmathworks.maab.db_0143
db_0144: サブシステムの使用方法チェック不可能
db_0146: 条件付きサブシステム内のブロック配置Check position of conditional blocks and iterator blocksmathworks.jmaab.db_0146

hd_0001: Simulink Sinks カテゴリの使用禁止ブロック

Check for prohibited sink blocksmathworks.maab.hd_0001
jc_0008: 信号名の定義Check definition of signal labelsmathworks.jmaab.jc_0008
jc_0009: 信号名の伝播表示Check signal name propagationmathworks.jmaab.jc_0009
jc_0011: 論理信号に対する最適化パラメーター設定[boolean データ (対 double) として論理信号を処理] をチェックmathworks.maab.jc_0011

jc_0021: 診断パラメーター設定

Check model diagnostic parametersmathworks.maab.jc_0021
jc_0061: ブロック名の表示ブロック名の表示をチェックmathworks.maab.jc_0061
jc_0081: Inport ブロック/Outport ブロックのアイコン表示端子ブロックの表示をチェックmathworks.maab.jc_0081
jc_0110: ブロックの向きCheck block orientationmathworks.jmaab.jc_0110
jc_0121: 加減算ブロックの使用方法Check usage of Sum blocksmathworks.jmaab.jc_0121
jc_0131: Relational Operator の使用方法Check usage of Relational Operator blocksmathworks.maab.jc_0131
jc_0141: Switch ブロックの使用方法Switch ブロックの使用をチェックmathworks.maab.jc_0141
jc_0161: Data Store Memory ブロックの定義方法Check for usage of Data Store Memory blocksmathworks.jmaab.jc_0161
jc_0171: 構造サブシステム間の接続関係の明確化Check connections between structural subsystemsmathworks.jmaab.jc_0171
jc_0201: サブシステム名に使用できる文字サブシステム名をチェックmathworks.jmaab.jc_0201
jc_0211: Inport ブロック/Outport ブロックに使用できる文字Check port block namesmathworks.jmaab.jc_0211
jc_0222: 信号名/バス名に使用できる文字Check usable characters for signal names and bus namesmathworks.jmaab.jc_0222
jc_0231: ブロック名に使用できる文字Check character usage in block namesmathworks.jmaab.jc_0231
jc_0232: パラメーター名に使用できる文字Check usable characters for parameter namesmathworks.jmaab.jc_0232
jc_0241: モデル ファイル名の文字数制限モデル ファイル名の長さをチェックmathworks.jmaab.jc_0241
jc_0242: フォルダー名の文字数制限Check length of folder name at every level of model pathmathworks.jmaab.jc_0242
jc_0243: サブシステム名の文字数制限サブシステム名の長さをチェックmathworks.jmaab.jc_0243
jc_0244: Inport ブロック名/Outport ブロック名の文字数制限Inport および Outport の名前の長さをチェックmathworks.jmaab.jc_0244
jc_0245: 信号名/バス名の文字数制限信号名およびバス名の長さをチェックmathworks.jmaab.jc_0245
jc_0246: パラメーター名の文字数制限Check length of parameter namesmathworks.jmaab.jc_0246
jc_0247: ブロック名の文字数制限ブロック名の長さをチェックmathworks.jmaab.jc_0247
jc_0281: トリガー信号の名前Check trigger signal namesmathworks.jmaab.jc_0281
jc_0451: 符号なし整数に対する単項マイナスCheck usage of unary minus operations in Stateflow chartsmathworks.jmaab.jc_0451
jc_0481: Stateflow における浮動小数点型の比較Check usage of floating-point expressions in Stateflow chartsmathworks.maab.jc_0481
jc_0491: Stateflow におけるデータの再利用チェック不可能
jc_0501: ステート ラベルの改行Check entry formatting in State blocks in Stateflow chartsmathworks.jmaab.jc_0501
jc_0511: グラフィカル関数からの戻り値の設定Check return value assignments in Stateflow graphical functionsmathworks.maab.jc_0511
jc_0531: デフォルト遷移Check default transition placement in Stateflow chartsmathworks.jmaab.jc_0531
jc_0602: モデル要素の名前の一致Check for consistency in model element namesmathworks.jmaab.jc_0602
jc_0603: モデルの説明モデルの説明をチェックmathworks.jmaab.jc_0603
jc_0604: ブロックの陰影Check if blocks are shaded in the modelmathworks.jmaab.jc_0604
jc_0610: 乗除算ブロックの演算子順序Check operator order of Product blocksmathworks.jmaab.jc_0610
jc_0611: 乗除算ブロックの入力符号Check signs of input signals in product blocksmathworks.jmaab.jc_0611
jc_0621: 論理演算ブロックのアイコン形状Check icon shape of Logical Operator blocksmathworks.jmaab.jc_0621
jc_0622: Fcn ブロックの使用方法 Check for parentheses in Fcn block expressionsmathworks.jmaab.jc_0622
jc_0623: 連続系遅延ブロックと離散系遅延ブロックの使い分けCheck usage of Memory and Unit Delay blocksmathworks.jmaab.jc_0623
jc_0624: Tapped Delay ブロック/Delay ブロックの使用方法Check for cascaded Unit Delay blocksmathworks.jmaab.jc_0624
jc_0626: Lookup Table 系ブロックの使用方法Check usage of Lookup Tablesmathworks.jmaab.jc_0626
jc_0627: Discrete-Time Integrator ブロックの使用方法Check usage of Discrete-Time Integrator blockmathworks.jmaab.jc_0627
jc_0628: Saturation ブロックの使用方法Check usage of the Saturation blocksmathworks.jmaab.jc_0628
jc_0630: Multiport Switch ブロックの使用方法Check settings for data ports in Multiport Switch blocksmathworks.jmaab.jc_0630
jc_0640: 条件付きサブシステムにおける Outport ブロックの初期値設定Check undefined initial output for conditional subsystemsmathworks.jmaab.jc_0640
jc_0641: サンプル時間の設定Check for sample time settingmathworks.jmaab.jc_0641
jc_0642: 整数丸めモードの設定Check Signed Integer Division Rounding modemathworks.jmaab.jc_0642
jc_0643: 固定小数点設定Check usage of fixed-point data type with non-zero biasmathworks.jmaab.jc_0643
jc_0644: 型の設定方法Check type setting by data objectsmathworks.jmaab.jc_0644
jc_0645: キャリブレーション対象の名前付き定数設定調整可能なブロック パラメーターが名前付き定数として定義されているかどうかをチェックmathworks.jmaab.jc_0645
jc_0650: 切替機能を持つブロックの入出力データ型Check input and output datatype for Switch blocksmathworks.jmaab.jc_0650
jc_0651: 型変換を実施する場合の使用方法Check output data type of operation blocksmathworks.jmaab.jc_0651
jc_0653: フィードバック ループにおける遅延ブロックの配置方法サブシステム間の代数ループが回避されているかをチェックmathworks.jmaab.jc_0653
jc_0655: Stateflow における論理型の比較演算禁止Check prohibited comparison operation of logical type signalsmathworks.jmaab.jc_0655
jc_0656: 条件付き制御フロー ブロックの使用方法Check default/else case in Switch Case blocks and If blocksmathworks.jmaab.jc_0656
jc_0657: 条件付き制御フロー ブロックと Merge ブロックによる出力値保持チェック不可能
jc_0659: Merge ブロックへ入力する信号線の使用制限Check usage of Merge blockmathworks.jmaab.jc_0659
jc_0700: Stateflow ブロックにおける未使用のデータCheck for unused data in Stateflow Chartsmathworks.jmaab.jc_0700
jc_0701: 最初のインデックスで使用可能な数値Check usable number for first indexmathworks.jmaab.jc_0701
jc_0702: Stateflow のパラメーター/定数名の設定Check usage of numeric literals in Stateflowmathworks.jmaab.jc_0702
jc_0711: Stateflow における除算チェック不可能
jc_0712: デフォルト遷移パスの実行タイミングCheck execution timing for default transition pathmathworks.jmaab.jc_0712
jc_0721: パラレル ステートの使用方法Check usage of parallel statesmathworks.jmaab.jc_0721
jc_0722: パラレル ステートにおけるローカル データの設定方法Check scope of data in parallel statesmathworks.jmaab.jc_0722
jc_0723: 外部ステートから子ステートへの直接遷移の禁止Check usage of transitions to external statesmathworks.jmaab.jc_0723
jc_0730: Stateflow ブロック内でのステート名の独立性Check uniqueness of State namesmathworks.jmaab.jc_0730
jc_0731: ステート名の記述Check usage of State namesmathworks.jmaab.jc_0731
jc_0732: ステート名/データ名/イベント名の区別Check uniqueness of Stateflow state, data and event namesmathworks.jmaab.jc_0732
jc_0733: ステート アクション タイプの記述順序Check order of state action typesmathworks.jmaab.jc_0733
jc_0734: ステート アクション タイプの記述回数Check repetition of action typesmathworks.jmaab.jc_0734
jc_0736: Stateflow ブロック内のインデント統一Check indentation of code in Stateflow statesmathworks.jmaab.jc_0736
jc_0738: Stateflow でのコメントの書き方Check usage of Stateflow commentsmathworks.jmaab.jc_0738
jc_0739: ステート内テキストの記述方法Check for usage of text inside statesmathworks.jmaab.jc_0739
jc_0740: ステート アクション タイプ exit の使用制限Check if state action type 'exit' is used in the modelmathworks.jmaab.jc_0740
jc_0741: ステート チャートの遷移条件に使用するデータの更新タイミングCheck updates to variables used in state transition conditionsmathworks.jmaab.jc_0741
jc_0751: 状態遷移におけるバックトラックの予防状態遷移内の予期せぬバックトラッキングをチェックmathworks.jmaab.jc_0751
jc_0752: 遷移ラベルにおける条件アクションの記述方法Check usage of parentheses in Stateflow transitionsmathworks.jmaab.jc_0752
jc_0753: Stateflow における条件アクションと遷移アクションCheck condition actions and transition actions in Stateflowmathworks.jmaab.jc_0753
jc_0760: 内部遷移線の始点Check starting point of internal transition in Stateflowmathworks.jmaab.jc_0760
jc_0762: ステート アクション タイプとフロー チャート記述の併用禁止Check prohibited combination of state action and flow chartmathworks.jmaab.jc_0762
jc_0763: 複数の内部遷移の記述方法Check usage of internal transitions in Stateflow statesmathworks.jmaab.jc_0763
jc_0770: 遷移ラベルの配置Check placement of Label String in Transitionsmathworks.jmaab.jc_0770
jc_0771: 遷移ラベル内のコメントの配置Check position of comments in transition labelsmathworks.jmaab.jc_0771
jc_0772: 遷移線の実行順序と遷移条件Check usage of transition conditions in Stateflow transitionsmathworks.jmaab.jc_0772
jc_0773: フロー チャートの無条件遷移Check usage of unconditional transitions in flow chartsmathworks.jmaab.jc_0773
jc_0774: 処理なし無条件遷移へのコメントCheck for comments in unconditional transitionsmathworks.jmaab.jc_0774
jc_0775: フロー チャートの終端コネクティブ ジャンクションCheck terminal junctions in Stateflowmathworks.jmaab.jc_0775
jc_0790: Chart ブロックのアクション言語Check Stateflow chart action languagemathworks.jmaab.jc_0790
jc_0791: 定義データ名の重複Check duplication of Simulink data namesmathworks.jmaab.jc_0791
jc_0792: 未使用のデータSimulink モデルの未使用データをチェックmathworks.jmaab.jc_0792
jc_0794: Simulink における除算Simulink におけるゼロ除算のチェックmathworks.jmaab.jc_0794
jc_0795: Stateflow データ名に使用できる文字Check usable characters for Stateflow data namesmathworks.jmaab.jc_0795
jc_0796: Stateflow データ名の文字数制限Check length of Stateflow data namemathworks.jmaab.jc_0796
jc_0797: 未接続の遷移線/ステート/コネクティブ ジャンクションCheck for unconnected objects in Stateflow Chartsmathworks.jmaab.jc_0797
jc_0800: Simulink における浮動小数点型の比較Check comparison of floating point types in Simulinkmathworks.jmaab.jc_0800
jc_0801: コメント記号 /*、*/ の使用禁止Check for use of C-style comment symbolsmathworks.jmaab.jc_0801
jc_0802: Stateflow における暗黙の型変換の禁止Check for implicit type casting in Stateflowmathworks.jmaab.jc_0802
jc_0803: ライブラリ関数に引き渡される値チェック不可能
jc_0804: グラフィカル関数による再帰的呼び出しの禁止Check usage of graphical functions in Stateflowmathworks.jmaab.jc_0804
jc_0805: 数値演算ブロックの入力チェックなし
jc_0806: 不正な演算結果の検出Check diagnostic settings for incorrect calculation resultsmathworks.jmaab.jc_0806
jm_0002: ブロックのサイズ調整チェックなし
jm_0011: Stateflow のポインタCheck for pointers in Stateflow chartsmathworks.maab.jm_0011
jm_0012: イベント ブロードキャストとイベントの使用制限Check for usage of events in Stateflow chartsmathworks.jmaab.jm_0012
na_0001: Stateflow における演算子の統一Check Stateflow operatorsmathworks.jmaab.na_0001
na_0002: 基本的な論理演算と数値演算の適切な実装Check fundamental logical and numerical operationsmathworks.jmaab.na_0002
na_0003: If ブロックの使用方法If ブロック内の論理式をチェックmathworks.maab.na_0003

na_0004: Simulink モデルの表示設定

Check for Simulink diagrams using nonstandard display attributesmathworks.maab.na_0004

na_0008: 信号のラベルの表示

Check signal line labelsmathworks.maab.na_0008

na_0009: 信号ラベルの登録と伝播

Check for propagated signal labelsmathworks.maab.na_0009
na_0010: ベクトル信号/バス信号の使用方法Check usage of vector and bus signalsmathworks.jmaab.na_0010
na_0011: Goto/From の範囲Check scope of From and Goto blocksmathworks.maab.na_0011

na_0016: Source lines of MATLAB Functions

Check lines of code in MATLAB Functionsmathworks.jmaab.na_0016

na_0017: Number of called function levels

Check the number of function calls in MATLAB Function blocksmathworks.jmaab.na_0017

na_0018: Number of nested if/else and case statement

Check nested conditions in MATLAB Functionsmathworks.jmaab.na_0018
na_0019: Restricted variable namesCheck usage of restricted variable namesmathworks.maab.na_0019
na_0020: バリアント システムへの入力数Check for missing ports in Variant Subsystemsmathworks.jmaab.na_0020
na_0021: MATLAB Function における文字列Check usage of character vector inside MATLAB Function blockmathworks.maab.na_0021

na_0022: Recommended patterns for Switch/Case statements

Check usage of recommended patterns for Switch/Case statementsmathworks.maab.na_0022
na_0024: MATLAB Function 間における共通データCheck MATLAB code for global variablesmathworks.maab.na_0024

na_0025: MATLAB Function のヘッダー

チェックなし
na_0031: 列挙型の既定値の定義Check usage of enumerated valuesmathworks.maab.na_0031
na_0034: MATLAB Function ブロックの入出力設定Check input and output settings of MATLAB Functionsmathworks.maab.na_0034
na_0036: 既定のバリアントCheck use of default variantsmathworks.maab.na_0036
na_0037: 単一変数のバリアント条件式の使用Check use of single variable variant conditionalsmathworks.maab.na_0037
na_0039: Chart ブロック内の Simulink 関数の制約Check use of Simulink in Stateflow chartsmathworks.maab.na_0039
na_0042: Simulink 関数を使用する場面Check usage of Simulink function in Stateflowmathworks.jmaab.na_0042