Model-Based Design with automatic code generation is an important and established technology for developing aerospace embedded control systems. Early verification, validation, and test of models and generated code using software tools with accompanying workflows are increasingly used. In 2009, The MathWorks released tool qualification kits for verification tools based on the commercial aviation software standard DO-178B. The use of Model-Based Design for DO-178B applications using qualified verification tools is described herein.

No abstract

No abstract

Rapid control prototyping (RCP) is a widely used technique for verifying a controller's functional behavior. Typically, RCP uses a target processor with ample processing power and memory, which makes the technique attractive for engineers exploring new concepts. However, a large gap often exists between the RCP target and the production ECU in terms of the available code generation technology, the supporting tool chain, and I/O hardware. Consequently, significant work is required when migrating a controller from RCP to production. Furthermore, due to cost constraints, RCP systems are difficult to deploy in large numbers for fleet testing or preproduction trials.

No abstract