Simulink Verification and Validation 2.4

Product Description

• Introduction and Key Features
• Working with Simulink Verification and Validation
• Tracing Requirements to Designs, Tests, and Generated Code
• Assigning Verification Blocks to Test Signals
• Analyzing Model Coverage
• Enforcing Modeling Standards

Tracing Requirements to Designs, Tests, and Generated Code

Simulink Verification and Validation includes a requirements management interface that lets you link requirements to your design specifications. You can navigate to requirements stored in Telelogic DOORS, Microsoft Word, Microsoft Excel, PDF, or HTML files directly from Simulink and Stateflow models. The requirements interface can be extended to support additional document types and requirements management systems.



The requirements interface (bottom right) enables linkage and bidirectional navigation to requirements documents (top right). The Systems Requirements block in the model (top left) displays subsystem requirements. Click on image to see enlarged view.

As you link requirements, you can insert navigation icons in DOORS, Word, or Excel documents to highlight the associated block, subsystem, state, transition, function, or truth table within your Simulink and Stateflow models.

To ensure that your requirement links are consistent with their source documents, you can run checks that identify removed or modified requirements. You can include requirements as comments in code generated with Real-Time Workshop Embedded Coder (available separately).

Next