Skip to search formSkip to main contentSkip to account menu

DO-178B

Known as: DAL-A, RTCA/DO-178B, DAL-B 
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
CompCert is the first commercially available optimizing compiler that is formally verified, using machine-assisted mathematical… 
Review
2013
Review
2013
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System… 
Highly Cited
2012
Highly Cited
2012
Identification of the genetic architecture of phenotypic stability and management of adaptational genes are prerequisites for… 
Review
2012
Review
2012
This review focuses on the optical properties and device applications of deterministic aperiodic media generated by mathematical… 
2010
2010
Model-based Testing (MBT) helps handle the growing complexity of software and reduces development effort by using tool support… 
Review
2004
Review
2004
The privatization carried out under the Thatcher and Major governments in Britain has been widely (although not universally… 
Highly Cited
2003
Highly Cited
2003
This paper is concerned with how people involved in ‘local’ protest might come to see themselves as part of wider social… 
Highly Cited
2001
Highly Cited
2001
Test case generation for concurrent reactive systems on the grounds of symbolic execution basically amounts to searching their… 
Review
2001
Review
2001
Testing of software intended for safety-critical applications in commercial transport aircraft must achieve modified condition… 
Highly Cited
1983
Highly Cited
1983
A longitudinal study of heterosexual dating relationships tested investment model predictions regarding the process by which…