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`	要件セットまたはリンクセットの読み込み

オブジェクト

すべて展開する

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

`RequirementsTable`	Configure Requirements Table blocks (R2022a 以降)
`Symbol`	Requirements Table ブロックのデータを構成する。 (R2022a 以降)
`RequirementRow`	Work with requirements in Requirements Table block (R2022a 以降)
`AssumptionRow`	Work with 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
`getPrevious`	前のデータの値
`isStartup`	Whether simulation time is `0`
`t`	シミュレーションの経過時間

変更の検出

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

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

`str2double`	string を倍精度値に変換する
`string`	値を string に変換する
`plus`	Concatenate strings

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

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

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

`contains`	string に部分文字列が含まれているかどうかを判別する
`endsWith`	Determine if string ends with substring
`matches`	Determine if two strings match
`replace`	Find and replace substrings
`replaceBetween`	Replace substrings between start and end points
`startsWith`	string が部分文字列で開始しているかどうかを判別する
`strfind`	string 内の部分文字列を検索する
`strrep`	Find and replace substrings

文字列の編集

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

文字列の比較

`matches`	Determine if two strings match
`strcmp`	string を比較する (大文字小文字の区別あり)
`strcmpi`	Compare strings (case insensitive)
`strncmp`	Compare first N characters of strings (case sensitive)
`strncmpi`	Compare first N characters of strings (case insensitive)

トピック

要件の作成と管理

Requirements Table ブロックを使用した形式的要件の作成
Requirements Table ブロックを使用して形式的要件を評価する。 (R2022a 以降)
要件への仮定の追加
仮定を使用して、Requirements Table ブロックの形式的要件のデータを物理的な制限に従って制約する。 (R2022a 以降)
時相論理を使用した要件の実行の制御
時相論理演算子を使用して要件の評価と実行を制御する。 (R2022a 以降)
Requirements Table ブロックを使用したデータの変化の検出
タイムステップ間でデータが変化したときに形式的要件を実行する。 (R2022a 以降)
Requirements Table ブロックの階層の確立
子要件とセマンティック要件を作成して要件間の関係を確立する。 (R2022a 以降)
形式的要件の評価順序の活用
Requirements Table ブロックでの評価の順序を指定する。 (R2022a 以降)
形式的要件のプロパティの構成
Requirements Table ブロックの各要件のタイプ、説明、根拠を変更する。 (R2022a 以降)
プログラムによる Requirements Table ブロックの作成
MATLAB コマンドラインを使用して 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 以降)

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

仕様モデルとは
仕様モデルおよび要件に基づく検証での使用に関する概要。 (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.