For a better experience on, enable JavaScript in your browser. Thank you!

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
Software Type Production Code Generation Software
Topics of Interest DO-178B/C, DO-160
Product TargetLink
Information Type Basics and Concepts
Information Category Getting Started, Working with
dSPACE Release 2018-A, 2017-B , 2017-A, 2016-B, 2016-A, 2015-B, 2015-A, 2014-B, 2014-A, 2013-B, 2013-A