Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems

Abstract

Studies of safety-critical software-reliant systems developed using the current practices of build-then-test show that requirements and architecture design defects make up approximately 70% of all defects, many system level related to operational quality attributes, and 80% of these defects are discovered late in the development life cycle [Redman 2010]. Exponential growth in software size and complexity has pushed the cost for the current generation of aircraft to the limit of affordability.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2013
Accession Number
ADA585679

Entities

People

  • Arie Gurfinkel
  • Charles Weinstock
  • John B. Goodenough
  • Lutz Wrage
  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Aircraft Industry
  • Aircrafts
  • Classification
  • Computers
  • Control Systems
  • Engineering
  • Engineers
  • Failure Mode And Effect Analysis
  • Language
  • Reliability
  • Safety
  • Safety Analysis
  • Safety Engineering
  • Software Design
  • Software Development
  • Standards
  • Systems Engineering

Fields of Study

  • Computer science
  • Engineering

Readers

  • Environmental Impact Assessment (EIA) of Proposed Air Force Base Actions.
  • Software Engineering.