Qualified Model Verification – Requirements Tracing | Using Qualified Tools in a DO-178C Development Process, Part 2

Tracing from low-level software requirements to high-level software requirements is an objective in DO-178C.  When using Model-Based Design, DO-331 requires tracing from the model to the high-level software requirements when the design is implemented in models. Requirements Toolbox™ provides an interface that allows users to trace from model elements to requirements documents or third-party requirements tools. This tracing capability is included for Simulink^®, Stateflow^®, and MATLAB^® block code. DO-178C and DO-331 also require that design data and trace data are produced as part of the development process. The Simulink Report Generator™ can automatically produce a design description document from the model, and that document contains a section that includes the trace links from the model to the requirements. The design description document also includes snapshots of the top level of the model and all subsystems within the model, as well as all of the interface definitions and block settings. Additionally, there is a section with all model-wide settings. This report can be provided in various formats, such as Rich Text, Word, HTML or PDF for long-term archiving.  The DO Qualification Kit provides the necessary artifacts to qualify automatic generation of this document by the Simulink Report Generator.