Article thumbnail

Error Classification and Analysis for High Integrity Software

By Herbert Hecht and Dolores Wallace

Abstract

High intgrity software includes that in aircraft flight control, nuclear reactor safety systems, and portions of the ground based air traffic control. One of the best known specifications for such software establishes a maximum tolerable failure rates for the most severe modes of 10-10/flight-hr. [ FAA88]. Demonstration of the attainment of such low failure rates is not possible by the established methods of software reliability estimation, e..g, [MUSA87]. Indeed, a larg

Year: 2015
OAI identifier: oai:CiteSeerX.psu:10.1.1.541.5697
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://www.sohar.com/proj_pub/... (external link)
  • http://www.sohar.com/proj_pub/... (external link)
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.