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 |
소프트웨어 타입 | Production Code Generation Software |
Topics of Interest | DO-178B/C, DO-160 |
제품군 | TargetLink |
인포메이션 타입 | 베이식과 컨셉 |
인포메이션 카테고리 | 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 |
혁신을 추진하세요. 항상 기술 개발의 동향을 주시해야 합니다.
저희 전문 지식 서비스에 가입하세요. dSPACE의 성공적인 프로젝트 사례를 확인해 보세요. 시뮬레이션 및 검증에 대한 최신 정보를 받아보세요. 지금 바로 dSPACE 다이렉트(뉴스레터)를 구독하세요.