Integration of UML models in FMI-based co-simulation
Résumé
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.