(2020) Monitoring Cyber-Physical Systems: From Design to Integration.
In: RV 2020.
Conference:
RV International Conference on Runtime Verification (was workshop pre 2010)
|
Text
Schwenger20.pdf Download (470kB) | Preview |
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.
| Item Type: | Conference or Workshop Item (A Paper) (Paper) |
|---|---|
| Conference: | RV International Conference on Runtime Verification (was workshop pre 2010) |
| Depositing User: | Maximilian Schwenger |
| Date Deposited: | 14 Sep 2020 07:29 |
| Last Modified: | 14 Sep 2020 07:29 |
| Primary Research Area: | NRA2: Reliable Security Guarantees |
| URI: | https://publications.cispa.saarland/id/eprint/3198 |
Actions
Actions (login required)
 |
View Item |