The infeasibility of experimental quantification of life-critical software reliability | Zendy

Ricky W. Butler | Zendy; George B. Finelli | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The infeasibility of experimental quantification of life-critical software reliability

Author(s) -

Ricky W. Butler,

George B. Finelli

Publication year - 1991

Publication title -

nasa technical reports server (nasa)

Language(s) - English

Resource type - Conference proceedings

ISSN - 0163-5948

ISBN - 0-89791-455-4

DOI - 10.1145/125083.123054

Subject(s) - research center , citation , reliability (semiconductor) , data center , software , computer science , center (category theory) , aeronautics , engineering , operations research , library science , operating system , medicine , power (physics) , chemistry , physics , pathology , quantum mechanics , crystallography

This paper affirms that quantification of life-criticalsoftware reliability is infeasible using statistical methodswhether applied to standard software or faulttolerantsoftware. The key assumption of softwarefault tolerance---separately programmed versions failindependently---is shown to be problematic. This assumptioncannot be justified by experimentation in theultrareliability region and subjective arguments in itsfavor are not sufficiently strong to justify it as an axiom.Also, the...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research