Toggle Main Menu Toggle Search


A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems

Lookup NU author(s): Dr Peter Larsen, Dr Ken Pierce


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Neghina M, Zamfirescu C-B, Larsen PG, Lausdahl K, Pierce K

Publication type: Article

Publication status: Published

Journal: Studies in Informatics and Control

Year: 2018

Volume: 27

Issue: 4

Pages: 33-42

Print publication date: 30/03/2018

Acceptance date: 17/01/2018

ISSN (print): 1220-1766

ISSN (electronic): 1841-429X

Publisher: National Institute for R&D in Informatics (ICI)


DOI: 10.24846/v27i1y201804


Altmetrics provided by Altmetric


    Link to this publication