Failure modelling in software architecture design for safety

ABSTRACT

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.

REFERENCES

• 1: Causation. in Sosa, E. and Tooley, M. eds., Oxford University Press, Oxford; New York, 1993.
• 2: Failures-Divergence Refinement. FDR2 User Manual. Formal Systems (Europe) Ltd, 2003.
• 3: Process Behaviour Explorer. ProBE User Manual. Formal Systems (Europe) Ltd, 2003.
• 4: Robert John Allen , David Garlan, A formal approach to software architecture, 1997
• 5: André Arnold , Gérald Point , Alain Griffault , Antoine Rauzy, The AltaRica formalism for describing concurrent systems, Fundamenta Informaticae, v.40 n.2-3, p.109-124, Nov. 1999
• 6: Paul Clements , Rick Kazman, Software Architecture in Practices, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
• 7: Bozzano, M., Villafiorita, A., Åkerlund, O., Bieber, P., Bougnol, C., Böde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Lüdtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L. and Zacco, G., ESACS: an integrated methodology for design and safety analysis of complex systems. in Proceedings of European Safety and Reliability Conference (ESREL 2003), Balkema Publisher.
• 8: Steve Easterbrook , Robyn Lutz , Richard Covington , John Kelly , Yoko Ampo , David Hamilton, Experiences Using Lightweight Formal Methods for Requirements Modeling, IEEE Transactions on Software Engineering, v.24 n.1, p.4-14, January 1998 [doi>10.1109/32.663994 ]
• 9: Feiler, P. H., Lewis, B. and Vestal, S., The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. In RTAS 2003 Workshop on Model-Driven Embedded Systems, (2003).
• 10: Peter Fenelon , John A. McDermid, An integrated tool set for software safety analysis, Journal of Systems and Software, v.21 n.3, p.279-290, June 1993 [doi>10.1016/0164-1212(93)90029-W]
• 11: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 12: Christine Hofmeister , Robert L. Nord , Dilip Soni, Describing Software Architecture with UML, Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), p.145-160, February 22-24, 1999
• 13: Johnson, C., The Application of Causal Analysis Techniques for Computer-Related Mishaps. in Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), (Edinburgh, UK, 2003), Springer Verlag, 368--381.
• 14: Ladkin, P. and Loer, K. Why-Because Analysis: Formal Reasoning About Incidents. Technischen Fakultat der Universitat Bielefeld, Germany, Bielefeld, Technical Report, Document RVS-Bk-98-01, 1998.
• 15: Nancy G. Leveson, Safeware: system safety and computers, ACM Press, New York, NY, 1995
• 16: Leveson, N., A Systems Model of Accidents. in Proceedings of the 20th International Conference of the System Safety Society, (Unionville, U.S.A., 2002), International Systems Safety Society, 476--486.
• 17: Lions, J. L. ARIANE 5: Flight 501 failure, Paris, Ariane 5 Inquiry Board Report, 1996.
• 18: Gavin Lowe, Casper: a compiler for the analysis of security protocols, Journal of Computer Security, v.6 n.1-2, p.53-84, Sept. 1998
• 19: McDermid, J. A. and Pumfrey, D. J., A Development of Hazard Analysis to aid Software Design. in Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS '94), (Gaithersburg, 1994), IEEE, 17--25.
• 20: Perrow, C. Normal Accidents: Living with High Risk Technologies,. Basic Books, New York, 1984.
• 21: A. W. Roscoe , C. A. R. Hoare , Richard Bird, The Theory and Practice of Concurrency, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 22: Selic, B. UML-RT: A profile for modeling complex real-time architectures. ObjecTime Limited, 1999.
• 23: Weihang Wu , Tim Kelly, Safety Tactics for Software Architecture Design, Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), p.368-375, September 28-30, 2004
• 24: Jeffrey M. Voas , Gary McGraw, Software fault injection: inoculating programs against errors, John Wiley & Sons, Inc., New York, NY, 1997

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

General Terms:
Design, Languages, Reliability, Verification

Keywords:
CSP, failure modelling, safety analysis, software architectures