addRequirementRow

Add requirement to Requirements Table block

Since R2022a

Syntax

RequirementRow = addRequirementRow(reqTable)

RequirementRow = addRequirementRow(reqTable,Name=Value)

Description

RequirementRow = addRequirementRow(reqTable) adds a requirement to the Requirements Table block specified by reqTable.

RequirementRow = addRequirementRow(reqTable,Name=Value) adds a requirement using one or more name-value arguments.

Examples

Add a Requirement to a Requirements Table Block

Create a Requirements Table block and retrieve the RequirementsTable object.

table = slreq.modeling.create("myModel");

Add a requirement to the block.

row = addRequirementRow(table);

Add a Requirement with Preconditions, Postconditions, and Actions

Create a Requirements Table block and retrieve the RequirementsTable object.

table = slreq.modeling.create("myModel");

Add a requirement to the block with expressions in the Precondition, Postcondition, and Action columns.

row = addRequirementRow(table,Preconditions={'u1 > 1'},...
Postconditions={'y1 > 0'},Actions={'y2 = 1'});

Input Arguments

reqTable — Requirements Table block

RequirementsTable object

Requirements Table block, specified as a RequirementsTable object.

Name-Value Arguments

Specify optional pairs of arguments as Name1=Value1,...,NameN=ValueN, where Name is the argument name and Value is the corresponding value. Name-value arguments must appear after other arguments, but the order of the pairs does not matter.

Example: addRequirementRow(table,Preconditions={'u1 > 0'}) adds a requirement to a Requirements Table block with a precondition u1 > 0.

Actions — Action expressions

{''} (default) | cell array of character vectors

Action expressions, specified as a cell array of character vectors. For more information on actions, see Use a Requirements Table Block to Create Formal Requirements.

Data Types: char | cell

Duration — Duration expression

"" (default) | string scalar | character vector

Duration expression, specified as a string scalar or character vector. For more information on the duration, see Control Requirement Execution by Using Temporal Logic.

Data Types: char | string

Preconditions — Precondition expressions

{''} (default) | cell array of character vectors

Precondition expressions, specified as a cell array of character vectors. For more information on preconditions, see Use a Requirements Table Block to Create Formal Requirements.

Example: addRequirementRow(table,Preconditions={'u1 > 0','','u3 > 0'}) adds a requirement to a Requirements Table block with u1 > 0 in the first Precondition column, nothing in the second Precondition column, and u3 > 0 in the third Precondition column.

Data Types: char | cell

Postconditions — Postcondition expressions

{''} (default) | cell array of character vectors

Postcondition expressions, entered as a string array or cell array of character vectors. For more information on postconditions, see Use a Requirements Table Block to Create Formal Requirements.

Example: addRequirementRow(table,Postconditions={'u1 > 0','','u3 > 0'}) adds a requirement to a Requirements Table block with u1 > 0 in the first Postcondition column, nothing in the second Postcondition column, and u3 > 0 in the third Postcondition column.

Data Types: char | cell

rowType — Requirement type

"normal" (default) | "default" | "anyChildActive" | "allChildrenActive"

Requirement type, specified by one of these values:

Value	Description
"normal"	Creates a normal requirement with all of the available properties.
"default"	Creates a default semantic requirement. Default requirements cannot have preconditions.
"anyChildActive"	Creates an Any Child Active semantic requirement. The parent requirement cannot have preconditions, and the children cannot have postconditions or actions.
"allChildrenActive"	Creates an All Child Active semantic requirement. The parent requirement cannot have preconditions, and the children cannot have postconditions or actions.

You can create normal requirements or semantic requirements. For more information on semantic requirements and assumptions, see Specify Row Type in Requirements Table Blocks. If you do not include this name-value pair, the function creates a normal requirement.

Data Types: enumerated

Summary — Requirement summary text

"" (default) | string scalar | character vector

Requirement summary text, specified as a string scalar or character vector. Use this name-value argument to add text to the Summary column in the Requirements tab of the Requirements Table block.

Data Types: char | string

Output Arguments

RequirementRow — Requirement

RequirementRow object

Requirement, returned as a RequirementRow object.

Version History

Introduced in R2022a