Abstract
In this article, we present the conceptual foundations and implementation principles of model synchronization, a formal framework for the management of heterogeneous models. The proposed approach relies on S2ML (System Structure Modeling Language) as a pivot language. We show, by means of a case study, that model synchronization can be used to ensure the consistency between system architecture models designed with Capella and safety models written in AltaRica 3.0.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New-York (1998)
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. Critical Comput.-Based Syst. (IJCCBS) 9, 133 (2019). https://doi.org/10.1504/IJCCBS.2019.10020023
Batteux, M.B., Prosvirnova, T., Rauzy, A., Yang, L.: Reliability assessment of phased-mission systems with AltaRica 3.0. In: 3rd International Conference on System Reliability and Safety (ICSRS 2018), Barcelone, Spain, November 2018
Bouissou, M., Bon, J.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82, 149–163 (2003)
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction of approximations of fixpoints. In: Proceedings of the 4th ACM-Sigplan Symposium on Principles of Programming Languages, POPL 1977, pp. 238–252. ACM, Los Angeles (1977). https://doi.org/10.1145/512950.512973
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)
Hermann, F., et al.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1), 241–269 (2015). https://doi.org/10.1007/s10270-012-0309-1
Klee, H., Allen, R.: Simulation of Dynamic Systems with MATLAB and Simulink. CRC Press, Boca Raton (2011)
Krob, D.: CESAM: CESAMES Systems Architecting Method: A Pocket Guide. CESAMES, January 2017. http://www.cesames.net
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)
Noble, J., Taivalsaari, A., Moore, I.: Prototype-Based Programming: Concepts. Languages and Applications. Springer, Heidelberg (1999)
Pierce, B.C.: Basic Category Theory of Computer Scientists. Foundations of Computing. MIT Press, Cambridge (1991)
Rauzy, A., Haskins, C.: Foundations for model-based systems engineering and model-based safety assessment. J. Syst. Eng. (2018). https://doi.org/10.1002/sys.21469
Roques, P.: MBSE with the ARCADIA method and the Capella tool. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016. https://hal.archives-ouvertes.fr/hal-01258014
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, 19–21 February 2013, Barcelona, Spain, 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
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Batteux, M., Prosvirnova, T., Rauzy, A. (2019). Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science(), vol 11842. Springer, Cham. https://doi.org/10.1007/978-3-030-32872-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-32872-6_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32871-9
Online ISBN: 978-3-030-32872-6
eBook Packages: Computer ScienceComputer Science (R0)