Software contributions to aircraft adverse events: Case studies and analyses of recurrent accident patterns and failure mechanisms
暂无分享,去创建一个
[1] Joseph H. Saleh,et al. From learning from accidents to teaching about accident causation and prevention: Multidisciplinary education and safety literacy for all engineering students , 2012, Reliab. Eng. Syst. Saf..
[2] Nancy G. Leveson,et al. Role of Software in Spacecraft Accidents , 2004 .
[3] George E Apostolakis,et al. How Useful Is Quantitative Risk Assessment? , 2004, Risk analysis : an official publication of the Society for Risk Analysis.
[4] Ann Q. Gates,et al. A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.
[5] Chris W. Johnson,et al. The Dangers of Failure Masking in Fault-Tolerant Software: Aspects of a Recent In-Flight Upset Event , 2007 .
[6] Jeffrey C. Carver,et al. A systematic literature review to identify and classify software requirement errors , 2009, Inf. Softw. Technol..
[7] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[8] I A Papazoglou,et al. Master Logic Diagram: method for hazard and initiating event identification in process plants. , 2003, Journal of hazardous materials.
[9] John C. Munson,et al. Software faults: A quantifiable definition , 2006, Adv. Eng. Softw..
[10] Carl E. Landwehr,et al. A taxonomy of computer program security flaws , 1993, CSUR.
[11] Ram Chillarege,et al. Orthogonal defect classification , 1996 .
[12] Raghvendra V. Cowlagi,et al. Coordinability and Consistency in Accident Causation and Prevention: Formal System Theoretic Concepts for Safety in Multilevel Systems , 2013, Risk analysis : an official publication of the Society for Risk Analysis.
[13] I. A. Herrera,et al. Comparing a multi-linear (STEP) and systemic (FRAM) method for accident analysis , 2010, Reliab. Eng. Syst. Saf..
[14] K. Oguchi,et al. Towards Model-Based Failure-Management for Automotive Software , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).
[15] Robyn R. Lutz,et al. Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
[16] David Carlisle. CONTROLLED FLIGHT INTO TERRAIN , 2001 .
[17] Jane Huffman Hayes. Building a requirement fault taxonomy: experiences from a NASA verification and validation research project , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..
[18] Kingsley Hendrick,et al. Investigating Accidents with Step , 1986 .
[19] Yu-Shu Hu. Evaluating system behavior through dynamic master logic diagram modeling , 1995 .
[20] Efstathios Bakolas,et al. Highlights from the literature on accident causation and system safety: Review of major ideas, recent contributions, and challenges , 2010, Reliab. Eng. Syst. Saf..
[21] Chris W. Johnson,et al. PII: S0951-8320(99)00066-6 , 1999 .
[22] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.