HintCO - Hint-based Configuration of Co-simulations

Simulation-based analyses of Cyber-Physical Systems are fundamental in industrial design and testing approaches. The utility of analyses relies on the correct configuration of the simulation tools, which can be highly complicated. System engineers can normally judge the results, and either evaluate multiple simulation algorithms, or change the models. However, this is not possible in a co-simulation approach. Co-simulation is a technique to perform full-system simulation, by combining multiple black-box simulators, each responsible for a part of the system. In this paper, we demonstrate the difficulty of correctly configuring a co-simulation scenario using an industrial case study. We propose an approach to tackle this challenge by allowing multiple engineers, specialized in different domains, to encode some of their experience in the form of hints. These hints, together with state-of-the-art best practices, are then used to semi-automatically guide the configuration process of the co-simulation. We report the application of this approach to a use case proposed by our industrial partners, and discuss some of the lessons learned.

[1]  Casper Thule,et al.  Semantic adaptation for FMI co-simulation with hierarchical simulators , 2019, Simul..

[2]  Eilif Pedersen,et al.  Energy conservation and power bonds in co-simulations: non-iterative adaptive step size control and error estimation , 2016, Engineering with Computers.

[3]  Werner Schiehlen,et al.  Two Methods of Simulator Coupling , 2000 .

[4]  Gerald Schweiger,et al.  Functional Mock-up Interface: An empirical survey identifies research challenges and current barriers , 2019, Proceedings of The American Modelica Conference 2018, October 9-10, Somberg Conference Center, Cambridge MA, USA.

[5]  Daniel Simon,et al.  CHOPtrey: contextual online polynomial extrapolation for enhanced multi-core co-simulation of complex systems , 2016, Simul..

[6]  Hans Vangheluwe,et al.  Design-space exploration in model driven engineering : an initial pattern catalogue , 2014, MODELS 2014.

[7]  Petter Krus Modeling of Mechanical Systems Using Rigid Bodies and Transmission Line Joints , 1999 .

[8]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[9]  Casper Thule,et al.  Co-simulation of Continuous Systems: A Tutorial , 2018, ArXiv.

[10]  Bernhard Schweizer,et al.  Coupled simulation of multibody and finite element systems: an efficient and robust semi-implicit coupling approach , 2012 .

[11]  Martin Benedikt,et al.  Automated configuration for non-iterative co-simulation , 2016, 2016 17th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE).

[12]  David Broman,et al.  Co-Simulation , 2018, ACM Comput. Surv..

[13]  József Kövecses,et al.  Energy-leak monitoring and correction to enhance stability in the co-simulation of mechanical systems , 2019, Mechanism and Machine Theory.

[14]  Hans Vangheluwe,et al.  Increasing the performance of a Discrete Event System Specification simulator by means of computational resource usage “activity” models , 2017, Simul..

[15]  Lars Grunske,et al.  Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar , 2015, IEEE Transactions on Software Engineering.

[16]  B. Schweizer,et al.  Explicit and Implicit Cosimulation Methods: Stability and Convergence Analysis for Different Solver Coupling Approaches , 2015 .

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

[18]  Martin Arnold,et al.  Error Analysis and Error Estimates for Co-Simulation in FMI for Model Exchange and Co-Simulation V2.0 , 2013 .

[19]  Martin Benedikt,et al.  Hierarchical Coupling Approach Utilizing Multi-Objective Optimization for Non-Iterative Co-Simulation , 2019, Modelica.

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

[21]  Antonio Vallecillo,et al.  The experiment model and validity frame in M&S , 2017, SpringSim.

[22]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .

[23]  Martin Benedikt,et al.  NEPCE - A nearly energy-preserving coupling element for weak-coupled problems and co-simulation , 2013 .

[24]  Michael Karner,et al.  Model-based configuration of automotive co-simulation scenarios , 2015, SpringSim.

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

[26]  H. Vangheluwe,et al.  An introduction to multi-paradigm modelling and simulation. , 2002 .