Abstract
To face the growing complexity of technical systems, engineers have to design models in order to perform simulations. To avoid inconsistencies, the integration of different models coming from various engineering disciplines is one of nowadays main industrial challenges. In this article we present model synchronization, a framework to ensure consistency between models coming from different engineering domains, based on S2ML (System Structure Modeling Language). We show how the introduced framework can be used to handle consistency between system architecture models (using SysML language), safety models (using AltaRica 3.0 language) and multi-physics simulation models (using Modelica language).
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
Batteux, M., Prosvirnova, T., Rauzy, A.: From models of structures to structures of models. In: 4th IEEE International Symposium on Systems Engineering, ISSE 2018, Rome, Italy, October 2018
Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica 3.0 in 10 modeling patterns. Int. J. Crit. Comput. Based Syst. (IJCCBS) 9, 133 (2019). https://doi.org/10.1504/IJCCBS.2019.10020023
David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using sysml. Reliab. Eng. Syst. Saf. 95(4), 431–450 (2010)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann/The MK/OMG Press, San Francisco (2011)
Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach. Wiley-IEEE Press, Hoboken (2015)
Legendre, A., Lanusse, A., Rauzy, A.: Toward model synchronization between safety analysis and system architecture design in industrial contexts. In: Marco Bozzano, Y.P. (ed.) Model-Based Safety and Assessment, Proceedings of the 5th International Symposium, IMBSA 2017, Trento, Italy, 11–13 September 2017, vol. 10437, pp. 35–49. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64119-5_3
Mauborgne, P., Deniaud, S., Levrat, E., Bonjour, E., Micaëlli, J.P., Loise, D.: Operational and system hazard analysis in a safe systems requirement engineering process – application to automotive industry. Saf. Sci. 87, 256–268 (2016)
Missaoui, S., Mhenni, F., Choley, J., Nguyen, N.: Verification and validation of the consistency between multi-domain system models. In: 2018 Annual IEEE International Systems Conference (SysCon), pp. 1–7, April 2018. https://doi.org/10.1109/SYSCON.2018.8369561
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models. In: IMBSA 2017 (International Symposium on Model-Based and Assessment), Trento, Italy, pp. 19–34 (2017). https://doi.org/10.1007/978-3-319-64119-5_2
Schamai, W., Fritzson, P., Paredis, C., Pop, A.: Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. In: Proceedings of the 7th International Modelica Conference (2009). https://doi.org/10.3384/ecp09430081
Stephan, M., Cordy, J.R.: A survey of model comparison approaches and applications. In: MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19–21 February 2013, pp. 265–277 (2013). https://doi.org/10.5220/0004311102650277
Yakymets, N., Julho, Y.M., Lanusse, A.: Sophia framework for model-based safety analysis. In: Actes du congrès Lambda-Mu 19 (actes électroniques). Institut pour la Maîtrise des Risques, Dijon, France, October 2014
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Batteux, M. et al. (2020). Synchronization of System Architecture, Multi-physics and Safety Models. In: Boy, G., Guegan, A., Krob, D., Vion, V. (eds) Complex Systems Design & Management. CSDM 2019. Springer, Cham. https://doi.org/10.1007/978-3-030-34843-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-34843-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-34842-7
Online ISBN: 978-3-030-34843-4
eBook Packages: EngineeringEngineering (R0)