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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System… Expand
Review
2012
Review
2012
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
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
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
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 privatization carried out under the Thatcher and Major governments in Britain has been widely (although not universally… Expand
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… Expand
Highly Cited
2001
Highly Cited
2001
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
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 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