Main Content

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

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

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

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

ブロック

Requirements TableModel formal 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
getPreviousPrevious value of data
isStartupWhether simulation time is 0
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

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

str2doubleConvert string to double-precision value
stringConvert value to string
plusConcatenate strings

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

isletterDetermine which characters are letters
isspaceDetermine which characters are spaces
isstringDetermine if input is string
strlengthDetermine length of string
containsDetermine if string contains substring

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

containsDetermine if string contains substring
endsWithDetermine if string ends with substring
matchesDetermine if two strings match
replaceFind and replace substrings
replaceBetweenReplace substrings between start and end points
startsWithDetermine if string starts with substring
strfindFind substring within a string
strrepFind and replace substrings

文字列の編集

eraseDelete substrings within strings
eraseBetweenDelete substring between start and end points
extractAfterExtract substring after position
extractBeforeExtract substring before position
insertAfterInsert string after substring
insertBeforeInsert string before substring
lowerConvert string to lowercase
upperConvert a string to uppercase
reverseReverse order of characters in strings
stripRemove leading and trailing characters from string
strtrimRemove leading and trailing white space from string

文字列の比較

matchesDetermine if two strings match
strcmpCompare strings (case sensitive)
strcmpiCompare strings (case insensitive)
strncmpCompare first N characters of strings (case sensitive)
strncmpiCompare first N characters of strings (case insensitive)

トピック

要件の作成と管理

要件データの設定

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

トラブルシューティング

Requirements Table ブロックのトラブルシューティング

セルのエントリに関する問題を解決し、矛盾する要件セットや不完全な要件セットを特定し、書き込み前の読み取りの問題を見つける。