Integration of UML models in FMI-Based co-simulation

Due to both an increase of business competition and design constraints, the complexity of Cyber Physical Systems (CPS) is reaching the limits of the human capabilities to think and then to design safe, secure, performant and reliable systems. Extensive use of modeling and simulation (Model-based Systems Engineering) throughout the systems development life-cycle is one of the most important ways to effectively go beyond this limit. One important feature of CPS is their heterogeneity involving designers from several disciplines for multiple interconnected and interactive components. Designing and validating these systems requires co-modeling and co-simulating these heterogeneous components. While simulators and specific modeling tools exist for each individual domain, UML can be used for modeling cyber components, and it is now possible to simulate these models with standard execution semantics by relying on Executable UML OMG specifications. This work aims at providing a co-simulation environment for CPS in Papyrus (the open-source UML/SysML modeler of the Eclipse foundation), to ensure the proper integration of UML models in a co-simulation approach. The approach relies on the co-simulation standard FMI, and the formal semantics foundation of UML (fUML [8]) for the execution of UML models.

[1]  David Broman,et al.  Determinate composition of FMUs for co-simulation , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[2]  Johannes F. Broenink,et al.  Hybrid systems modelling and simulation in DESTECS: A co-simulation approach , 2012 .

[3]  Hanifa Boucheneb,et al.  Semantics for Model-Based Validation of Continuous/Discrete Systems , 2008, 2008 Design, Automation and Test in Europe.

[4]  Richard L. Wexelblat.  History of programming languages I , 1978 .

[5]  Richard E. Nance,et al.  A history of discrete event simulation programming languages , 1993, HOPL-II.

[6]  Stavros Tripakis,et al.  Bridging the semantic gap between heterogeneous modeling formalisms and FMI , 2015, 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

[7]  Bart Meyers,et al.  Explicit semantic adaptation of hybrid formalisms for FMI co-simulation , 2015, SpringSim.

[8]  Erik Herzog,et al.  Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems , 2010, Syst. Eng..

[9]  Edward A. Lee,et al.  Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow , 1997, J. VLSI Signal Process..

[10]  Hans Vangheluwe,et al.  Generation of an optimised master algorithm for FMI co-simulation , 2015, SpringSim.

[11]  Stéphane Vialle,et al.  FMI-based distributed multi-simulation with DACCOSIM , 2015, SpringSim.

[12]  Sébastien Gérard,et al.  Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments , 2015, EXE@MoDELS.

[13]  Christophe Jacquet,et al.  Semantic Adaptation for Models of Computation , 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.

[14]  Peter Palensky,et al.  The high level architecture RTI as a master to the functional mock-up interface components , 2013, 2013 International Conference on Computing, Networking and Communications (ICNC).