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 discreteevent 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.
Co-Simulat
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
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).