Real-time monitoring of Cyber-physical is essential for guaranteeing proper system behavior. RTLola is a monitoring toolkit that provides a high-level language for expressing temporal logic constraints on data streams. Although RTLola supports parameterization and integrates easily with various data sources, it lacks native support for enumerated variables. This limitation makes it difficult to express certain monitoring requirements. As a result, users often have to rely on workarounds involving multiple streams or complex if-else statements. These solutions can be inefficient in terms ofstorage and add unnecessary complexity, making the RTLola specifications harder to read and maintain. This thesis proposes extending RTLola to include support for enumerations to address this limitation. The extension introduces new features that allow RTLola to work with enumerated data. As a result, system monitoring can be more thorough and efficient, enabling it to handle complex monitoring needs that involve enumerated values.

We demonstrate the power of our extension with a few examples of RTLola specification scenarios, and evaluate this using quantitative metrics such as Cyclomatic Complexity, Halstead Complexity Measure, Lines of code, and Maintainability Index, as well as qualitative feedback.

This extension makes RTLola simpler and easier to understand, enabling the specification of more complex monitoring requirements while reducing storage overhead from workarounds. It can be easily integrated into existing RTLola projects, providing specifiers with more flexibility in defining monitoring requirements.