在 Simulink 模型中将需求正式化
使用 Requirements Table 模块在仿真之前和仿真期间计算逻辑
通过使用 Requirements Table 模块在运行前和运行时计算逻辑,在 Simulink® 模型中定义正式需求。使用正式需求来检查您的模型的输出或执行模块输出。
直接在该模块、需求编辑器中或使用 MATLAB® 中的编程命令配置正式需求。
模块
Requirements Table | Model formal requirements with input conditions (自 R2022a 起) |
函数
对象
对象函数
运算符
主题
创建和管理需求
- Use a Requirements Table Block to Create Formal Requirements
Assess formal requirements by using Requirements Table blocks. (自 R2022a 起) - Add Assumptions to Requirements
Use assumptions to constrain formal requirement data in Requirements Table blocks according to physical limitations. (自 R2022a 起) - Control Requirement Execution by Using Temporal Logic
Use temporal logic operators to control requirement evaluation and execution. (自 R2022a 起) - Detect Data Changes by Using Requirements Table Blocks
Execute formal requirements when data changes between time steps. (自 R2022a 起) - Establish Hierarchy in Requirements Table Blocks
Create child rows to establish parent-child relationships between requirements or assumptions. (自 R2022a 起) - Leverage Evaluation Order of Formal Requirements
Specify the order of evaluation in a Requirements Table block. (自 R2022a 起) - Configure Properties of Formal Requirements
Modify the type, description, or rationale for each requirement in your Requirements Table block. (自 R2022a 起) - Create Requirements Table Blocks Programmatically
Use the MATLAB command line to create and modify Requirements Table blocks. (自 R2022a 起) - Specify Requirements Table Block Properties
Configure how a Requirements Table block interfaces with a Simulink model. (自 R2022a 起)
配置需求数据
- Define Data in Requirements Table Blocks
Add or modify data that establishes formal requirements. (自 R2022a 起) - Set Data Types in Requirements Table Blocks
Specify the data types used in formal requirements. (自 R2022a 起) - Specify Size of Requirements Table Block Data
Specify data sizes in a Requirements Table block. (自 R2022a 起)
测试具有需求的模型
- What Is a Specification Model?
Overview of specification model and its use in requirements-based verification. (自 R2022b 起) - Export Tests from Models That Contain Requirements Table Blocks with Simulink Design Verifier
Automate test generation and execution by using models that contain Requirements Table blocks.
疑难解答
Identify Inconsistent and Incomplete Formal Requirement Sets
Use Simulink Design Verifier™ to find inconsistent and incomplete requirement sets. (自 R2022a 起)
Debug Requirements Table Blocks
Debug Requirements Table block requirements during simulation. (自 R2023a 起)