Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,973,130 papers from all fields of science
Search
Sign In
Create Free Account
DO-178B
Known as:
DAL-A
, RTCA/DO-178B
, DAL-B
Expand
DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
ARINC 661
ARP4754
Acceptance testing
Avionics software
Expand
Broader (3)
Avionics
Safety engineering
Software requirements
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
CompCert - A Formally Verified Optimizing Compiler
X. Leroy
,
Sandrine Blazy
,
Daniel Kästner
,
Bernhard Schommer
,
Markus Pister
,
Christian Ferdinand
2016
Corpus ID: 9600350
CompCert is the first commercially available optimizing compiler that is formally verified, using machine-assisted mathematical…
Expand
Review
2013
Review
2013
Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance
L. Rierson
2013
Corpus ID: 60481669
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System…
Expand
Highly Cited
2012
Highly Cited
2012
GGE biplot analysis of genotype × environment interaction in wheat-barley disomic addition lines.
E. Farshadfar
,
R. Mohammadi
,
M. Aghaee
,
Zahra Vaisi
2012
Corpus ID: 53124961
Identification of the genetic architecture of phenotypic stability and management of adaptational genes are prerequisites for…
Expand
Review
2012
Review
2012
Deterministic aperiodic nanostructures for photonics and plasmonics applications
L. Dal Negro
,
S. Boriskina
2012
Corpus ID: 106401954
This review focuses on the optical properties and device applications of deterministic aperiodic media generated by mathematical…
Expand
2010
2010
Toward DO-178B-compliant Test Models
Heiko Stallbaum
,
Mark Rzepka
Workshop on Model-Driven Engineering…
2010
Corpus ID: 1056578
Model-based Testing (MBT) helps handle the growing complexity of software and reduces development effort by using tool support…
Expand
Review
2004
Review
2004
The Great Divestiture: Evaluating the Welfare Impact of the British Privatizations, 1979-1997
M. Florio
2004
Corpus ID: 152755041
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?
J. Drury
,
S. Reicher
,
C. Stott
2003
Corpus ID: 144227132
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
A. Pretschner
2001
Corpus ID: 14668660
Test case generation for concurrent reactive systems on the grounds of symbolic execution basically amounts to searching their…
Expand
Review
2001
Review
2001
A practical approach to modified condition/decision coverage
K. Hayhurst
,
D. S. Veerhusen
20th DASC. 20th Digital Avionics Systems…
2001
Corpus ID: 14934822
Testing of software intended for safety-critical applications in commercial transport aircraft must achieve modified condition…
Expand
Highly Cited
1983
Highly Cited
1983
A Longitudinal Test of the Investment Model: The Development (and Deterioration) of Satisfaction and Commitment in Heterosexual Involvements
C. Rusbult
1983
Corpus ID: 18260567
A longitudinal study of heterosexual dating relationships tested investment model predictions regarding the process by which…
Expand
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)
ACCEPT & CONTINUE