In our group, we are developing a digital twin that visualizes the climate pressure on the Oslo Fjord. The digital twin includes sensor measurements in the fjord that can be used to predict and analyse environmental events. It also has the ability to incorporate these measurements into further simulations.
In this master’s thesis, you will extend the existing digital twin by enhancing its runtime monitoring capabilities. In particular, the runtime monitoring component should be extended to support specifications expressed in Signal Temporal Logic (STL). This will enable the digital twin to formally specify, monitor, and assess temporal properties of sensor data and simulation results during execution.
For this purpose, the tool CauMon should be considered as a basis for integrating STL-based runtime monitoring. The thesis will investigate how STL specifications and CauMon can be incorporated into the digital-twin workflow, including the processing of sensor measurements and the evaluation of simulation outputs. This master’s thesis provides insights into simulation techniques based on meteorological models, data-driven techniques for processing sensor measurements, and formal methods for runtime verification.
A Digital Twin for the Oslo Fjord: https://ebjohnsen.org/project/oslofjord/
Runtime monitoring framework: https://ebjohnsen.org/publication/26-rv/
CauMon — a tool for STL monitoring: https://link.springer.com/chapter/10.1007/978-3-031-71177-0_18