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

Mihai NEGHINA^1*, Constantin-Bala ZAMFIRESCU¹, Peter Gorm LARSEN², Kenneth LAUSDAHL², Ken PIERCE³
¹ 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}@gmail.com (^*Corresponding author)
² Aarhus University, Department of Engineering, Inge Lehmanns Gade 10, 8000 Aarhus C, Denmark
{pgl,lausdahl}@eng.au.dk
³ School of Computing Science, Newcastle University, 1 Science Square, Science Central,
Newcastle upon Tyne, NE4 5TG, UK
kenneth.pierce@newcastle.ac.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.

>>FULL TEXT: PDF

CITE THIS PAPER AS:
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. https://doi.org/10.24846/v27i1y201804