Modellazione e validazione dei requisiti
Definire i requisiti formali nei modelli di Simulink® utilizzando il blocco Requirements Table per valutare la logica prima e durante l'esecuzione. Utilizzare i requisiti formali per verificare gli output del modello o eseguire gli output dei blocchi.
Configurare i requisiti formali direttamente nel blocco in Requirements Editor, oppure utilizzando comandi programmatici in MATLAB®.
Confermare che i requisiti siano completi e coerenti analizzando i requisiti formali utilizzando Simulink Design Verifier™. Validare i requisiti formali prima di generare test e verificare i modelli di specifica.
È inoltre possibile verificare i requisiti nei blocchi Requirements Table tramite la generazione dei test. Per maggiori informazioni, vedere Verifica dei requisiti utilizzando i test.
Blocchi
| Requirements Table | Model formal requirements with input conditions (Da R2022a) |
Funzioni
Operatori
Oggetti
Funzioni oggetto
Argomenti
Creazione dei requisiti
- Use a Requirements Table Block to Create Formal Requirements
Assess formal requirements by using Requirements Table blocks. (Da R2022a) - Construct Specification Models by Using Requirements Table Blocks
Learn about specification models and how to use them for requirements-based verification. (Da R2022b) - Add Assumptions to Requirements
Use assumptions to constrain formal requirement data in Requirements Table blocks according to physical limitations. (Da R2022a) - Specify Row Type in Requirements Table Blocks
Define the row types for requirements and assumptions in a Requirements Table block. (Da R2022a) - Create Requirements Table Blocks Programmatically
Create and modify Requirements Table blocks from the MATLAB command line. (Da R2022a) - Control Requirement Execution by Using Temporal Logic
Use temporal logic operators to control requirement evaluation and execution. (Da R2022a)
Definizione della logica di valutazione
- Establish Hierarchy in Requirements Table Blocks
Establish parent-child relationships between requirements or assumptions. (Da R2022a) - Specify Child Evaluation in Requirements Table Blocks
Specify how the block evaluates requirements at each level of the hierarchy in the Requirements Table. (Da R2023b)
- Leverage Evaluation Order of Formal Requirements
Specify the order of evaluation in a Requirements Table block. (Da R2022a) - Detect Read-Before-Write Issues
Use Simulink Design Verifier to detect read-before-write issues in Requirements Table blocks. (Da R2022a)
Configurazione delle proprietà dei blocchi Requirements Table
- Configure Properties of Formal Requirements
Modify the type, description, or rationale for each requirement in a Requirements Table block. (Da R2022a)
Configurazione dei dati
- Define Data in Requirements Table Blocks
Add or modify data in a Requirements Table block. (Da R2022a) - Set Data Types in Requirements Table Blocks
Specify the data types to use in your formal requirements. (Da R2022a) - Specify Size of Requirements Table Block Data
Specify data sizes in a Requirements Table block. (Da R2022a) - Detect Data Changes by Using Requirements Table Blocks
Execute formal requirements when data changes between time steps. (Da R2022a)
Validazione dei requisiti
- Analyze Requirements Table Blocks for Requirements Specification Problems
Use Simulink Design Verifier to validate Requirements Table blocks. (Da R2022a) - Identify Inconsistent and Incomplete Formal Requirement Sets
Use Simulink Design Verifier to find inconsistent and incomplete requirement sets. (Da R2022a) - Detect Exclusivity Issues in the Requirements Table Block
Use Simulink Design Verifier to identify issues with exclusive exhaustive child requirements. (Da R2023b)
Risoluzione dei problemi
Debug Requirements Table Blocks
Debug Requirements Table blocks by using breakpoints and analyzing block data during simulation. (Da R2023a)
Esempi in primo piano
Model Dice Game Rules Using a Requirements Table Block
Use a Requirements Table block to model the rules and the game outcome associated with a dice game.
Define Formal Requirements with a Duration
Define formal requirements that use a duration.
Analyze Formal Requirements of an Electric Vehicle Charger Locking Mechanism
Use a Requirements Table block and Simulink Design Verifier to construct, analyze, and update formal requirements of an electric vehicle charging station locking mechanism.
Use Specification Models for Requirements-Based Testing
Follow a systematic approach to verify your design model against requirements.
