Monday , June 18 2018

Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems

Mihai NEGHINA1*, Constantin-Bala ZAMFIRESCU1, Peter Gorm LARSEN2, Kenneth LAUSDAHL2, Ken PIERCE3 
1 Lucian Blaga University of Sibiu, Faculty of Engineering, Department of Computer Science and Automatic Control,
4 Emil Cioran Street, Sibiu, 550025, Romania
{mihai.neghina,zbcnanu} (*Corresponding author)
2 Aarhus University, Department of Engineering, Inge Lehmanns Gade 10, 8000 Aarhus C, Denmark
3 School of Computing Science, Newcastle University, 1 Science Square, Science Central,
Newcastle upon Tyne, NE4 5TG, UK

ABSTRACT: In the modelling of Cyber-Physical Systems (CPSs), there are different possible routes that can be followed to gradually achieve a collection of constituent models that can be co-simulated with a high level of accuracy. This paper demonstrates a methodology which initially develops all constituent models at a high level of abstraction with discrete-event models expressed using the Vienna Development Method (VDM). Subsequently, a number of these are refined (without changing the interfaces) by more detailed models expressed in different formalisms, and using tools that can export Functional Mock-up Units (FMUs) for co-simulation through the Functional Mock-up Interface (FMI) standard. The development team of each of these more detailed models can then experiment with the interactions with all the other constituent models, using the high-level discrete-event versions until higher-fidelity alternatives are ready. The results reported in this paper were obtained in an innovation experiment within the EU CPSE Labs research project, part of Smart Anything Everywhere initiative.

KEYWORDS: Co-Simulation, Cyber-physical Production Systems, Heterogeneous modelling.


Mihai NEGHINA*, Constantin-Bala ZAMFIRESCU, Peter Gorm LARSEN, Kenneth LAUSDAHL, Ken PIERCE, Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems, Studies in Informatics and Control, ISSN 1220-1766, vol. 27(1), pp. 33-42, 2018.