Bev Littlewood and David Wright City University Northampton Square, London...  Home/Search
Context
Related
| ec.org/deva/trs/../papers/10.ps ec.org/deva/trs/../papers/10.ps ec.org/deva/trs/../papers/10.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ec.org/deva/trs/ (more) From: ec.org/deva/trs/index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: For safety-critical systems, the required reliability (or safety) is often extremely high. Assessing the system, to gain confidence that the requirement has been achieved, is correspondingly hard, particularly when the system depends critically upon extensive software. In practice, such an assessment is often carried out rather informally, taking account of many different types of evidence---experience of previous, similar systems; evidence of the efficacy of the development process; testing;... (Update)
Similar documents based on text: More All
0.1: Some Conservative Stopping Rules for the Operational.. - Littlewood, Wright (1997) (Correct)
0.1: A Non-Parametric Order Statistics Software Reliability.. - Barghout, Littlewood.. (Correct)
0.1: Some Conservative Stopping Rules for the Operational.. - Littlewood, Wright (1997) (Correct)
BibTeX entry: (Update)
@misc{ littlewood-reliability,
author = "Bev Littlewood",
title = "Reliability Prediction of a Software Product Using Testing Data from other
Products or Execution Environments",
url = "citeseer.ist.psu.edu/94915.html" }
Citations (may not include all citations):1120 Handbook of Mathematical Functions (context) - Abramowitz, Stegun - 1970
64 The infeasibility of quantifying the reliability of life-cri.. - Butler, Finelli - 1993
49 Estimating the probability of failure when testing reveals n.. (context) - Miller, Morell et al. - 1992
43 Validation of ultra-high dependability for software-based sy.. (context) - Littlewood, Strigini - 1993
36 Theory of Probability (context) - de Finetti - 1975
6 a stopping rule for the operational testing of safetycritica.. (context) - Littlewood, Wright - 1995
5 Safe and reliable computing on board the Airbus and ATR airc.. (context) - Rouquet, Traverse - 1986
4 Software-based protection for Sizewell B: the regulator's pe.. (context) - Hunns - 1991
3 a product-in-a-process approach to software reliability eval.. (context) - Laprie - 1992
2 Assessing uncertainty in physical constants (context) - Henrion, Fischhoff - 1986
1 World Student Series Edition (context) - Spivak - 1973
1 Software considerations in airborn systems and equipment cer.. (context) - Technical, Aeronautics - 1992
Documents on the same site (http://www.newcastle.research.ec.org/deva/trs/): More
Formal Specification and Verification of Object-Based.. - Canver, von Henke (Correct)
A Theory of Specification-Based Testing for.. - Barbey, Buchs, Péraire (1996) (Correct)
Using Metaobject Protocols to Separate Functional and.. - Stroud, Wu (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC