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

Abstract Fault tree analysis is frequently used to improve system reliability and safety. To be suitable for analysis of software in computerised safety-related systems, it has to be modified accordingly. This paper presents a new application: the fault trees developed by an object-based method. The object-based method integrates structural and behavioural models of a system. The developed fault tree includes information on structure and the failure behaviours of classes of the system. Away from traditional use of the fault tree, which for traditional systems emphasises qualitative and quantitative results, the result of the new application emphasises the process of fault tree development and its qualitative results. Such fault tree application reduces the probability of failures in the requirements specification phase within the software life cycle, which increases the reliability of its product; however, it does not confirm this in a quantitative manner.

[1]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[2]  Stephen Riddle,et al.  An Object-Based Approach to Modelling and Analysis of Failure Properties , 1997, SAFECOMP.

[3]  Michael D. Harrison,et al.  Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[4]  B. Mavko,et al.  Probabilistic safety assessment improves surveillance requirements in technical specifications , 1997 .

[5]  John A. McDermid Software Hazard and Safety Analysis: Opportunities and Challenges , 1996, SSS.

[6]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[7]  Nancy G. Leveson,et al.  Completeness and Consistency Analysis of State-Based Requirements , 1995, 1995 17th International Conference on Software Engineering.

[8]  Nancy G. Leveson,et al.  Intent specifications: an approach to building human-centered specifications , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[9]  Nancy G. Leveson,et al.  Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..

[10]  Jean-Claude Laprie,et al.  Software-based critical systems , 1996, SAFECOMP.

[11]  Hoang Pham Software Reliability , 1999 .

[12]  Han S. Son,et al.  Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example , 1995 .

[13]  Nancy G. Leveson,et al.  Software Deviation Analysis , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[14]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[15]  Michael R. Lyu,et al.  System reliability analysis of an N-version programming application , 1994 .

[16]  N. Siu,et al.  Risk assessment for dynamic systems: An overview , 1994 .

[17]  Rogério de Lemos,et al.  Analyzing Safety Requirements for Process-Control Systems , 1995, IEEE Softw..

[18]  David Lorge Parnas,et al.  Assessment of safety-critical software in nuclear power plants , 1991 .

[19]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[20]  Janusz Górski,et al.  Timing Aspects of Fault Tree Analysis of Safety Critical Systems , 1997 .

[21]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[22]  Behrooz Shirazi,et al.  Anatomy of safety-critical computing problems , 1995 .

[23]  George E. Apostolakis,et al.  The dynamic flowgraph methodology for assessing the dependability of embedded software systems , 1995, IEEE Trans. Syst. Man Cybern..

[24]  M. Cepin On Integration of Probabilistic and Deterministic Safety Analysis , 1996 .

[25]  Nancy G. Leveson,et al.  Safety verification of Ada programs using software fault trees , 1991, IEEE Software.

[26]  M. Yau,et al.  Quantifying software reliability with the dynamic flow-graph methodology , 1997 .

[27]  Bev Littlewood,et al.  Validation of ultrahigh dependability for software-based systems , 1993, CACM.

[28]  Nancy G. Leveson,et al.  Analyzing Software Safety , 1983, IEEE Transactions on Software Engineering.