Failure modelling in software architecture design for safety

In mission-critical industries, early feedback on the safety properties of a software system is critical and cost effective. This paper presents a compositional method for failure analysis of a system based on the proposed software architecture. This method is based upon the use of CSP as the failure modelling language and its associated tools as failure analysis. Preliminary findings from the application of this approach are also presented.

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

[2]  D. L. Simms,et al.  Normal Accidents: Living with High-Risk Technologies , 1986 .

[3]  J. E. Groves,et al.  Made in America: Science, Technology and American Modernist Poets , 1989 .

[4]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[5]  John A. McDermid,et al.  An integrated tool set for software safety analysis , 1993, J. Syst. Softw..

[6]  John A. McDermid,et al.  A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

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

[8]  J. L. LIONS.  Flight 501 Failure , 1996 .

[9]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[10]  Gavin Lowe,et al.  Casper: a compiler for the analysis of security protocols , 1997, Proceedings 10th Computer Security Foundations Workshop.

[11]  Gary McGraw,et al.  Software fault injection: inoculating programs against errors , 1997 .

[12]  John Kelly,et al.  Experiences Using Lightweight Formal Methods for Requirements Modeling , 1998, IEEE Trans. Software Eng..

[13]  Gavin Lowe.  Casper: a compiler for the analysis of security protocols , 1998 .

[14]  Antoine Rauzy,et al.  The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.

[15]  Robert L. Nord,et al.  Describing Software Architecture with UML , 1999, WICSA.

[16]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[17]  Steve Vestal,et al.  The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2003 .

[18]  Chris W. Johnson.  The Application of Causal Analysis Techniques for Computer-Related Mishaps , 2003, SAFECOMP.

[19]  Marco Bozzano,et al.  ESACS: an integrated methodology for design and safety analysis of complex systems , 2003 .

[20]  Tim Kelly,et al.  Safety tactics for software architecture design , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..