Browse by author
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.
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
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)
Altmetrics provided by Altmetric