Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,206,837 papers from all fields of science
Search
Sign In
Create Free Account
DO-178C
DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
ARP4754
Advisory circular
Cantata++
Code coverage
Expand
Broader (3)
Avionics
Safety engineering
Software requirements
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
Faiz ul Muram
,
B. Gallina
,
Samina Kanwal
International Conference on Reliability, Safety…
2019
Corpus ID: 167222180
Compliance with the CENELEC series is mandatory during the planning of as well as development of railway systems. For compliance…
Expand
2017
2017
Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems
R. N. Kashi
,
Meenakshi D'Souza
,
Koyalkar Raman Kishore
Compute
2017
Corpus ID: 44083203
An Area 1rich with challenges is that of self-adaptive avionics software, with considerable thrust in both the American and…
Expand
2017
2017
Modular Development and Certification of Dependable Mixed-Criticality Systems
Asier Larrucea
,
I. Martinez
,
C. F. Nicolás
,
Jon Perez
,
R. Obermaisser
Euromicro Symposium on Digital Systems Design
2017
Corpus ID: 20986277
The transition from conventional federated architectures to integrated architectures enables the integration of functionalities…
Expand
2017
2017
Special section on: Reliability and Safety Certification of Software-Intensive Systems
B. Gallina
,
R. Natella
Reliability Engineering & System Safety
2017
Corpus ID: 29029940
2016
2016
Java-HCT: An approach to increase MC/DC using hybrid concolic testing for Java programs
Sangharatna Godboley
,
Arpita Dutta
,
D. Mohapatra
Conference on Computer Science and Information…
2016
Corpus ID: 17880832
Modified Condition / Decision Coverage (MC/DC) is the second strongest coverage criterion in white-box testing. According to…
Expand
2014
2014
Adapting DO-178C processes by implementing a reverse engineering technique
M. Bingol
,
Etem Deniz
,
M. Sari
,
Ismail Engin Saritas
,
Yunus Yilmazer
Symposium on Dependable Autonomic and Secure…
2014
Corpus ID: 13087203
Software used in safety-critical systems has become a major component in today's system design. Meanwhile, developing certifiable…
Expand
2014
2014
A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331
Andre Sarkis
,
L. A. V. Dias
International Conference on Information…
2014
Corpus ID: 2014566
The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate…
Expand
2014
2014
DO-333 Certification Case Studies
D. Cofer
,
Steven P. Miller
NASA Formal Methods
2014
Corpus ID: 13597230
RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A, provides guidance for software developers wishing to use formal…
Expand
2012
2012
DO-178C Compliance of Verisoft Formal Methods
Blasum Holger
,
F. Dordowsky
,
Bruno Langenstein
,
Andreas Nonnengart
2012
Corpus ID: 199587863
Verisoft XT was a three-year research project , funded by the German Federal Ministry of Education and Research (BMBF). The main…
Expand
2012
2012
The Impact of RTCA DO-178C on Software Development
2012
Corpus ID: 15539760
A new guideline has emerged to help regulate the development and certification of software and the delivery of multiple…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE