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
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
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
Review
2013
Review
2013
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System… Expand
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
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
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
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
Review
2011
Review
2011
The commercial avionics community's DO-178B software safety certification requirements document is being updated to take into… Expand
Review
2009
Review
2009
In recent years, deductive program verification has improved to a degree that makes it feasible for real-world programs… Expand
  • figure 1
  • figure 2