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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present a dual technique for generating and verifying proof certificates in SMT-based model checkers, focusing on proofs of… 
2014
2014
Software used in safety-critical systems has become a major component in today's system design. Meanwhile, developing certifiable… 
Review
2013
Review
2013
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System… 
2013
2013
This paper outlines an architecture that provides data and software services to enable a set of Unmanned Aircraft (UA) platforms… 
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… 
Highly Cited
2013
Highly Cited
2013
Software for commercial aircraft is subject to the stringent certification processes described in the DO-178B standard, "Software… 
2013
2013
For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B) has been… 
Review
2012
Review
2012
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on… 
Review
2011
Review
2011
The commercial avionics community's DO-178B software safety certification requirements document is being updated to take into… 
Review
2009
Review
2009
In recent years, deductive program verification has improved to a degree that makes it feasible for real-world programs…