论文信息 - Safe Architectural Design Principles

Safe Architectural Design Principles

This report discusses architectures for safety-critical systems. The report summarises the existing literature in the area as well as the guidance provided by existing safety-critical system development standards. We discuss the three constituent functions of fault tolerant architectures: error detection, damage assessment and confinement and error recovery. We also consider methods for fault prevention.

Andrew Hussey | Brenton Atchison | A. Hussey | B. Atchison

[1] G. F. Williamson,et al. Software safety and reliability , 1997 .

[2] Hugo Simpson,et al. The Mascot method , 1986, Softw. Eng. J..

[3] MSc Mbcs CEng Michael Bronzite BSc. System Development , 2000, Springer London.

[4] John Barnes,et al. High Integrity Ada: The Spark Approach , 1997 .

[5] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[6] Peter A. Lee. Software-Faults: The Remaining Problem in Fault Tolerant Systems? , 1993, Hardware and Software Architectures for Fault Tolerance.

[7] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[8] Robert L. Glass,et al. Measuring software design quality , 1990 .

[9] Luke Wildman,et al. The sum reference manual , 1999 .

[10] Gerald W. Both,et al. Object-oriented analysis and design with applications , 1994 .

[11] Neil R. Storey,et al. Safety-critical computer systems , 1996 .

[12] Hermann Kopetz,et al. Fault tolerance, principles and practice , 1990 .

[13] Lorenzo Strigini,et al. Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science , 1999, SAFECOMP.

[14] Peter Neumann,et al. Safeware: System Safety and Computers , 1995, SOEN.

[15] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.