Abstract
The design complexity of modern safety critical systems presents various challenges for its safety assessment process. In recent years, Model-Based Safety Analysis (MBSA) has been proposed to achieve more-robust and effective safety assessment techniques through automation of the synthesis and analysis of predictive models. Two prominent paradigms of MBSA are Compositional Safety Analysis (CSA) and Behavioural Safety Analysis (BSA). These techniques have emerged with little integration. In this chapter, we present a technique which systematically integrates the application of CSA and BSA. The process starts from CSA and utilizes its analysis results to provide a systematic construction and refinement of state machines, which can be subsequently analyzed through BSA. An example of a car brake-by-wire system is presented to illustrate the application of the proposed technique.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. In: Software Practice and Experience. Wiley Interscience, Hoboken (2011), doi:10.1002/spe.1044; available online in advance of publication
Arnold, A., Gerald, P., Griffault, A., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fundamenta Informaticae 34, 109–124 (2000)
Bozzano, M., Villafiorita, A.: The FSAP/NuSMV safety analysis platform. International Journal on Software Tools for Technology Transfer 9, 5–2 (2006), doi:10.1007/s10009-006-0001-2
Colombo, D.: Brake-by-wire system development: technology and development process. Vehicle Systems-Active Control Systems Fiat Group (2007), http://staff.polito.it/enrico.canuto/Home_page/pdf/Incontro18gen2008/DColombo.pdf (accessed February 16, 2011 )
Cuenot, P., Chen, D., Gérard, S., Lönn, H., Reiser, M.-O., Servat, D., Kolagari, R.T., Törngren, M., Weber, M.: Towards improving dependability of automotive systems by using the EAST-ADL architecture description language. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol. 4615, pp. 39–65. Springer, Heidelberg (2007)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis and design language (AADL): an introduction (2006), http://www.dtic.mil/cgi-bin/GetTRDoc?Location=U2&doc=GetTRDoc.pdf&AD=ADA455842 (accessed February 16, 2011)
Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-event-based component failure annotations. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33–48. Springer, Heidelberg (2005)
Hedenetz, B., Belschner, R.: Brake-by-wire without mechanical backup using a TTP-Communication network. Society of automotive engineering, SAE 981109 (1998), http://www.vmars.tuwien.ac.at/projects/xbywire/projects/new-BBW.html (accessed February 16, 2011)
Heimdahl, M.P.E.: Formal model-based development in aerospace systems: challenges to adoption. Lecture notes, Software Engineering Center Critical Systems Research Group. University of Minnesota (2007)
Joshi, A., Whalen, M., Heimdahl, M.P.E.: Model-based safety analysis final report. University of Minnesota Advanced Technology Centre (2006)
Kaiser, B., Liggesmeyer, P., Mackel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Crucial Systems and Software, vol. 33, pp. 37–46 (2003)
Papadopoulos, Y.: Safety analysis of a distributed brake-by-wire systems for cars. ESPRIT 23396 (TTA) Deliverable, University of York (1998)
Walker, M., et al.: Review of relevant safety analysis techniques. Traffic Efficiency and Safety through Software Technology Phase 2 ATESST2 Report, University of Hull (2008)
Walker, M., Papadopoulos, Y.: PANDORA: The time of priority AND gates. In: IFAC Symposia on Information Control Problems in Manufacturing, pp. 237–242 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sharvia, S., Papadopoulos, Y. (2011). Integrated Application of Compositional and Behavioural Safety Analysis. In: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds) Dependable Computer Systems. Advances in Intelligent and Soft Computing, vol 97. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21393-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-21393-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21392-2
Online ISBN: 978-3-642-21393-9
eBook Packages: EngineeringEngineering (R0)