Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

DO-178C

DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The growth and complexity of airborne systems requires the elaboration of specific standards for software certification, mainly… Expand
Is this relevant?
2016
2016
We present a dual technique for generating and verifying proof certificates in SMT-based model checkers, focusing on proofs of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Software used in safety-critical systems has become a major component in today's system design. Meanwhile, developing certifiable… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2014
2014
The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate… Expand
  • figure 1
  • table 1
  • figure 3
  • figure 2
  • table 2
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Software for commercial aircraft is subject to the stringent certification processes described in the DO-178B standard, "Software… Expand
Is this relevant?
Highly Cited
2013
Highly Cited
2013
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants… Expand
  • table 1
  • figure 5
  • figure 6
  • figure 7
  • table 2
Is this relevant?
2013
2013
This paper outlines an architecture that provides data and software services to enable a set of Unmanned Aircraft (UA) platforms… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
Review
2013
Review
2013
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System… Expand
Is this relevant?
2013
2013
For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B) has been… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Verisoft XT was a three-year research project , funded by the German Federal Ministry of Education and Research (BMBF). The main… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?