ABSTRACT
This chapter describes the high-level architecture of the development and verification tool chain used for model-based design in a DO-178C/DO-331 process. Model-based design derives much of its value from automatic code generation where embedded software can be automatically generated from a high-level model for a variety of different embedded targets. Whereas automatic code generation technology bridges the gap between design and implementation, for large-scale software projects, the resulting software must still be integrated with the software of other subsystems, the software of the run-time platform, and the target hardware. A requirements management interface allows users to link Simulink and Stateflow elements within models to requirements documents and to create links between model elements. Model Advisor is a static analysis tool for Simulink and Stateflow models. Model Advisor performs static checks on the model that can be used for verification of modeling standards as well as aspects of accuracy and consistency of the models.
