Generation of an optimised master algorithm for FMI co-simulation

Model-based Systems Engineering plays a pivotal role in the design of Software-Intensive and Cyber-Physical Systems by enabling early virtual integration of the different parts of the system. Often multiple formalisms are combined to express the behaviour of these complex engineered systems. Co-simulation in general and the Functional Mock-up Interface specifically, is a technique to simulate multiple heterogeneous models in concert. However, usage and performance of the overall co-simulation does not only depend on the accuracy of the distinct heterogeneous models. It also depends on the co-simulation master: the orchestration mechanism for this simultaneous simulation. In this paper we report on a technique to increase the performance of co-simulation. We explicitly model a co-simulation setup, using language engineering techniques. An explicit model of the co-simulation allows to automatically generate an optimised orchestration algorithm compliant to the Functional Mock-up Interface standard.

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

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

[3]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[4]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

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

[6]  Hans Vangheluwe,et al.  FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.

[7]  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).

[8]  Xiaochen Zhang,et al.  A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation , 2012, SIMULTECH.

[9]  Peter Schneider,et al.  Master for Co-Simulation Using FMI , 2011 .

[10]  Gabor Karsai,et al.  Co-simulation framework for design of time-triggered cyber physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[11]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[12]  Pieter J. Mosterman,et al.  Towards Computational Hybrid System Semantics for Time-Based Block Diagrams , 2009, ADHS.

[13]  Hans Vangheluwe,et al.  Generation of functional mock-up units for co-simulation from simulink®, using explicit computational semantics: work in progress paper , 2014, SpringSim.

[14]  C. Kelley Iterative Methods for Linear and Nonlinear Equations , 1987 .

[15]  Hans Vangheluwe,et al.  AToMPM: A Web-based Modeling Environment , 2013, MoDELS.

[16]  Hans Vangheluwe,et al.  Generation of co-simulation compliant functional mock-up units from simulink, using explicit computational semantics , 2014 .