Model-Based Development and Verification of Airborne Software

The aviation industry requires that safety-critical software is assessed according to rigorous safety and development guidelines before it might be used on commercial airliners. DO-178C and its supplements are such guidelines used by certification authorities as well as by companies developing software-based airborne equipment.

The civil avionics industry increasingly utilizes model-based development and verification technologies, including automated code generation, to develop airborne software to realize a variety of benefits associated with this software development paradigm. In this context the question arises on how to develop and verify airborne software in a model-based fashion such that the certification guidelines are satisfied.

This document addresses the development and verification of airborne software when using model-based development and verification with TargetLink in the software life cycle. It is based on the regulatory guideline DO-178C and its DO-331 supplement that provides guidance for using model-based development and verification. 

Detailed documentation is available from dSPACE upon request. Please contact

Date 2014-06-15
Type de logiciel Logiciels de génération automatique de code série
Sujets d’intérêt DO-178B/C, DO-160
Produit TargetLink
Type d’information Fondamentaux et concepts
Catégorie d’information Mise en route, Travailler avec
Release dSPACE 2022-A, 2021-B, 2021-A, 2020-B, 2020-A, 2019-B, 2019-A, 2018-B, 2018-A, 2017-B , 2017-A, 2016-B, 2016-A, 2015-B, 2015-A, 2014-B, 2014-A, 2013-B, 2013-A

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.