Monitoring Cyber-Physical Systems: From Design to Integration

Maximilian Schwenger

Cyber-physical systems are inherently safety-critical. The deployment of a runtime monitor significantly increases confidence in their safety. The effectiveness of the monitor can be maximized by considering it an integral component during its development. Thus, in this paper, I given an overview over recent work regarding a development process for runtime monitors alongside a cyber-physical system. This process includes the transformation of desirable safety properties into the formal specification language RTLola. A compiler then generates an executable artifact for monitoring the specification. This artifact can then be integrated into the system.

20th International Conference on Runtime Verification October 2020
Contact Data Privacy Policy Imprint
Home People Publications
More