CISPA
Browse
cispa_all_3198.pdf (459.07 kB)

Monitoring Cyber-Physical Systems: From Design to Integration

Download (459.07 kB)
conference contribution
posted on 2023-11-29, 18:13 authored by 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.

History

Preferred Citation

Maximilian Schwenger. Monitoring Cyber-Physical Systems: From Design to Integration. In: International Conference on Runtime Verification (RV). 2020.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

International Conference on Runtime Verification (RV)

Legacy Posted Date

2020-09-14

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3198, title = "Monitoring Cyber-Physical Systems: From Design to Integration", author = "Schwenger, Maximilian", booktitle="{International Conference on Runtime Verification (RV)}", year="2020", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC