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.
Cite
CITATION STYLE
Schwenger, M. (2020). Monitoring Cyber-Physical Systems: From Design to Integration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12399 LNCS, pp. 87–106). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-60508-7_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
