Skip to search formSkip to main contentSkip to account menu

DO-178C

DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
ARP4754Advisory circularCantata++Code coverage

Broader (3)

AvionicsSafety engineeringSoftware requirements

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Automated test case generation tool based on Pycparser
2017
2017
Special section on: Reliability and Safety Certification of Software-Intensive Systems
2016
2016
Java-HCT: An approach to increase MC/DC using hybrid concolic testing for Java programs
Modified Condition / Decision Coverage (MC/DC) is the second strongest coverage criterion in white-box testing. According to… 
2016
2016
New Requirement-Definition and Verification Techniques According to DO-178C, DO-331, and DO-333
In this paper, a model-based tool chain for DO-178C-compliant development is presented which can be used to design, implement and… 
2015
2015
A Practical Approach to the Simulation of Safety-critical Automotive Control Systems considering Complex Data Flows
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they… 
2014
2014
A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331
The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate… 
2014
2014
Safely Excluding Serious Errors
  • 2014
  • Corpus ID: 14113199
ion allows intuitive application development and increases the efficiency of development. However, to verify system safety, it is… 
2012
2012
DO-178C Compliance of Verisoft Formal Methods
Verisoft XT was a three-year research project , funded by the German Federal Ministry of Education and Research (BMBF). The main… 
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… 
2011
2011
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel
DO178C introduces a supplement addressing Object Oriented Technology (OOT) for avionics software. Although OOT is more of a… 
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)