Trace requirements to architecture, design, code, and tests

Requirements traceability connects models, tests, and code with requirement definitions to help manage change and reduce waste in the design life cycle.

Traceability analysis is required for compliance with industry standards such as ISO 26262 and IEC 61508 in the automotive industry, DO-178C in commercial aviation, EN 50128 for railways, and IEC 62304 in the medical industry, as well as general software development standards such as CMMI and SPICE.

Common tasks for developers working to achieve requirements traceability for Simulink®, System Composer™, and Stateflow® include:

  • Viewing the requirement details within the development environment where they are being implemented
  • Generating traceability reports that include design, test, and requirement information in a single document
  • Identifying the design and tests that are linked to requirements and navigating to external requirements
  • Understanding the impact of a requirement change on the design and tests

The Simulink environment provides capabilities for efficient linking, analysis, and reporting of requirements traceability. For details, see Simulink, System Composer, and Simulink Requirements™.




See also: formal verification, Simulink Requirements, model-based testing, Simulink Design Verifier, requirements traceability videos

Automating Verification and Validation with Simulink