Co-simulation: The Past, Future, and Open Challenges

In the engineering of heterogeneous systems, there have always been challenges related to ensuring a common understanding of the interfaces between the constituent systems.

[1]  Eva M. Navarro-López,et al.  Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems , 2012, FORMATS.

[2]  Niki Popper,et al.  On the terminology and structuring of co-simulation methods , 2017, EOOLT.

[3]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[4]  Nicolai Pedersen,et al.  Co-simulation of cyber physical systems with HMI for human in the loop investigations , 2017, SpringSim.

[5]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[6]  Hans Vangheluwe,et al.  Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios , 2017, SEFM Workshops.

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

[8]  James A. Rowson,et al.  Hardware / Software Co-Simulation , 2000 .

[9]  Jakob Stoustrup,et al.  51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition , 2013 .

[10]  Huei Peng,et al.  Differential-Braking-Based Rollover Prevention for Sport Utility Vehicles with Human-in-the-loop Evaluations , 2001 .

[11]  Ernst Hairer,et al.  Solving Ordinary Differential Equations I: Nonstiff Problems , 2009 .

[12]  David J. Murray-Smith,et al.  Continuous System Simulation , 1994 .

[13]  H. Harry Asada,et al.  Co-simulation of algebraically coupled dynamic subsystems using discrete-time sliding mode , 2001 .

[14]  Hilding Elmqvist,et al.  The DSblock Model Interface for Exchanging Model Components , 1995, EUROSIM.

[15]  Niels Jørgensen,et al.  The Boeing 777: Development Life Cycle Follows Artifact , 2006 .

[16]  Hans Vangheluwe,et al.  DEVS for AUTOSAR-based system deployment modeling and simulation , 2017, Simul..

[17]  Alexandre Chapoutot,et al.  Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods , 2013, NASA Formal Methods.

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

[19]  R. M. Fujimoto,et al.  Parallel discrete event simulation , 1989, WSC '89.

[20]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man and Cybernetics.

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

[22]  Werner Schiehlen,et al.  Modular Simulation in Multibody System Dynamics , 2000 .

[23]  Oded Maler,et al.  Approximating Continuous Systems by Timed Automata , 2008, FMSB.

[24]  Paul F. Reynolds,et al.  A case study of model context for simulation composability and reusability , 2005, Proceedings of the Winter Simulation Conference, 2005..

[25]  William J. McCalla.  Fundamentals of Computer-Aided Circuit Simulation , 1987 .

[26]  Julien DeAntoni,et al.  Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements , 2018, RAPIDO '18.

[27]  Peter Palensky,et al.  Cosimulation of Intelligent Power Systems: Fundamentals, Software Architecture, Numerics, and Coupling , 2017, IEEE Industrial Electronics Magazine.

[28]  David Broman,et al.  Requirements for Hybrid Cosimulation , 2014 .

[29]  Bei Gu,et al.  Co-simulation of algebraically coupled dynamic subsystems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[30]  Ahmed M. El-Garhy,et al.  Fuzzy Life-Extending Control of Anti-Lock Braking System , 2013 .

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

[32]  Pieter J. Mosterman,et al.  Model-Based Design of a Power Window System: Modeling, Simulation, and Validation , 2003 .

[33]  Sidney A. Davis,et al.  Feedback and control systems , 1974 .

[34]  D. C. Miller,et al.  SIMNET: the advent of simulator networking , 1995, Proc. IEEE.

[35]  Edward H. Glaessgen,et al.  The Digital Twin Paradigm for Future NASA and U.S. Air Force Vehicles , 2012 .

[36]  Herman Van der Auweraer,et al.  Virtual engineering at work: the challenges for designing mechatronic products , 2012, Engineering with Computers.

[37]  David Broman,et al.  Co-simulation: State of the art , 2017, ArXiv.

[38]  Gerald Schweiger,et al.  Co-Simulation – an Empirical Survey: Applications, Recent Developments and Future Challenges , 2018 .

[39]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[40]  Alberto L. Sangiovanni-Vincentelli,et al.  Relaxation-based electrical simulation , 1983, IEEE Transactions on Electron Devices.

[41]  Hamid R. Parsaei,et al.  Principles of concurrent engineering , 1993 .

[42]  Sebastián Uchitel,et al.  Enhancing architectural mismatch detection with assumptions , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[43]  Eric G. Manning,et al.  Distributed Simulation Using a Network of Processors , 1979, Comput. Networks.

[44]  Fabian Immler,et al.  Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations , 2014, NASA Formal Methods.

[45]  David Broman,et al.  Hybrid co-simulation: it’s about time , 2018, Software & Systems Modeling.

[46]  Julien DeAntoni,et al.  Towards the Verification of Hybrid Co-simulation Algorithms , 2018, STAF Workshops.

[47]  Ming-Chang Shih,et al.  Simulated and experimental study of hydraulic anti-lock braking system using sliding-mode PWM control , 2003 .

[48]  Farhad Arbab,et al.  An overview of manifold and its implementation , 1993, Concurr. Pract. Exp..

[49]  Frédéric Boulanger,et al.  Simulation of Multi-Formalism Models with ModHel'X , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[50]  Waguih ElMaraghy,et al.  Complexity of Multi-Disciplinary Design , 2007 .

[51]  Andreas Himmler.  Hardware-in-the-Loop Technology Enabling Flexible Testing Processes , 2013 .

[52]  Karl Johan Åström,et al.  Evolution of Continuous-Time Modeling and Simulation , 1998, ESM.

[53]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[54]  Andreas Junghanns,et al.  The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .

[55]  Peter Gorm Larsen,et al.  Development of a Driverless Lawn Mower Using Co-simulation , 2017, SEFM Workshops.

[56]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[57]  Nicolai Pedersen,et al.  Distributed Co-simulation of Embedded Control Software Using INTO-CPS , 2017, SIMULTECH.

[58]  Nicolai Pedersen,et al.  Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS , 2017, SIMULTECH.

[59]  Huai Liu,et al.  Metamorphic Testing , 2018, ACM Comput. Surv..

[60]  Xiaobin Zhang,et al.  Co-simulation platforms for co-design of networked control systems: An overview , 2014 .

[61]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[62]  E. Hairer,et al.  Solving Ordinary Differential Equations II , 2010 .

[63]  D. Morgan,et al.  Collaborative virtual prototyping and test , 1998 .

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

[65]  Ahmed Amine Jerraya,et al.  Hardware, software and mechanical cosimulation for automotive applications , 1998, Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237).

[66]  Raphaël M. Jungers,et al.  Stable Adaptive Co-simulation: A Switched Systems Approach , 2019, IUTAM Symposium on Solver-Coupling and Co-Simulation.

[67]  Hans Vangheluwe,et al.  Simulation for the future: progress of the Esprit Basic Research Working Group 8467 , 1996 .

[68]  Michael Günther,et al.  Preconditioned Dynamic Iteration for Coupled Differential-Algebraic Systems , 2001 .