Monitoring Cyber-Physical Systems: From Design to Integration

12/15/2020
by   Maximilian Schwenger, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/20/2020

Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems

Advanced embedded system technology is one of the key driving forces beh...
research
03/18/2020

FPGA Stream-Monitoring of Real-time Properties

An essential part of cyber-physical systems is the online evaluation of ...
research
08/15/2019

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

Cyber-physical systems are often safety-critical in that violations of s...
research
12/15/2020

Verified Rust Monitors for Lola Specifications

The safety of cyber-physical systems rests on the correctness of their m...
research
05/03/2020

Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems

Reliability and fault tolerance are critical attributes of embedded cybe...
research
04/25/2022

Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems

Monitoring the correctness of distributed cyber-physical systems is esse...
research
11/15/2018

Verified Runtime Validation for Partially Observable Hybrid Systems

Formal verification provides strong safety guarantees about models of cy...

Please sign up or login with your details

Forgot password? Click here to reset