Main Content

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

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

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

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

ブロック

Requirements TableFormally model requirements with input conditions

関数

すべて展開する

slreq.modeling.createCreate new model with Requirements Table block
slreq.modeling.findFind Requirements Table blocks
slreq.load要件セットまたはリンク セットの読み込み

オブジェクト

すべて展開する

RequirementsTableConfigure Requirements Table blocks
SymbolConfigure data in Requirements Table blocks
RequirementRowWork with requirements in Requirements Table block
AssumptionRowWork with assumptions in Requirements Table block

オブジェクト関数

すべて展開する

ブロック データの管理

addSymbolAdd data to Requirements Table block
findSymbolRetrieve data in Requirements Table block

ブロック行の管理

addAssumptionRowAdd assumption to Requirements Table block
addRequirementRowAdd requirement to Requirements Table block
addChildAdd child requirement or assumption to Requirements Table block
getRequirementRowsRetrieve requirements in Requirements Table block
getAssumptionRowsRetrieve assumptions in Requirements Table block
getChildrenRetrieve child requirements and assumptions in Requirements Table block
slreq.getCurrentObjectGet selected objects in Requirements Editor, Requirements Browser, or Requirements Table block
clearClear row in Requirements Table block
removeRowRemove Requirements Table block row

ブロック列の管理

hideAssumptionColumnHide Precondition column in Assumptions tab
hideRequirementColumnHide columns in Requirements tab
showAssumptionColumnShow Precondition column in Assumptions tab
showRequirementColumnShow columns in Requirements tab

演算子

すべて展開する

時相論理

durationTime during which condition is valid
isStartupWhether simulation time is 0
getPreviousPrevious value of data
tElapsed time of simulation

変更の検出

hasChangedDetect change in data since last time step
hasChangedFromDetect change in data from specified value
hasChangedToDetect change in data to specified value

トピック

トラブルシューティング

Troubleshoot Requirements Table Blocks

Resolve issues with cell entries, identify inconsistent and incomplete requirement sets, and find read-before-write issues.