Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models
L Sakizloglou, H Giese, L Lambers - International Conference on …, 2024 - Springer
In model-driven engineering, runtime monitoring of systems with complex dynamic
structures is typically performed via a runtime model capturing a snapshot of the system …
structures is typically performed via a runtime model capturing a snapshot of the system …
[PDF][PDF] Kristóf Marussy
I Majzik - 2023 - marussy.com
Cyber-physical systems (CPS) are smart systems that include highly interconnected digital,
analog, physical, and human components. They are increasingly prevalent in safety critical …
analog, physical, and human components. They are increasingly prevalent in safety critical …
Abstraction Techniques for the Analysis and Synthesis of Critical Cyber-Physical System Architectures
K Marussy - 2023 - search.proquest.com
Cyber-physical systems (CPS) are smart systems that include highly interconnected digital,
analog, physical, and human components. They are increasingly prevalent in safety critical …
analog, physical, and human components. They are increasingly prevalent in safety critical …