RuMorS, (RUntime MOnitoRing for Software-intensive systems) aims to aid engineers in

1. Discovering, analyzing, and selecting relevant information about the system’s behavior
   such as functional requirements or safety-related behavior.
2. Creating monitors in order to observe and ensure the correct behavior of the system and interplay among hardware, software, and human actors.
3. Describing expected human behavior and monitoring this behavior at runtime to ensure that the system adheres to its (often safety-critical) prescriptions.

This project is funded by the Linz Institute of Technology LIT (2020 - 2023)