Model-Based Design with automatic code generation is an established approach for developing embedded control systems and is now commonly used on applications that must satisfy the commercial aviation software standard DO-178B. Model-Based Design enables engineers to create advanced embedded software systems using an executable model as the basis for design, simulation, and software verification and validation. The complexity of modern aerospace systems has led to increased use of Model-Based Design across the full software development life cycle, from early verification to implementation and system integration. This paper presents a set of best practices that are critical to the successful completion of projects certified to DO-178B and DO-178C using Model-Based Design.
This paper was presented at the AIAA Infotech@Aerospace Conference.