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)

Related topics

Related topics

38 relations
ARINC 661ARP4754Acceptance testingAvionics software

Broader (3)

AvionicsSafety engineeringSoftware requirements

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
CompCert - A Formally Verified Optimizing Compiler
CompCert is the first commercially available optimizing compiler that is formally verified, using machine-assisted mathematical… 
Review
2013
Review
2013
Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System… 
Highly Cited
2012
Highly Cited
2012
GGE biplot analysis of genotype × environment interaction in wheat-barley disomic addition lines.
Identification of the genetic architecture of phenotypic stability and management of adaptational genes are prerequisites for… 
Review
2012
Review
2012
Deterministic aperiodic nanostructures for photonics and plasmonics applications
This review focuses on the optical properties and device applications of deterministic aperiodic media generated by mathematical… 
2010
2010
Toward DO-178B-compliant Test Models
Model-based Testing (MBT) helps handle the growing complexity of software and reduces development effort by using tool support… 
Review
2004
Review
2004
The Great Divestiture: Evaluating the Welfare Impact of the British Privatizations, 1979-1997
The privatization carried out under the Thatcher and Major governments in Britain has been widely (although not universally… 
Highly Cited
2003
Highly Cited
2003
Transforming the boundaries of collective identity: from the ‘local’ anti-road campaign to ‘global’ resistance?
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
Classical search strategies for test case generation with Constraint Logic Programming
Test case generation for concurrent reactive systems on the grounds of symbolic execution basically amounts to searching their… 
Review
2001
Review
2001
A practical approach to modified condition/decision coverage
Testing of software intended for safety-critical applications in commercial transport aircraft must achieve modified condition… 
Highly Cited
1983
Highly Cited
1983
A Longitudinal Test of the Investment Model: The Development (and Deterioration) of Satisfaction and Commitment in Heterosexual Involvements
A longitudinal study of heterosexual dating relationships tested investment model predictions regarding the process by which… 
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)