Jace Allen (dSPACE Inc.),
Ulrich Eisemann (dSPACE GmbH),
dSPACE GmbH, Germany
|2016 AIAA SciTech (American Institute of Aeronautics and Astronautics (AIAA)), Jan 2017|
In this paper, a model-based tool chain for DO-178C-compliant development is presented which can be used to design, implement and verify software up to DO-178C Level A. The tool chain is based on the "model-based supplement" DO-331 as well as the "formal methods supplement" DO-333 and makes use of model-based design and verification techniques as well as automatic production code generation and model checking to develop safety-critical software with high efficiency.
Drive innovation forward. Always on the pulse of technology development.
Subscribe to our expert knowledge. Learn from our successful project examples. Keep up to date on simulation and validation. Subscribe to/manage dSPACE direct and aerospace now.