Toggle Main Menu Toggle Search

Open Access padlockePrints

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

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



This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).


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

Date deposited: 09/01/2019

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


Funder referenceFunder name