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

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

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

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

ブロック

Model formal requirements with input conditions

`slreq.modeling.create`	Create new model with Requirements Table block
`slreq.modeling.find`	Find Requirements Table blocks
`slreq.load`	要件セットまたはリンクセットの読み込み

`RequirementsTable`	Configure Requirements Table blocks
`Symbol`	Configure data in Requirements Table blocks
`RequirementRow`	Work with requirements in Requirements Table block
`AssumptionRow`	Work with assumptions in Requirements Table block

`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

`duration`	Time during which condition is valid
`getPrevious`	Previous value of data
`isStartup`	Whether simulation time is `0`
`t`	Elapsed time of simulation

`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`	Convert string to double-precision value
`string`	Convert value to 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`	Determine if string contains substring

`contains`	Determine if string contains substring
`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`	Determine if string starts with substring
`strfind`	Find substring within a 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`	Reverse order of characters in strings
`strip`	Remove leading and trailing characters from string
`strtrim`	Remove leading and trailing white space from string

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