The thesis is about integrating runtime monitoring in architectures for co-simulation. Co-simulation is a technique to connect different simulators. It is very interesting to link simulators to runtime monitoring, because it connects models directly to the system which is modelled, at real time.
In this thesis, the challenge is to develop an encapsulation of runtime monitors which allows integration into co-simulation frameworks. For this purpose, we need to develop support for the FMI interface standard for co-simulation, the RTLola runtime monitoring framework and the SMOL framework for co-simulation. The Functional Mock-Up Interface (FMI) is an industry standard to exchange data between dynamic simulation models. The Semantic Micro Object Language (SMOL) is a cutting-edge programming language for programming digital twins developed at ifi, in which simulation modules can be booted up and integrated in digital twins on the fly. A recent research paper proposes how a similar approach for first-order logic-based monitors and can provide a starting point for the thesis. In contrast to this paper, we consider monitors programmed using stream programming instead of first-order logic. A possible extension of the work in the thesis could be to compare the two different kinds of monitors in the context of co-simulation in SMOL.
RTLola is a temporal stream-based specification language designed for specifying and analysing the behavior of cyber-physical systems, where timing is a critical issue.
The thesis is suitable for students who are interested in programming and programming languages, component integration, or simulation and digital twin frameworks. The thesis involves programming an interface layer which allows runtime monitors written in RTLola to be integrated in SMOL programs via the FMI interface. It is also possible to do an exchange with the IMDEA institute in Madrid, to work directly with the developers of RTLola, if you are interested in a study semester abroad.
Relevant links:
- FMI: https://fmi-standard.org/
- RTLola: https://www.react.uni-saarland.de/tools/rtlola/
- SMOL: https://smolang.org/
- Digital twins: https://en.wikipedia.org/wiki/Digital_twin
- A recent relevant paper is available here