Recorded Webinar: High Integrity Software Development 02: Requirements-Based Modeling and Traceability

Webinar Series (Part 2):

In this webinar we'll discuss how to build a Simulink model from a requirements document, and how to then create bi-directional links for traceability between the detailed design by the model, and the textual high-level requirements. 

In a high-integrity software development process, one of the most fundamental ideas is that the software development must be requirements-based. When using Model-Based Design, the model as an expression of the detailed design, or Low-Level Requirements. The idea of traceability is to ensure completeness in the design. Traceability of the model to the textual requirements (or bottom-to-top traceability) is to ensure that the design is satisfying all of the high-level requirements. Traceability of the requirements to the model (top-to-bottom traceability) is to ensure that everything in the model exists to satisfy a requirement. In other words, no capability exists that is not explicitly required. This webinar walks through a simple example of how to use Simulink and Simulink Verification and Validation to accomplish this task.