Model Synchronization: A Formal Framework for the Management of Heterogeneous Models

  • Michel Batteux
  • Tatiana ProsvirnovaEmail author
  • Antoine Rauzy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11842)


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.


Heterogeneous models Model synchronization S2ML 


  1. 1.
    Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New-York (1998)zbMATHGoogle Scholar
  2. 2.
    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 2018Google Scholar
  3. 3.
    Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica 3.0 in 10 modeling patterns. Int. J. Critical Comput.-Based Syst. (IJCCBS) 9, 133 (2019). Scholar
  4. 4.
    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 2018Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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).
  7. 7.
    Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann, The MK/OMG Press, San Francisco (2011)Google Scholar
  8. 8.
    Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach. Wiley-IEEE Press, Hoboken (2015)Google Scholar
  9. 9.
    Hermann, F., et al.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1), 241–269 (2015). Scholar
  10. 10.
    Klee, H., Allen, R.: Simulation of Dynamic Systems with MATLAB and Simulink. CRC Press, Boca Raton (2011)CrossRefGoogle Scholar
  11. 11.
    Krob, D.: CESAM: CESAMES Systems Architecting Method: A Pocket Guide. CESAMES, January 2017.
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Noble, J., Taivalsaari, A., Moore, I.: Prototype-Based Programming: Concepts. Languages and Applications. Springer, Heidelberg (1999)Google Scholar
  14. 14.
    Pierce, B.C.: Basic Category Theory of Computer Scientists. Foundations of Computing. MIT Press, Cambridge (1991)Google Scholar
  15. 15.
    Rauzy, A., Haskins, C.: Foundations for model-based systems engineering and model-based safety assessment. J. Syst. Eng. (2018). Scholar
  16. 16.
    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.
  17. 17.
    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).
  18. 18.
    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 2014Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Michel Batteux
    • 1
  • Tatiana Prosvirnova
    • 2
    • 3
    Email author
  • Antoine Rauzy
    • 4
  1. 1.IRT SystemXPalaiseauFrance
  2. 2.Laboratoire Genie Industriel, CentraleSupélecGif-sur-YvetteFrance
  3. 3.ONERA/DTIS, UFTMiPToulouseFrance
  4. 4.Norwegian University of Science and TechnologyTrondheimNorway

Personalised recommendations