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

Auteur(s):
Jace Allen (dSPACE Inc.), 
Ulrich Eisemann (dSPACE GmbH), 
Société: dSPACE GmbH, Allemagne
Publié: 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.



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

Faire avancer l'innovation. Toujours à la pointe de l'évolution technologique.

S’abonner à nos newsletters, gérer ses abonnements ou se désabonner. La newsletter mensuelle contenant toutes les informations liées à l’aéronautique et défense.

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.