Fault tree developed by an object-based method improves requirements specification for safety-related systems
暂无分享,去创建一个
[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.