Simulink モデル内の要件の形式化

Requirements Table ブロックを使用してシミュレーションの実行前および実行中にロジックを評価

Requirements Table ブロックを使用して実行前および実行時にロジックを評価することで、Simulink^® モデル内の形式的要件を定義します。形式的要件を使用して、モデルの出力をチェックするかブロック出力を実行します。

形式的要件は、要件エディターのブロックで直接設定するか、MATLAB^® でプログラムのコマンドを使用して設定します。

ブロック

Requirements Table

入力条件を使用した形式的要件のモデル化 (R2022a 以降)

関数

すべて展開する

Requirements Table ブロック関数

`slreq.modeling.create`	Create new model with Requirements Table block (R2022a 以降)
`slreq.modeling.find`	Find Requirements Table blocks (R2022a 以降)
`slreq.load`	要件セットまたはリンクセットの読み込み
`anyValue`	Suppress incompleteness issues for output in Requirements Table block (R2024a 以降)

オブジェクト

すべて展開する

Requirements Table ブロックオブジェクト

`RequirementsTable`	Configure Requirements Table blocks (R2022a 以降)
`Symbol`	Requirements Table ブロックのデータを構成する。 (R2022a 以降)
`RequirementRow`	Requirements in Requirements Table block (R2022a 以降)
`AssumptionRow`	Assumptions in Requirements Table block (R2022a 以降)

オブジェクト関数

すべて展開する

Requirements Table ブロックオブジェクト関数

ブロックデータの管理

`addSymbol`	Add data to Requirements Table block
`findSymbol`	Retrieve data in Requirements Table block

ブロック行の管理

`addAssumptionRow`	Add assumption to Requirements Table block
`addRequirementRow`	Add requirement to Requirements Table block
`addChild`	Add child requirement or assumption to Requirements Table block
`getRequirementRows`	Retrieve requirements in Requirements Table block
`getAssumptionRows`	Retrieve assumptions in Requirements Table block
`getChildren`	Retrieve child requirements and assumptions in Requirements Table block
`slreq.getCurrentObject`	Get selected objects in Requirements Editor, Requirements Browser, or Requirements Table block
`clear`	Clear row in Requirements Table block
`removeRow`	Remove Requirements Table block row

ブロック列の管理

`hideAssumptionColumn`	Hide Precondition column in Assumptions tab
`hideRequirementColumn`	Hide columns in Requirements tab
`showAssumptionColumn`	Show Precondition column in Assumptions tab
`showRequirementColumn`	Show columns in Requirements tab

演算子

すべて展開する

Requirements Table ブロック演算子

時相論理

`duration`	Time during which condition is valid in Requirements Table block
`getPrevious`	Requirements Table ブロックの前のデータ値
`isStartup`	Whether simulation time is `0` in Requirements Table block
`t`	Requirements Table ブロックのシミュレーションの経過時間

変更の検出

`hasChanged`	Detect change in data since last time step in Requirements Table block
`hasChangedFrom`	Detect change in data from specified value in Requirements Table block
`hasChangedTo`	Detect change in data to specified value in Requirements Table block

文字列の作成、連結、変換

`str2double`	Requirements Table ブロックで string を倍精度値に変換する
`string`	Requirements Table ブロックで値を string に変換する
`plus`	Concatenate strings in Requirements Table block

文字列のプロパティの決定

`isletter`	Determine which characters are letters in Requirements Table block
`isspace`	Determine which characters are spaces in Requirements Table block
`isstring`	Determine if input is string in Requirements Table block
`strlength`	Determine length of string in Requirements Table block
`contains`	Requirements Table ブロックで string に部分文字列が含まれているかどうかを判別する

文字列の文字の検出と置き換え

`contains`	Requirements Table ブロックで string に部分文字列が含まれているかどうかを判別する
`endsWith`	Requirements Table ブロックで string が部分文字列で終了しているかどうかを判別する
`matches`	Determine if two strings match in Requirements Table block
`replace`	Requirements Table ブロックで部分文字列を検索して置き換え
`replaceBetween`	Replace substrings between start and end points in Requirements Table block
`startsWith`	Requirements Table ブロックで string が部分文字列で開始しているかどうかを判別する
`strfind`	Requirements Table ブロックで string 内の部分文字列を検索する
`strrep`	Find and replace substrings in Requirements Table block

文字列の編集

`erase`	Delete substrings within strings in Requirements Table block
`eraseBetween`	Delete substring between start and end points in Requirements Table block
`extractAfter`	Extract substring after position in Requirements Table block
`extractBefore`	Extract substring before position in Requirements Table block
`insertAfter`	Insert string after substring in Requirements Table block
`insertBefore`	Insert string before substring in Requirements Table block
`lower`	Convert string to lowercase in Requirements Table block
`upper`	Convert a string to uppercase in Requirements Table block
`reverse`	Requirements Table ブロックで string に含まれている文字の順序を逆にする
`strip`	Requirements Table ブロックで string から先頭および末尾の文字を削除する
`strtrim`	Requirements Table ブロックで string から先頭および末尾の空白を削除する

文字列の比較

`matches`	Determine if two strings match in Requirements Table block
`strcmp`	Requirements Table ブロックで string を比較する (大文字小文字の区別あり)
`strcmpi`	Requirements Table ブロックで string を比較する (大文字小文字の区別なし)
`strncmp`	Compare first N characters of strings in Requirements Table block (case sensitive)
`strncmpi`	Compare first N characters of strings in Requirements Table block (case insensitive)

トピック

要件の作成と管理

Requirements Table ブロックを使用した形式的要件の作成
Requirements Table ブロックを使用して形式的要件を評価する。 (R2022a 以降)
要件への仮定の追加
仮定を使用して、Requirements Table ブロックの形式的要件のデータを物理的な制限に従って制約する。 (R2022a 以降)
Specify Row Type in Requirements Table Blocks
Use the Requirements Table to define the row type of requirements and assumptions. (R2022a 以降)
Requirements Table ブロックの階層の確立
子の行を作成して要件または仮定の親子関係を確立する。 (R2022a 以降)
Specify Child Evaluation in Requirements Table Blocks

Specify how the block evaluates requirements at the same level in the Requirements Table.
- Create Prioritized Requirements
- Create Exclusive Exhaustive Requirements
プログラムによる Requirements Table ブロックの作成
MATLAB コマンドラインを使用して Requirements Table ブロックを作成および変更する。 (R2022a 以降)
時相論理を使用した要件の実行の制御
時相論理演算子を使用して要件の評価と実行を制御する。 (R2022a 以降)
Requirements Table ブロックを使用したデータの変化の検出
タイムステップ間でデータが変化したときに形式的要件を実行する。 (R2022a 以降)
形式的要件の評価順序の活用
Requirements Table ブロックでの評価の順序を指定する。 (R2022a 以降)
形式的要件のプロパティの構成
Requirements Table ブロックの各要件のタイプ、説明、根拠を変更する。 (R2022a 以降)
Requirements Table ブロックのプロパティの指定
Requirements Table ブロックが Simulink モデルと連動する方法を構成する。 (R2022a 以降)

要件データの設定

Requirements Table ブロックのデータの定義
形式的要件を確立するデータを追加または変更する。 (R2022a 以降)
Requirements Table ブロックのデータ型の設定
形式的要件で使用されるデータ型を指定する。 (R2022a 以降)
Specify Size of Requirements Table Block Data
Specify data sizes in a Requirements Table block. (R2022a 以降)

要件の検証

Analyze Requirements Table Blocks for Modeling Problems

Use Simulink Design Verifier™ to validate Requirements Table blocks.

要件があるモデルのテスト

仕様モデルとは
仕様モデルおよび要件に基づく検証での使用に関する概要。 (R2022b 以降)
Export Tests from Models That Contain Requirements Table Blocks with Simulink Design Verifier
Automate test generation and execution by using models that contain Requirements Table blocks.