Monitoring Cyber-Physical Systems: From Design to Integration

被引：1
|
作者：
Schwenger, Maximilian [1 ]
机构：
[1] CISPA Helmholtz Ctr Informat Secur, Saarbrucken, Germany
来源：
RUNTIME VERIFICATION (RV 2020) | 2020年 / 12399卷
基金：
欧洲研究理事会;
关键词：
CHECKING;
D O I：
10.1007/978-3-030-60508-7_5
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：87 / 106
页数：20
相关论文
共 50 条
  • [1] Simulation Integration Platforms for Cyber-Physical Systems
    Neema, Himanshu
    Sztipanovits, Janos
    Steinbrink, Cornelius
    Raub, Thomas
    Cornelsen, Bastian
    Lehnhoff, Sebastian
    [J]. PROCEEDINGS OF THE WORKSHOP ON DESIGN AUTOMATION FOR CPS AND IOT (DESTION '19), 2019, : 10 - 19
  • [2] SCENARIOS FOR CYBER-PHYSICAL SYSTEMS INTEGRATION IN CONSTRUCTION
    Akanmu, Abiola
    Anumba, Chimay
    Messner, John
    [J]. JOURNAL OF INFORMATION TECHNOLOGY IN CONSTRUCTION, 2013, 18 : 240 - 260
  • [3] Design Automation for Cyber-Physical Systems
    Zhu, Qi
    Sangiovanni-Vincentelli, Alberto
    Hu, Shiyan
    Li, Xin
    [J]. PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1479 - 1483
  • [4] Design and Analysis of Cyber-Physical Systems
    Plakhotnikov, Dmitriy P.
    Kotova, Elena E.
    [J]. PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 589 - 593
  • [5] Rigorous Design of Cyber-physical Systems
    Sifakis, Joseph
    [J]. 2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION, 2012, : 319 - 319
  • [6] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering
    Scheifele, Stefan
    Verl, Alexander
    Riedel, Oliver
    [J]. ATP MAGAZINE, 2018, (11-12): : 68 - 78
  • [7] Cyber-physical systems for temporary structure monitoring
    Yuan, Xiao
    Anumba, Chimay J.
    Parfitt, M. Kevin
    [J]. AUTOMATION IN CONSTRUCTION, 2016, 66 : 1 - 14
  • [8] Cognitive Monitoring of Cyber-Physical Systems in Agriculture
    Katsko, Igor A.
    Kremyanskaya, Elena, V
    [J]. CYBER-PHYSICAL SYSTEMS AND CONTROL, 2020, 95 : 422 - 430
  • [9] Predicate monitoring in distributed cyber-physical systems
    Anik Momtaz
    Niraj Basnet
    Houssam Abbas
    Borzoo Bonakdarpour
    [J]. International Journal on Software Tools for Technology Transfer, 2023, 25 : 541 - 556
  • [10] Smart Monitoring of the Emergencies by Cyber-Physical Systems
    Ruchkin, Vladimir
    Romanchuk, Vitaly
    Kostrov, Boris
    Kolesenkov, Aleksandr
    Ruchkina, Ekaterina
    [J]. 12TH INTERNATIONAL CONFERENCE ELEKTRO 2018, 2018,
12345