Monitoring Cyber-Physical Systems: From Design to Integration

TL;DR

This paper discusses a comprehensive development process for runtime monitors in cyber-physical systems, emphasizing formal specification, compilation, and integration to enhance safety assurance.

Contribution

It introduces a systematic process for designing and integrating runtime monitors using formal specifications and compilation, improving safety in cyber-physical systems.

Findings

Formal specification of safety properties in RTLola

Automated compilation of specifications into executable monitors

Enhanced safety confidence through integrated monitoring

Abstract

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.