Fault tree developed by an object-based method improves requirements specification for safety-related systems

Reliability Engineering and System Safety

Volumn 63, Issue 2, 1999, Pages 111-125

  Čepin, Marko ^a   Mavko, Borut ^a  

^a JO EF STEFAN INSTITUTE   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; LIFE CYCLE; MAINTENANCE; PROBABILITY; RELIABILITY; SPECIFICATIONS;

OBJECT BASED METHOD; SAFETY RELATED SYSTEMS;

FAULT TREE ANALYSIS;

EID: 0033079418     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(98)00028-3     Document Type: Article

References (38)

1. Roberts, N. H., Vesely, W. E., Haasl, D. F. and Goldberg, F. F., Fault Tree Handbook. NUREG-0492, US NRC, Washington, 1981.
2. Mavko B., Čepin M. Testing Strategy Comparison (in Slovenian), Electrotechnical Review, ISSN-0013-5852. Ljubljana. 64(2/3):1997;142-147.
3. ?epin M., Mavko B. Probabilistic safety assessment improves surveillance requirements in technical specifications. Reliability Engineering and System Safety. 56:1997;69-77.
4. Čepin M., Mavko B. Surveillance Test Interval Optimisation in Nuclear Power Plants Based on Probabilistic Safety Assessment (in Slovenian), Electrotechnical Review, ISSN-0013-5852. Ljubljana. 63(3):1996;179-185.
5. Siu N. Risk assessment for dynamic systems: an overview. Reliability Engineering and System Safety. 43:1994;43-73.
6. Laprie, J. C., Software-based Critical Systems. In Proceedings of SAFECOMP96, Vienna, 1996, pp. 157-170.
7. Saeed A., de Lemos R., Anderson T. Formal techniques for requirements analysis for safe reactor control, the nuclear engineer. Journal of the Institution of Nuclear Engineers. 34(4):1993;108-115.
8. de Lemos, R., Saeed, A. and Anderson, T., Analyzing Safety Requirements for Process Control Systems. IEEE Software, 1995, pp. 42-53.
9. Saeed A., de Lemos R., Anderson T. On the safety analysis requirements specification for safety critical software, ISA transactions. Journal of the Instrument Society of America. 34:1995;283-295.
10. Son H. S., Seong P. H. Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example. Reliability Engineering and System Safety. 50:1995;261-269.
11. Lyu, M. R. et al. (editors), Handbook of Software Reliability Engineering. IEEE Computer Society Press, McGraw-Hill, New York, 1996.
12. Littlewood, B. and Strigini, L., Validation of ultra-high dependability for software-based systems. Communications of the ACM, 36(11), 69-80.
13. Musa, J. D., Iannino, A. and Okumoto, K., Software Reliability. McGraw-Hill, New York, 1990.
14. Leveson, N. G. and Harvey, P. R., Analyzing software safety. IEEE Transactions on Software Engineering, 1983, SE-9(5).
15. Leveson, N. G., Cha, S. C. and Shimeall, T. J., Safety verification of ADA programs using software fault trees. IEEE Transactions Software Engineering, July 1991, 48-59.
16. Dugan J. B., Lyu M. R. System reliability analysis of an N-version programming application. IEEE Transactions on Reliability. 43(4):1994;513-519.
17. Garrett J., Guarro S. B., Apostolakis G. E. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. IEEE Transactions on Systems, Man and Cybernetics. 25(5):1995;824-840.
18. Čepin, M. and Wardzinski, A., On integration of probabilistic and deterministic safety analysis. In Proceedings of the 3rd Regional Meeting: Nuclear Energy in Central Europe, NSS and ENS, Portorož, 16-19 September 1996, pp. 188-196.
19. Gorski, J. and Wardzinski, A., Timing aspects of fault tree analysis of safety critical systems. In Proceedings of the Safety Critical Systems Symposium, eds. F. Redmill and T. Anderson, Brighton, UK, February 1997, pp. 231-244.
20. Yih S., Fan C., Shirazi B. Anatomy of safety critical computing problems. Reliability Engineering and System Safety. 50:1995;69-78.
21. Yau M., Guarro S. Quantifying software reliability with the dynamic flow-graph methodology. Transactions of ANS. 77:1997;261-262.
22. Jones, Systematic Software Development Using VDM. Prentice Hall, Englewood Cliffs, NJ, 1990.
23. Wardzinski, A. and Čepin, M., Fault tree analysis (in Polish). Informatyka, 1997, No. 6, 28-32.
24. Čepin, M., de Lemos, R., Mavko, B., Riddle, S. and Saeed, A., An object-based approach to modelling and analysis of failure properties. In Proceedings of the 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, UK, September 1997, pp. 281-294.
25. Leveson, N. G., Heimdahl, M. P. E., Hildreth, H. and Reese, J. D., Requirements specification for process control systems. IEEE Transactions on Software Engineering, September 1994, SE-20(9).
26. Reese, J. D., Software deviation analysis. Ph.D. Dissertation, University of California, Irvine, 1996.
27. Heimdahl, M. P. E. and Leveson, N. G., Completeness and consistency analysis of state-based requirements. IEEE Transactions on Software Engineering, May 1996.
28. Leveson, N. G., Intent Specifications: An Approach to Building Human-Centered Specifications, 1998.
29. Leveson, N. G., Safeware - System Safety and Computers. Addison Wesley, Reading, MA, 1995.
30. Čepin, M. and Mavko, B., Identification and Preparation of Case Studies. TR-ISAT-96/8, IJS-DP-7421, 1996.
31. Rumbaugh, Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W., Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.
32. Duke, D. J. and Harrison, M. D., Abstract Interaction Objects, Eurographics, Vol. 12(3). Blackwell Publishers, Oxford, 1993, pp. C25-C36.
33. Riddle, S. and Čepin, M., Object Modelling and Safety Analysis of Engineered Safety Features Actuation System. TR-ISAT-96/11, December 1996.
34. Čepin, M. and Riddle, S., Information Modelling to Support Safety Certification. TR ISAT 97/11, IJS-DP-7691, 1997.
35. Parnas D. L., Asmis G. J. K., Madey J. Assessment of safety-critical software in nuclear power plants. Nuclear Safety. 32(2):1991;189-198.
36. Villemeur, A., Reliability, Availability, Maintainability and Safety Assessment, Methods and Techniques, Vols 1 and 2. John Wiley and Sons, West Sussex, 1992.
37. McDermid, J. A., Software hazard and safety analysis: opportunities and challenges. In Proceedings of the Fourth Safety Critical Systems Symposium, Leeds, 1996, pp. 209-222.
38. SAO+DF Reference Manual. Verilog Inc., 1996.