Risk analysis techniques and their application to software development

European Journal of Operational Research

Volumn 95, Issue 3, 1996, Pages 467-475

  Bennett, Joanna C ^a   Bohoris, George A ^a   Aspinwall, Elaine M ^a   Hall, Richard C ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037840504     PISSN: 03772217     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0377-2217(96)00171-3     Document Type: Article

References (95)

1. Cooper, D.F., and Chapman, C.B., Risk Analysis for Large Projects - Models, Methods and Cases, Wiley, New York, 1987.
2. Moore, P.G., and Thomas, H., The Anatomy of Decisions, 2nd ed., Penguin, London, 1988.
3. Garrick, B.J., "The approach to risk analysis in three industries: Nuclear power, space systems and chemical process", Reliab. Eng. Syst. Saf. 23/3 (1988) 195-205.
4. Lu, F.C., and Dourson, M.L., "Safety or risk assessment of pesticides: Principles, procedures and examples", Toxicol. Let. 64/65 (1992) 783-787.
5. Swoveland, C., "Risk analysis of regulatory options for the transport of dangerous commodities by rail", Interfaces 17/4 (1987) 90-107.
6. Bodner, A.I., Greenwood, B.W., and Hudson, J.M., "Risk analysis of a sour gas pipeline using a personal computer", Reliab. Eng. Syst. Saf. 30 (1990) 455-466.
7. Leveson, N.G., "Software safety in embedded computer systems", Communications of the ACM 34/2 (1991) 34-46.
8. Otway, H., and Pahner, P., "Risk assessment", in: J. Dowie and P. Lefrère (eds.), Risk and Chance - Selected Readings, Open University Press, Milton Keynes, 1980.
9. Lowrance, W.W., Of Acceptable Risk, Science and the Determination of Safety, Kaufmann, Los Altos, CA, 1974.
10. Henley, E.J., and Kumamoto, H., Reliability Engineering and Risk Assessment, Prentice-Hall, Englewood Cliffs, NJ, 1981.
11. Cox, S.J., and Tait, N.R.S., Reliability, Safety and Risk Management - An Integrated Approach, Butterworth-Heinemann, Oxford, 1991.
12. British Standard BS5760, "Reliability of systems, equipment and components, Part 5. Guide to failure modes, effects and criticality analysis", 1991.
13. British Standard BS5760, "Reliability of systems, equipment and components, Part 7. Guide to fault tree analysis", 1991.
14. Rasmussen, J., "Reactor safety study: An assessment of accident risks in U.S. commercial nuclear power plants", WASH-1400 (NUREG 75/014), United States Nuclear Regulatory Commission, October 1975.
15. Cummings, G.E., "Application of the fault tree technique to a nuclear reactor containment system", in: R.E. Barlow, J.B. Fussell and N.D. Singurpwalla (eds.), Reliability and Fault Tree Analysis - Theoretical and Applied Aspects of System Reliability and Safety Assessment, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1975.
16. Vesely, W.E., "Reliability quantification techniques used in the Rasmussen study", in: R.E. Barlow, J.B. Fussell and N.D. Singurpwalla (eds.), Reliability and Fault Tree Analysis - Theoretical and Applied Aspects of System Reliability and Safety Assessment, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1975.
17. Levine, S., "The role of risk assessment in the nuclear regulatory process", Nucl. Saf. 19/5 (1978) 556-564.
18. McCormick, N.J., Reliability and Risk Analysis: Methods and Nuclear Power Applications, Academic Press, New York, 1981.
19. Wall, I.B., "Government sponsored assessment", in: A.E. Green (ed.), High Risk Safety Technology, Wiley, New York, 1982, 247-258.
20. Kates, R.W., Hohenemser, C., and Kasperson, J.X. (eds.), Perilous Progress - Managing the Hazards of Technology, Westview Press, Boulder, CO, 1984.
21. Thompson, W.A., Point Process Models with Applications to Safety and Reliability, Chapman & Hall, London, 1988.
22. Bayer, A., and Heuser, F.W., "Basic aspects and results of the German risk study", Nucl. Saf. 22/6 (1981) 695-709.
23. Bayer, A., Burkart, K., Erhardt, J., Hubschmann, W., Schuckler, M., Vogt, S., Jacobi, W., Paretzke, H.G., Trott, K.R., Hofer, E., and Krzykacz, B., "The German risk study: Accident consequence model and the results of the study", Nucl. Tech. 59 (1982) 20-50.
24. Bayer, A., and Käberlein, K., "Risk-oriented analysis on the German prototype fast breeder reactor SNR-300", Nucl. Saf. 25/1 (1984) 19-32.
25. Apostolakis, G., and Kafka, P., "Advances in probabilistic safety assessment", Nucl. Eng. Des. 134 (1992) 141-148.
26. Beckjord, E.S., Cunningham, M.A., and Murphy, J.A., "Probabilistic safety assessment development in the United States 1972-1990", Reliab. Eng. Syst. Saf. 39/2 (1993) 159-170.
27. MacKenzie, J.J., "Finessing the risks of nuclear power", Technol. Rev. 87/2 (1984) 34-39.
28. Levine, S., "PRA: Identifying the real risks of nuclear power", Technol. Rev. 87/2 (1984) 40-44.
29. Piper, H.B., "Clinch River breeder reactor plant safety study", Nucl. Saf. 19/3 (1978) 316-329.
30. Sancaktar, S., and Sharp, D.R., "Use of risk assessment and economic risk at the plant design stage: An application", Nucl. Tech. 84/3 (1989) 315-318.
31. Health and safety executive: "Canvey: Summary of an investigation of potential hazards from operations in the Canvey Island/ Thurrock area", HMSO, 1978.
32. Freeman, R.A., "The use of risk assessment in the chemical industries", Plant Op. Prog. 4/2 (1985) 85-89.
33. Boykin, R.F., Freeman, R.A., and Levary, R.R., "Risk assessment in a chemical storage facility", Management Science 30/4 (1984) 512-517.
34. Freeman, R.A., "Problems with risk analysis in the chemical industry", Plant Op. Prog. 2/3 (1983) 185-190.
35. Joschek, H.I., "Risk assessment in the chemical industries", Plant Op. Prog. 2/1 (1983) 1-5.
36. Daniels, B.K., Aitken, A., and Smith, I.C., "Experience with computers on some U.K. power plants", in: R. Lauber (ed.), Safety of Computer Control Systems, Pergamon, Oxford, 1980, 11-32.
37. Marshall, E., "NRC takes a second look at reactor designs", Science 207 (1980) 1445-1448.
38. Parnas, D.L., Asmis, G.J.K., and Madey, J., "Assessment of safety-critical software in nuclear power processes", Nucl. Saf. 32/2 (1991) 189-198.
39. Marks, P., "Faults highlight problems of nuclear software", New Sci. 135/1836 (1992) 19.
40. Bera, R.K., "Setting software requirements: A scenario for future fighters", Info. Soft. Tech. 32/8 (1990) 531-538.
41. Leveson, N.G., and Turner, C.S., "An investigation of the Therac-25 accidents", Computing 26/7 (1993) 18-41.
42. Lerner, E.J., "Automating U.S. air lanes: A review", IEEE Spectrum 19/11 (1982) 46-51.
43. Borning, A., "Computer system reliability and nuclear war", Communications of the ACM 30/2 (1987) 112-131.
44. Thompson, H., "Out of control", Intercity Magazine, Sept. (1993) 31-33.
45. Wray, T., "The everyday risks of playing safe", New Sci. 119/1629 (1988) 61-65.
46. Littlewood, B., and Strigini, L., "The risk of software", Scientific American 267/5 (1992) 38-43.
47. Leveson, N.G., "Software hazard analysis techniques", in: J.K. Skwirzynski (ed.), Software System Design Methods, Proc. of the NATO ASI: Series F. 22, 1986, 681-699.
48. Leveson N.G., "Software safety: Why, what and how", Comp. Surv. 18/2 (1986) 125-164.
49. Leveson, N.G., "Building safe software", in: B. Littlewood (ed.), Software Reliability: Achievement and Assessment, Blackwell, Oxford, 1987, 1-18.
50. Neumann, P.G., "Some computer related disasters and other egregious horrors", Soft. Eng. Notes 10/1 (1985) 6-7.
51. Neumann, P.G., "Risks to the public", Soft. Eng. Notes, (1985)-(1993).
52. Schoitsch, E., "Software safety and software quality assurance in real-time applications: Part 1", Computer Physics Communications 50 (1988) 169-188.
53. Sawyer, P., "Software for safety?", Chemical Engineering 526 (1992) 32-34.
54. Leveson, N.G., "Software safety in computer controlled systems", Computing 17 (1984) 48-55.
55. Chudleigh, M., "Software and safety: How compatible are they?", Info. Soft. Tech. 32/5 (1990) 323-329.
56. Lauber, R., "Introduction into the subject of the workshop", in: R. Lauber (ed.), Safety of Computer Control Systems, Pergamon, Oxford, 1980, 1-2.
57. Boehm, B.W., "Guest editorial: Reliable software", IEEE Transactions on Software Engineering 1/2 (1975) 137-139.
58. Pancucci, D., "Safety critical software", Eng. 231/8 (1991) 45-47.
59. Vesely, W.E., Goldberg, F.F., Roberts, N.H., and Haasl, D.F., "Fault tree handbook". NUREG-0492, US Regulatory Commission, 1981.
60. Leveson, N.G., and Harvey, P.R., "Analysing software safety", IEEE Transactions on Software Engineering 9/5 (1983) 569-579.
61. Leveson, N.G., and Stolzy, J.L., "Safety analysis of Ada programs using fault trees", IEEE Transactions on Reliability 32/5 (1983) 479-484.
62. Leveson, N.G., Cha, S.S., and Shimeall, T.J., "Safety verification of ada programs using software fault trees", IEEE Soft. 8/4 (1991) 48-59.
63. Friedman, M.A., "Automated software fault tree analysis of Pascal programs", in: Proc. Ann. Reliab. Maint. Symp., 1993, 458-461.
64. Fryer, M.O., "Risk assessment of computer controlled systems", IEEE Transactions on Software Engineering 11/1 (1985) 125-129.
65. Greenberg, R., "Software safety using fault tree analysis techniques", in: B.K. Daniels (ed.), Safety and Reliability of Programmable Electronic Systems, Elsevier Applied Science, Amsterdam, 1986, 86-95.
66. Raina, V.M., and Castaldo, P.V., "Programmable controller fault tree models for use in nuclear power plant risk assessments", in: B.K. Daniels (ed.), Safety and Reliability of Programmable Electronic Systems, Elsevier Applied Science, Amsterdam, 1986, 96-104.
67. Ansell, J., and Wharton, F. (eds.), Risk Analysis, Assessment and Management, Wiley, Chichester, 1992.
68. O''Connor, P.D.T., Practical Reliability Engineering, 3rd ed., Wiley, New York, 1991.
69. Goddard, P.L., "Validating the safety of embedded real-time control systems using FMEA", in: Proc. Ann. Reliab. Maint. Symp., 1993, 227-230.
70. Van Baal, J.B.J., "Hardware/software FMEA applied to airplane safety", NLR MP 84073U, National Aerospace Laboratory NLR, 1984.
71. Reifer, D.J., "Software failure modes and effects analysis", IEEE Transactions on Reliability 28/3 (1979) 247-249.
72. Hall, F.M., Paul, R.A., and Snow, W.E., "Hardware/software FMECA", in: Proc. Ann. Reliab. Maint. Symp., 1983, 320-327.
73. Keene, S.J., "Assuring software safety", in: Proc. Ann. Reliab. Maint. Symp. 1992, 274-279.
74. Ramamoorthy, C.V., and Bastini, F.B., "Software reliability- Status and perspectives", IEEE Transactions on Software Engineering 8/4 (1982) 354-371.
75. Musa, J.D., "A theory of software reliability and its applications", IEEE Transactions on Software Engineering 1/3 (1975) 312-327.
76. Jelinski, Z., and Moranda, P., "Software reliability research", in: W. Freiberger (ed.), Statistical Computer Performance Evaluation, Academic Press, New York, 1972, 465-484.
77. Shooman, M.L., "Probabilistic models for software reliability prediction", in: W. Freiberger (ed.), Statistical Computer Performance Evaluation, Academic Press, New York, 1971, 485-502.
78. Tohma, Y., et al. (1991), "The estimation of parameters of the hypergeometric distribution and its application to the software reliability growth model", IEEE Transactions on Software Engineering 17/5 (1991) 483-489.
79. Littlewood, B., "Stochastic reliability-growth: A model for fault-removal in computer programs and hardware design", IEEE Transactions on Reliability 30/4 (1981) 313-320.
80. Goel, A.L., "Software reliability models: Assumptions, limitations and applicability", IEEE Transactions on Software Engineering 11/12 (1985) 1411-1423.
81. Butler, R.W., and Finelli, G.B., "The infeasibility of quantifying the reliability of life-critical real-time software", IEEE Transactions on Software Engineering 19/1 (1993) 3-12.
82. Keiller, P.A., and Miller, D.R., "On the use and performance of software reliability growth models", Reliab. Eng. Syst. Saf. 32/1,2 (1991) 95-117.
83. Barroca, L.M., and McDermid, J.A., "Formal methods: Use of relevance for development of safety-critical systems", The Computer Journal 35/6 (1992) 579-599.
84. Geary, K., "Beyond good practices - A standard for safety critical software" in B.K. Daniels (ed.), Achieving Safety and Reliability with Computer Systems, Elsevier Applied Science, London, 1986, 232-241.
85. Ould, M.A., "Software development under Def Stan 00-55: A guide", Info. Soft. Tech. 32/3 (1990) 170-175.
86. Bloofield, R.G., and Froome, P.K.D., "Formal methods in the production and assessment of safety critical software", Reliab. Eng. Syst. Saf. 32/1,2 (1991) 51-66.
87. Bowen, J., and Stravridou, V., "Safety-critical systems. Formal methods and standards", Soft. Eng. Journal 8/4 (1993) 189-109.
88. Glass, R.L., "Software reliability guidebook", Prentice-Hall, Englewood Cliffs, NJ, 1979.
89. Abbott, R.J., "Resourceful systems for fault tolerance, reliability and safety", Comp. Surv. 22/1 (1990) 35-68.
90. Brilliant, S.S., Knight, J.C., and Leveson, N.G., "The consistent comparison problems in N-version software", IEEE Transactions on Software Engineering 15/11 (1989) 1481-1485.
91. Brilliant, S.S., Knight, J.C., and Leveson, N.G., "Analysis of faults in an n-version software experiment", IEEE Transactions on Software Engineering 16/2 (1990) 238-247.
92. Knight, J.C., and Leveson, N.G., "An experimental evaluation of the assumption of independence in multiversion programming", IEEE Transactions on Software Engineering 12/1 (1986) 96-109.
93. Leveson, N.G., and Stolzy, J.L., "Analysing safety and fault tolerance using time Petri nets", Lecture Notes in Computer Science 186/2 (1985) 339-355.
94. Leveson, N.G., and Stolzy, J.L., "Safety analysis using Petri nets", IEEE Transactions on Software Engineering 13/3 (1987) 386-397.
95. Burton, B.A., Aragon, R.W., Bailey, S.A., Koehler, K.D., and Mayes, L.A., "The reusable software library", IEEE Soft. 4/4 (1987) 25-33.