Abstract
Classical organization in disciplinary silos in the industry reaches its limits to manage complexity: problems are discovered too late and the lack of communication between experts prevents the early emergence of solutions. This is why it is urgent to provide new collaborative methods and ways to integrate various engineering fields, early in and all along the development cycle. In this context, we are particularly interested in the possible exchanges between two engineering fields: system architecture design and safety analysis. The questions are: how can one ensure that the parties involved are speaking about the same system? And which concepts can synchronize several engineering fields? First we present a use case: a system embedded in a helicopter. Second we present the concepts that we define to implement synchronization of models. Finally we give our feedbacks, limits and related works.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ISO-42010 Systems and Software Engineering - Architecture Description, December 2011
Arnold, P., Rahm, E.: Semantic enrichment of ontology mappings: a linguistic-based approach. In: Catania, B., Guerrini, G., Pokorný, J. (eds.) ADBIS 2013. LNCS, vol. 8133, pp. 42–55. Springer, Heidelberg (2013). doi:10.1007/978-3-642-40683-6_4
ATESST, Project: EAST-ADL Domain Model Specification, June 2010
Batteux, M., Prosvirnova, T., Rauzy, A.: System Structure Modeling Language (S2ML), hal-01234903, December 2015
Bozzano, M., Cimatti, A., Griggio, A., Mattarei, C.: Efficient anytime techniques for model-based safety analysis. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 603–621. Springer, Cham (2015). doi:10.1007/978-3-319-21690-4_41
Didonet, D., Fabro, M., Bézivin, J., Jouault, F., Breton, E.: AMW: a generic model weaver. 1ère Journées sur l’Ingènierie Dirigée par les Modèles (IDM 2005), hal-00448112, pp. 105–114 (2005)
Fada, M., Nga, N., Choley, J.Y.: SafeSysE: a safety analysis integration in systems engineering approach. IEEE Syst. J. 10, 1–12 (2016)
Feiler, P.H., Gluch, D.P., John, J.H.: The Architecture Analysis & Design Language (AADL). Software Engineering Institute, February 2006. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7879
Guychard, C., Guerin, S., Koudri, A., Beugnard, A., Dagnat, F.: Conceptual interoperability through models federation. In: Semantic Information Federation Community Workshop, Miami, United States, hal-00905036, October 2013
KLM: PFD process flow diagrams (project standards and specifications). http://kolmetz.com/pdf/ess/PROJECT_STANDARDS_AND_SPECIFICATIONS_process_flow_diagram_Rev1.2.pdf
Legendre, A., Lanusse, A., Rauzy, A.: Directions towards supporting synergies between design and probabilistic safety assessment activities: illustration on a fire detection system embedded in a helicopter. In: PSAM 2013. Korean Nuclear Society, Séoul, hal-01425309, October 2016
Legendre, A., Lanusse, A., Rauzy, A.: Model synchronisation between architecture system and risk analysis: which gain, how and why? In: CNRS (ed.) Conference: Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, Lambda Mu 20, IMdR, Saint Malo, France, hal-01425284, October 2016
Mauborgne, P., Deniaud, S., Levrat, E., Micaëlli, J.P., Bonjour, E., Lamothe, P., Loise, D.: Towards a safe systems engineering. INSIGHT 16, 21–23 (2013)
OMG: Business Process Model and Notation (BPMN) V2.0, January 2011
OMG: Systems Modeling Language (OMG SysML), September 2015
OMG: Unified Modeling Language (OMG UML), March 2015
Prosvirnova, T.: AltaRica 3.0: a model-based approach for safety analyses. Thesis, Ecole Polytechnique, tel-01119730, November 2014
Rosziati, I., Siow Yen, Y.: Formalization of the data flow diagram rules for consistency check. Int. J. Softw. Eng. Appl. (IJSEA) 1, 95–111 (2010)
SAEAerospace: ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, December 1996
SAEAerospace: ARP4754 Certification Considerations for Highly-Integrated or Complex Aircraft Systems, December 2010
Wouters, L., Kaeri, Y., Sugawara, K.: Multi-domain multi-lingual collaborative design. In: Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), pp. 269–274, June 2013
Yakymets, N., Perin, M., Lanusse, A.: Model-driven multi-level safety analysis of critical systems. In: SysCon (ed.) 2015 9th Annual IEEE International Systems Conference, pp. 570–577. IEEE, April 2015
Acknowledgments
This work is part of a PhD thesis contribution funded by CEA LIST and the DGA (the French Defense Procurement Agency). This thesis is co-supervised by Agnes LANUSSE at CEA LIST (Laboratory of Model Driven Engineering for Embedded systems), and Antoine RAUZY (Supervisor). I would also like to thank APSYS for allowing the dissemination of case studies.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Legendre, A., Lanusse, A., Rauzy, A. (2017). Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_3
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)