[MA] Investigating the Fidelity of Models@run.time

Runtime models reflect the state of a system they abstract using a causal connection between the running system and the runtime representation. This causal connection in turn is realized using monitoring/observation and actuating techniques. A particularly interesting question in this context is, how the fidelity of the runtime model can be assessed and quantified. In other words, if the running system changes, how long does it take for the runtime model to be updated. This has to be investigated together with how of the running system changes. This would allow to identify, e.g., if the running system changes faster than the runtime model can follow. Or it allows for the identification of real-time properties, i.e., whether real-time constraints can be meet by the runtime model. As an AFT, the task is to collect and analyze the current state of the art in fidelity assessment of runtime models. For a DA or MA, additionally, an existing system should be enhanced with a fidelity assessment module. For an FPA our existing prototype RAGConnect should be extended with the respective functionality.

Betreuer: Sebastian Götz