Formalize Requirements in Simulink Models
Formalize requirements in Simulink® models by using the Requirements Table block to evaluate logic before and at run time. Define requirements that check the outputs of your model or execute block outputs.
Configure the formal requirements directly in the block, in the Requirements Editor, or with programmatic commands in MATLAB®.
|Requirements Table||Formally model requirements with input conditions|
Requirements Table Block Object Functions
Manage Block Data
Manage Block Rows
|Add assumption to Requirements Table block|
|Add requirement to Requirements Table block|
|Add child requirement or assumption to Requirements Table block|
|Retrieve requirements in Requirements Table block|
|Retrieve assumptions in Requirements Table block|
|Retrieve child requirements and assumptions in Requirements Table block|
|Get selected objects in Requirements Editor, Requirements Browser, or Requirements Table block|
|Clear row in Requirements Table block|
|Remove Requirements Table block row|
Manage Block Columns
Requirements Table Block Operators
|duration||Time during which condition is valid|
|isStartup||Whether simulation time is |
|getPrevious||Previous value of data|
|t||Elapsed time of simulation|
- Use a Requirements Table Block to Create Formal Requirements
Assess formal requirements by using Requirements Table blocks.
- Add Assumptions to Requirements
Use assumptions to constrain formal requirement data in Requirements Table blocks according to physical limitations.
- Control Requirement Execution by Using Temporal Logic
Use temporal logic operators to control requirement evaluation and execution.
- Detect Data Changes by Using Requirements Table Blocks
Execute formal requirements when data changes between time steps.
- Establish Hierarchy in Requirements Table Blocks
Create child and semantic requirements to establish relationships between requirements.
- Leverage Evaluation Order of Formal Requirements
Specify the order of evaluation in a Requirements Table block.
- Configure Properties of Formal Requirements
Modify the type, description, or rationale for each requirement in your Requirements Table block.
- Create Requirements Table Blocks Programmatically
Use the MATLAB command line to create and modify Requirements Table blocks.
- Specify Requirements Table Block Properties
Configure how a Requirements Table block interfaces with a Simulink model.
- Define Data in Requirements Table Blocks
Add or modify data that establishes formal requirements.
- Set Data Types in Requirements Table Blocks
Specify the data types used in formal requirements.
Resolve issues with cell entries, identify inconsistent and incomplete requirement sets, and find read-before-write issues.