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 TargetLink.Info@dspace.de.
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 | 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 |
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 & defense now.