New Requirement Definition and Verification Techniques According to DO-178C, DO-331, and DO-333

Author(s):
Jace Allen (dSPACE Inc.), 
Ulrich Eisemann (dSPACE GmbH), 
Company: dSPACE GmbH, Germany
Published: 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.



  • English: New Requirement Definition and Verification Techniques According to DO-178C, DO-331, and DO-333 PDF, 597 KB
More Information

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.

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.