Reliability assessment of legacy safety-critical systems upgraded with off-the-shelf components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2434, Issue , 2002, Pages 139-150

  Popov, Peter ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; BAYESIAN NETWORKS; INFERENCE ENGINES; RELIABILITY ANALYSIS;

BAYESIAN APPROACHES; BAYESIAN INFERENCE; OFF-THE-SHELF COMPONENTS; OFFTHE-SHELF (OTS); RELIABILITY ASSESSMENTS; RELIABILITY ASSURANCE; SAFETY CRITICAL SYSTEMS; SIMPLIFYING ASSUMPTIONS;

LEGACY SYSTEMS;

EID: 84949229323     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45732-1_15     Document Type: Conference Paper

References (7)

1. Littlewood, B. and L. Strigini, Validation of Ultra-High Dependability for Software-based Systems. Communications of the ACM, 1993. 36(11): p. 69-80.
2. Butler, R.W. and G.B. Finelli. The Infeasibility of Experimental Quantification of Life- Critical Software Reliability. in ACM SIGSOFT '91 Conference on Software for Critical Systems, in ACM SIGSOFT Software Eng. Notes, Vol. 16(5). 1991. New Orleans, Louisiana.
3. Littlewood, B., P. Popov, and L. Strigini. Assessment of the Reliability of Fault-Tolerant Software: a Bayesian Approach. in 19th International Conference on Computer Safety, Reliability and Security, SAFECOMP’2000. 2000. Rotterdam, the Netherlands: Springer.
4. Strigini, L., Engineering judgement in reliability and safety and its limits: what can we learn from research in psychology? 1994. http://www.csr.city.ac.uk/people/lorenzo.strigini/ls.papers/ExpJudgeReport/
5. Johnson, N.L. and S. Kotz, Distributions in Statistics: Continuous Multivariate Distributions. Wiley Series in Probability and Mathematical Statistics, ed. R.A. Bradley, Hunter, J. S., Kendall, D. G., Watson, G. S. Vol. 4. 1972: John Weley and Sons, INc.
6. Kubal, S., May, J., Hughes, G. Structural Software Reliability Estimation. in SAFECOMP '99, 18th International Conference on Computer Safety, Reliability and Security. 1999. Toulouse, France: Springer.
7. Littlewood, B. and D. Wright, Some conservative stopping rules for the operational testing of safety-critical software. IEEE Transactions on Software Engineering, 1997. 23(11): p. 673-683.