Jace Allen (dSPACE Inc.),
Ulrich Eisemann (dSPACE GmbH),
|
|
dSPACE GmbH, Deutschland |
|
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.
Treiben Sie Innovationen voran. Immer am Puls der Technologieentwicklung.
Abonnieren Sie unser Expertenwissen. Lernen Sie von erfolgreichen Projektbeispielen. Bleiben Sie auf dem neuesten Stand der Simulation und Validierung. Jetzt dSPACE direct und dSPACE direct aeropace & defense abonnieren.