モデルアドバイザーの設定エディターを使用したモデルアドバイザーのカスタマイズ

モデルアドバイザーの設定エディターの概要

モデルアドバイザーの設定エディターは、編集時のチェックに使用するチェック、およびモデルアドバイザーに含まれるチェックを指定する方法を提供しています。この組織的階層は、コンフィギュレーションファイルとして保存され、モデルアドバイザー開始時に読み込まれます。モデルアドバイザーの設定エディターを使用して、既存のコンフィギュレーションの変更、新規モデルアドバイザー構成の作成、既定のコンフィギュレーションの指定を行えます。

モデルアドバイザーの設定エディターは、次の機能を提供することにより、モデルアドバイザー解析を組織の要件に合わせて柔軟にカスタマイズできるようにします。

すべての使用可能なモデルアドバイザーチェックを確認する。
モデルアドバイザーツリーに内蔵されているチェックおよびフォルダーを追加、削除、整理する。
カスタムモデルアドバイザーチェックを検証および確認ワークフローに統合する。
チェックおよびフォルダーの無効化および有効化。
チェックとフォルダーの名前を変更する。
モデルアドバイザー解析中にチェックにフラグが付けられるとき、警告としてマークされるか、失敗とマークされるかを指定する。
モデルアドバイザー構成の読み込み時に、欠けているチェックについての警告メッセージが表示されないようにする。

モデルアドバイザーの設定エディターには、以下が含まれます。

[ライブラリ] ペイン — 読み取り専用ペイン。コンフィギュレーションで使用できるすべてのチェックおよびフォルダーが、[製品別] タブと [タスク別] タブに示されています。[ライブラリ] タブを常に表示するには、ツールストリップ上で [ライブラリを表示] をクリックします。
[モデルアドバイザー] ペイン — このペインには、現在のモデルアドバイザー構成のチェックおよびフォルダーのリストが表示されます。このリストは以下で絞り込まれます。
- All checks ― 現在の構成に含まれるすべてのモデルアドバイザーチェック
- 編集時にサポートされるチェック ― 編集時チェックでサポートされるモデルアドバイザーチェックのみ
[情報] タブ — このタブには、[表示名]、[チェックインスタンス ID]、[チェックグループ ID]、[問題にフラグが設定されている場合は結果をチェック] など、チェックまたはフォルダーの詳細が表示されます。

[ライブラリ] および [モデルアドバイザー] ペインの検索機能を使用して、特定のチェックおよびフォルダーを見つけます。

Model Advisor Configuration Editor showing the Library pane, Model Advisor pane, and Information tab

モデルアドバイザーの設定エディターの開始

モデルアドバイザーの設定エディターを開く前に、現在のフォルダーが書き込み可能かどうかを確認します。フォルダーが書き込み可能でない場合、モデルアドバイザーの設定エディターを起動するとエラーメッセージが表示されます。

モデルアドバイザー API を使用してカスタムチェックまたはモデルアドバイザーのカスタマイズを実装するときは、まず、Simulink^® 環境を更新して sl_customization.m ファイルを含めなければなりません。MATLAB^® コマンドラインで以下のように入力します。

Advisor.Manager.refresh_customizations

次のいずれかの方法を使用して、モデルアドバイザーの設定エディターを開きます。

プログラムから ― MATLAB コマンドラインで Simulink.ModelAdvisor.openConfigUI を入力する。
Simulink エディターから ― [モデル化] タブで、[モデルアドバイザー] 、 [設定エディター] を選択する。
モデルアドバイザーから ― [開く] 、 [設定エディターを開く] を選択する。

モデルアドバイザーの設定エディターを開くと、モデルアドバイザーによって現在使用されているコンフィギュレーションファイルが表示されます。コンフィギュレーションファイル名はウィンドウ上部に表示されます。正しい設定ファイルを評価していることを確認してください。別の設定ファイルを開くには、[開く] をクリックし、確認するファイルを参照します。

新しいコンフィギュレーションを作成するには、ツールストリップの [新規] ボタンをクリックします。[名前を付けて保存] を使用してコンフィギュレーションファイルの名前を変更します。モデルアドバイザー構成ファイルは .json 形式で保存されます。

既定のコンフィギュレーションファイルの指定

モデルアドバイザーの設定エディターを使用して、モデルアドバイザーが開くときに自動的に読み込まれる既定のコンフィギュレーションを指定できます。既定のコンフィギュレーションを設定するには、モデルアドバイザーの設定エディターでコンフィギュレーションファイルを開き、ツールストリップで [既定に設定] ボタンをクリックします。

メモ

既定のコンフィギュレーションを以前に指定したことがある場合、[既定のコンフィギュレーション設定のクリア] を使用して現在の既定のコンフィギュレーションファイルを指定している設定をクリアできます。このボタンをクリックしても、モデルアドバイザーの設定エディターに現在表示されているコンフィギュレーションは変わりません。既定のコンフィギュレーションを指定しない場合、モデルアドバイザーは、システム管理者によって定義される標準のコンフィギュレーションを使用します。

コンフィギュレーションファイルを既定として指定しない場合、ファイルを保存するとき、ファイルを既定のコンフィギュレーションにするかどうかの確認が表示されます。そのファイルを既定のコンフィギュレーションにするには、[はい] をクリックします。

カスタムコンフィギュレーションをモデルに関連付けて、そのモデルを開くたびにモデルアドバイザーでそのコンフィギュレーションが使用されるようにするには、カスタム構成の読み込みとモデルとの関連付けを参照してください。

モデルアドバイザー構成のカスタマイズ

モデルアドバイザーの設定エディターを使用して、モデルアドバイザー構成ツリーをカスタマイズできます。これには、チェックおよびフォルダーの追加と削除、チェック実行順序の指定などが含まれます。また、ユーザーがチェックを解析に含めたり除外したりできる機能を無効にすることもできます。モデルアドバイザーの設定エディターを使用して、チェックの入力パラメーターを定義できます。

メモ

[ライブラリ] タブからコピーされたチェックには、既定のパラメーター設定が保持されています。カスタムコンフィギュレーションフォルダーにペーストされると、各チェックの横のボックスはオフになります。

[モデルアドバイザー] タブのフォルダーからコピーされるか切り取られたチェックは、そのユーザー定義パラメーター設定を保持します。チェックが複数のフォルダーに含まれるとき、各チェックに個別に異なるパラメーターを指定できます。

階層の整理

モデルアドバイザー構成ツリー内のチェックおよびフォルダーのレイアウトを以下を使用してカスタマイズできます。

新規フォルダー - フォルダーを作成する。
コピー、切り取り、貼り付け - チェックおよびフォルダーを追加、コピー、および移動する。
削除 - チェックおよびフォルダーを削除する。
上に移動、または下に移動 - コンフィギュレーションツリー内のチェックまたはフォルダーの位置をずらす。コンフィギュレーションツリーの高い位置にあるフォルダーおよびチェックは、解析で先に実行されます。

モデルアドバイザーの構成エディターの代わりに、ModelAdvisor.Group クラスおよび ModelAdvisor.FactoryGroup クラスを使用してモデルアドバイザーをカスタマイズできることに留意してください。ただし、これらの API は、柔軟性が劣り、時間がかかるモデルアドバイザーカスタマイズ方法です。カスタマイズされたチェックを、モデルアドバイザーツリーの最上位 (モデルアドバイザーのルート) に配置するには、ModelAdvisor.Group クラスを使用します。カスタマイズされたチェックを [タスク別] フォルダーの新しいフォルダーに配置するには、ModelAdvisor.FactoryGroup クラスを使用します。これらのタスクおよびフォルダーを関数 sl_customization に登録するメソッドを含めなければなりません。

チェックの有効化と無効化

モデルアドバイザーの設定エディターを使用して、モデルアドバイザーのチェックおよびフォルダーのチェックボックス制御を無効にすることができます。そうすることで、モデルアドバイザー構成ツリーにチェックはリスト表示されますがグレー表示になり、解析にチェックを追加したり削除したりできなくなります。

[モデルアドバイザー] ペインで、フォルダーまたはチェックで右クリックし、[無効] を選択します。モデルアドバイザーの設定エディターのチェックボックスの選択状態により、モデルアドバイザーでは次のような結果になります。

モデルアドバイザーの設定エディターのチェックの横のボックスがオンの場合、モデルアドバイザーのチェックは自動的に選択されます。[無効] を選択したので、チェックはグレー表示され、解析からこのチェックを削除することはできません。
チェックの横のボックスがグレー表示になってい "ない" 場合、かつ [無効] オプションがモデルアドバイザーの設定エディターに適用されている場合、モデルアドバイザーにはチェックが選択されておらず、解析に含めることはできません。
モデルアドバイザーの設定エディターで、フォルダーの横のボックスがオンの場合、モデルアドバイザーにおいてフォルダー内のチェックが自動的に選択されます。ここでは [無効] を選択したため、フォルダーとそのチェックがグレー表示され、解析からチェックを削除しようとしてもできません。
フォルダーの横のボックスが選択されてい "ない" 場合、かつ [無効] オプションがモデルアドバイザーの設定エディターに適用される場合、モデルアドバイザーで、フォルダー内のいずれのチェックも選択されず、解析に含めることはできません。

チェックまたはフォルダーが無効になっているとき、[有効] オプションを使用して、解析にチェックを含めるかどうかをユーザーに決めさせることができます。

メモ

[有効] と [無効] は、モデルアドバイザーユーザーインターフェイスと編集時のチェックの両方において、解析時のチェックの実行に影響を与えます。

チェックをカスタマイズするパラメーターの指定

モデルアドバイザーの設定エディターを使用して、モデルアドバイザーチェックをカスタマイズできます。たとえば、チェックの表示名、入力パラメーターなどです。

[情報] タブで、チェックについてカスタマイズできる内容を確認します。

表示名 — チェックにモデルアドバイザーに表示される新しい名前を付けます。表示名を変更しても、チェックのタイトルは変更されないことに注意してください。
問題にフラグが設定されている場合は結果をチェック — チェックによってモデルの問題にフラグが付けられるとき、結果を警告とマークするか、失敗とマークするかを指定します。既定値は [警告] です。[失敗] を選択すると、フラグが付けられたチェックは結果で失敗とマークされます。
入力パラメーター — チェックに追加の特性や機能を加えます。モデルアドバイザーはこれらのパラメーターを使用して解析の重点をさらに定義します。たとえば、モデルアドバイザーチェック Check indentation of code in Stateflow statesの解析に、サブチェック jc_0736_b のみを選択して、許容される半角スペースの数を指定することができます。

欠けているチェックについての警告メッセージの非表示

モデルアドバイザーは、モデルアドバイザー構成を読み込むときに欠けているチェックについて自動的に警告を出します。モデルアドバイザーの設定エディターを使用してこのメッセージを非表示にすることができます。[モデルアドバイザーの設定エディター] のルートノードを選択し、[情報] タブで [構成を読み込む際に、欠けているチェックについての警告メッセージを非表示にします。] を選択します。

あるいは、モデルアドバイザーの警告をプログラムによって非表示にすることもできます。その場合、MATLAB コマンドラインに次のコマンドを入力します。

warning('off','Simulink:tools:MALoadConfigMissCorrespondCheck')

モデルアドバイザーの設定エディターを使用したカスタムモデルアドバイザー構成の作成

ライブスクリプトを開く

モデルアドバイザーの設定エディターを使用して、モデルアドバイザーの階層を整理し、チェック解析に含まれるチェックを指定できます。この例では、新しいコンフィギュレーションファイルを作成し、モデルアドバイザーおよび編集時のチェック用のチェックを指定し、チェックパラメーターを定義し、モデルアドバイザーにコンフィギュレーションを読み込む方法について説明します。

モデルアドバイザー構成の作成

この例では、custom_Configuration.json という名前のカスタムコンフィギュレーションファイルを作成します。このコンフィギュレーションは、モデルアドバイザーを使用して実行する MathWorks Advisory Board (MAB) モデリングガイドラインチェックおよび業界標準チェックで構成されます。

1.コマンドプロンプトで次のコマンドを入力して、モデルアドバイザーの構成エディターを開きます。

Simulink.ModelAdvisor.openConfigUI

2.ツールストリップで [ライブラリを表示] を選択し、[ライブラリ] ペインを表示します。[製品別] タブの検索フィールドに ISO 26262 と入力します。

3.[Simulink Check]、[モデリング標準]、[IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128 および EN 50657 のチェック] フォルダーを右クリックして [コピー] を選択します。モデルアドバイザーの構成エディターのルートフォルダーを右クリックし、[貼り付け] をクリックします。フォルダーおよびチェックがルートフォルダーにコピーされたことを確認します。

メモ: [ライブラリ] ペインからコピーされたチェックでは、既定のパラメーター設定が保持されています。カスタムコンフィギュレーションフォルダーにペーストされると、各チェックの横のボックスはオフになります。

4.[モデルアドバイザー] ペインの [タスク別] フォルダーで、[MAB のモデリング標準] フォルダーを右クリックし、[切り取り] を選択します。[モデルアドバイザーの構成エディター] のルートフォルダーをクリックし、[貼り付け] をクリックします。フォルダーは [タスク別] フォルダーから削除され、[モデルアドバイザーの構成エディター] のルートフォルダーに新しいサブフォルダーとして追加されます。

メモ: [モデルアドバイザー] ペインのフォルダーからコピーされるか切り取られたチェックは、ユーザー定義のパラメーター設定を保持します。チェックが複数のフォルダーに含まれるとき、各チェックに個別に異なるパラメーターを指定できます。

5.[IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128 および EN 50657 のチェック] フォルダーを選択し、[下に移動] ボタンを使用して階層内のフォルダーの位置を変更します。モデルアドバイザーは [MAB のモデリング標準] フォルダー内のチェックを最初に実行します。

6.[製品別] および [タスク別] フォルダーを選択し、[削除] を選択します。

7.[モデルアドバイザー] ペインで、コンフィギュレーションフォーカスオプションを [Edit-Time supported checks] に設定します。[Edit-Time supported checks] オプションは、このコンフィギュレーション内にある編集時のチェックをサポートするチェックを表示します。

8.[名前を付けて保存] をクリックし、コンフィギュレーションファイルの名前を custom_Configuration にします。プロンプトで [はい] を選択し、コンフィギュレーションを既定の構成として保存します。ファイルは自動的に .json 形式で保存されます。

メモ: 既定のコンフィギュレーションを以前に指定している場合、[既定のコンフィギュレーション設定のクリア] を使用して現在の既定のコンフィギュレーションファイルを指定しているフラグをクリアできます。このボタンをクリックしても、モデルアドバイザーの設定エディターに現在表示されているコンフィギュレーションは変わりません。

9.モデルアドバイザーの設定エディターを閉じます。

10.MATLAB コマンドラインに次を入力して、AdvisorCustomizationExample.slx モデルを開きます。

open_system('AdvisorCustomizationExample.slx');

11.[モデル化] タブで、[モデルアドバイザー]、[編集時チェック] をクリックします。[コンフィギュレーションパラメーター] ダイアログボックスで、[編集時チェック]、[適用] を選択します。[コンフィギュレーションパラメーター] ダイアログボックスを閉じます。

12.モデル内で、3 つのブロックが強調表示されていることに注目してください。これらのブロックには、このコンフィギュレーションにおける編集時のチェック項目違反が含まれます。警告にカーソルを合わせてブロックをクリックし、問題を確認します。

13.モデルアドバイザーを開き、モデルアドバイザーにフォルダー [MAB のモデリング標準] および [IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128 および EN 50657 のチェック] が表示されていることを確認します。

14.モデルアドバイザーを閉じます。

モデルアドバイザー構成の更新

次に、カスタムコンフィギュレーションファイル custom_Configuration.json ファイルのチェックをカスタマイズし、そのカスタマイズが AdvisorCustomizationExample.slx モデルのモデルアドバイザー解析に与える影響を確認します。

1.[モデル化] タブで、[モデルアドバイザー]、[設定エディター] をクリックします。

2.[モデルアドバイザーの設定エディター] のルートノードフォルダーの横にあるチェックボックスをクリアします (この手順はオプションです。しかし、チェックをオフにすることで、モデルアドバイザーの設定エディターを使用してモデルアドバイザーに表示するチェックを指定した結果をより簡単に確認できるようになります)。

3.モデルアドバイザーでモデルアドバイザー解析に含めるチェックを指定できるようにするため、[モデルアドバイザーの構成エディター] ルートフォルダーを右クリックし、[有効] をクリックします。(メモ: [有効] は既定の設定です。無効になっているチェックがない場合、このオプションはグレー表示されています)。

4.[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[ブロック名での文字の使用をチェック] チェックの横のボックスをオンにします。

5.以下の各チェックを右クリックし、[無効] を選択します。

[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[ブロック名での文字の使用をチェック]
[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[サブシステム名の長さをチェック]

6.[MAB のモデリング標準]、[Simulink]、[ブロック線図の外観]、[ブロック名がブロックの下になっているかどうかをチェック] チェックをクリックし、[情報] タブの [問題にフラグが設定されている場合は結果をチェック] オプションで Fail を選択します。[適用] をクリックします。

メモ: [問題にフラグが設定されている場合は結果をチェック] オプションの既定値は Warning です。

7.[保存] をクリックしてコンフィギュレーションを保存します。モデルアドバイザーの設定エディターとモデルを閉じます。

8.モデルアドバイザーキャッシュを更新し、MATLAB コマンドラインに次のコマンドを入力して、モデル AdvisorCustomizationExample.slx を開きます。

Advisor.Manager.refresh_customizations();
open_system('AdvisorCustomizationExample.slx');

9.モデルアドバイザーを開きます。

これらのチェックが、モデルアドバイザーの設定エディターで選択した設定を反映して、次のようになっていることを観察します。

[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[ブロック名での文字の使用をチェック] はグレー表示されており、チェックボックスはオンになっている。このチェックはモデルアドバイザー解析で常に実行されます。グレー表示されているため、解析から除外することはできません。
[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[サブシステム名の長さをチェック] がグレー表示されており、チェックボックスはオフになっている。このチェックは解析に含まれません。グレー表示されているため、解析に含めるよう選択することはできません。

10.[MAB のモデリング標準]、[Simulink]、[ブロック線図の外観]、[ブロック名がブロックの下になっているかどうかをチェック] チェックの横のボックスをオンにします。

11.モデルアドバイザー解析を実行するには、[MAB のモデリング標準] ルートノードを右クリックし、[選択したチェックを実行] を選択します。

12.以下のチェックをクリックし、モデルアドバイザー解析結果を確認します。

[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[ブロック名での文字の使用をチェック] チェックが警告アイコンでマークされており、結果によりチェック項目違反が Gain ブロックにあることが示されている。
[MAB のモデリング標準]、[命名規則]、[コンテンツ]、[サブシステム名の長さをチェック] チェックは、解析に選択できないため、結果がない。
[MAB のモデリング標準]、[Simulink]、[ブロック線図の外観]、[ブロック名がブロックの下になっているかどうかをチェック] チェックは失敗アイコンでマークされている。モデルアドバイザーの設定エディターを使用してこのチェック設定を指定したため、この動作は意図されたものです。