Abstract
Safety analyses are of paramount importance for the development of embedded systems. In order to perform these analyses, safety engineers use different modeling techniques, such as, for instance, Fault Trees or Reliability Block Diagrams. One of the industrial development process challenges today is to ensure the consistency between safety models and system architectures.
Model Based Safety Analysis (MBSA) is one of the newest modeling methods, which promises to ease the exchange of information between safety engineers and system designers. The aim of this article is to discuss an approach to manage the consistency between MBSA models and system architectures.
Our study is based on the experimentation of the co-design of an RPAS (Remotely Piloted Aircraft System) involving system design and safety teams during the early conception phases of an industrial development process. We simulate the process of exchange between the system design and the safety assessment with the constraint of creating safety models close to system architecture. We identify significant exchange points between these two activities. We also discuss the encountered problems and perspectives on the possibility to ensure the consistency between safety and system models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
SAE, ARP4754A: Guidelines for development of civil aircraft and systems (2010)
SAE, ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne system and equipment (1996)
Point, G., Rauzy, A.: AltaRica: constraint automata as a description language. J. Européen des Systèmes Automatisés 33(8–9), 1033–1052 (1999)
Rauzy, A.: Modes automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1–12 (2002)
Bouissou, M., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools. In: Proceedings of SAFECOMP 1991, Trondheim, Norway (1991)
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Exper. 41(11), 1303–1327 (2011)
Güdemann, M., Ortmeier, F.: A framework for qualitative and quantitative model-based safety analysis. In: Proceedings of HASE (2010)
Delange, J., Feiler, P., Gluch, D., Hudak, J.: AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Carnegie Mellon University, Pittsburgh (2014)
Cancila, D., Terrier, F., Belmonte, F., Dubois, H., Espinoza, H., Gerard, S., Cuccuru, A.: SOPHIA: a modeling language for model-based safety engineering. In: MoDELS 2009 ACES-MB Workshop Proceedings, Denver, CO, USA (2009)
Prosvirnova, T., Batteux, M., Brameret, P.-A., Cherfi, A., Friedlhuber, T., Roussel, J.-M., Rauzy, A.: The AltaRica 3.0 project for model-based safety assessment. In: Proceedings of IFAC Workshop on Dependable Control of Discrete Systems, York (Great Britain) (2013)
EASA, CS-25: Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes, Amendment 12 (2012)
INCOSE website. http://www.incose.org/AboutSE/WhatIsSE
Batteux, M., Prosvirnova, T., Rauzy, A.: System Structure Modeling Language (S2ML) specification (2015)
ISO 15288: Systems Engineering – System Life-Cycle Processes (2015)
ISO 24748-2: Systems and software engineering - Life cycle management - Part 2: Guide to the application of ISO/IEC 15288 (System life cycle processes) (2011)
Zeller, M., Höfig, K.: INSiDER: incorporation of system and safety analysis models using a dedicated reference mode. In: Proceedings of RAMS, Tucson, AZ, pp. 1–6 (2016)
Getir, S., Tichy, M., van Horn, A., Grunske, L.: Co-evolution of software architecture and fault tree models: an explorative case study on a pick and place factory automation system. In: Proceedings of the 5th International Workshop on Non-functional Properties in Modeling, Miami, USA, 29 September 2013
Acknowledgements
The authors thank all people and industrial partners involved in the MOISE project. This work is supported by the French Research Agency (ANR) and by the industrial partners of IRT Saint-Exupery Scientific Cooperation Foundation (FCS).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P. (2017). Handling Consistency Between Safety and System Models. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)