fmiSwap: Run-time Swapping of Models for Co-simulation and Digital Twins
Authors:
Henrik Ejersbo,
Kenneth Lausdahl,
Mirgita Frasheri,
Lukas Esterle
Abstract:
Digital Twins represent a new and disruptive technology, where digital replicas of (cyber)-physical systems operate for long periods of time alongside their (cyber)-physical counterparts, with enabled bi-directional communication between them. However promising, the development of digital twins is a non-trivial problem, since what can initially be adequate models may become obsolete in time due to…
▽ More
Digital Twins represent a new and disruptive technology, where digital replicas of (cyber)-physical systems operate for long periods of time alongside their (cyber)-physical counterparts, with enabled bi-directional communication between them. However promising, the development of digital twins is a non-trivial problem, since what can initially be adequate models may become obsolete in time due to wear and tear of the physical components, accumulated errors, or the evolving interaction with the environment. As such, there is a clear need for mechanisms that support swapping in new models, as well changing model structures as a whole when necessary. To address this challenge, we propose in this paper a novel artefact, fmiSwap, that is FMI compliant and allows for run-time swapping in standalone co-simulations, where different strategies can be tested easily, as well in fully deployed DT settings with hardware in the loop. We adopt a water-tank case-study consisting of a tank and its controller to demonstrate how fmiSwap works and how it can support swaps in a safe manner.
△ Less
Submitted 20 March, 2023;
originally announced April 2023.
Towards Enabling Overture as a Platform for Formal Notation IDEs
Authors:
Luís Diogo Couto,
Peter Gorm Larsen,
Miran Hasanagić,
Georgios Kanakis,
Kenneth Lausdahl,
Peter W. V. Tran-Jørgensen
Abstract:
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages such as Java. This means newcomers to formal methods do not get the same user experience as with their favourite programming IDE. In order to improve thi…
▽ More
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages such as Java. This means newcomers to formal methods do not get the same user experience as with their favourite programming IDE. In order to improve this situation it is essential that efforts are combined so it is possible to reuse common features and thus not start from scratch every time. This paper presents the Overture platform where such a reuse philosophy is present. We give an overview of the platform itself as well as the extensibility principles that enable much of the reuse. The paper also contains several examples platform extensions, both in the form of new features and a new IDE supporting a new language.
△ Less
Submitted 16 August, 2015;
originally announced August 2015.
