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

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… Expand
Wikipedia

Related topics

Related topics

38 relations
ARINC 661ARP4754Acceptance testingAvionics software
Expand

Broader (3)

AvionicsSafety engineeringSoftware requirements

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
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… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Review
2009
Review
2009
Formal Verification of a Microkernel Used in Dependable Software Systems
In recent years, deductive program verification has improved to a degree that makes it feasible for real-world programs… Expand
  • figure 1
  • figure 2
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… Expand
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… Expand
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… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
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… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • table 3
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… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE