Model-Based Design Workflow in DO-178B

The following diagram shows a Model-Based Design workflow that addresses the development and verification activities in a DO-178B software life cycle.

The following table lists the MathWorks products and capabilities that can be used in each activity of the workflow as Model-Based Design tools.

Workflow Activity	Available Products and Capabilities for Model-Based Design
Requirements validation	Manual review
Modeling	Simulink, Stateflow
Model traceability	Simulink Verification and Validation — Requirements Management Interface (RMI), Simulink Report Generator — System Design Description report*
Model conformance	Simulink Verification and Validation — DO-178B checks*
Model verification	SystemTest — Limit Check element*, Simulink Design Verifier — Property Proving (optional), Simulink Design Verifier — Design Error Detection (optional), Simulink Verification and Validation — Model Coverage*, Simulink Report Generator — System Design Description report*
Code generation	Embedded Coder
Source code traceability	Simulink Code Inspector — Traceability Report*
Code conformance	Polyspace Products for C/C++ — MISRA AC AGC checks*
Code verification	Simulink Code Inspector — Code Verification Report*, Polyspace Products for C/C++*
Compilation	Third-party IDE or compiler
Low-level verification	SystemTest — Limit Check element*, Simulink Design Verifier — Test Generation, Embedded Coder — PIL test, Embedded Coder — Code coverage tool link (requires third-party code coverage tool), Polyspace Products for C/C++*
High-level verification	SystemTest — Limit Check element*, Embedded Coder — PIL test, Embedded Coder — Code coverage tool link (requires third-party code coverage tool), Polyspace Products for C/C++*
Object code traceability (Level A only)	Embedded Coder — Code generation report, Third-party IDE or compiler — Object code listing
*The DO Qualification Kit product may be used to support DO-178B tool qualification.

DO-178B Software Life Cycle Overview

Planning Process

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS