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 条
  • [41] Towards a Science of Cyber-Physical Systems Design
    Bogdan, Paul
    Marculescu, Radu
    [J]. 2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 99 - 108
  • [42] Design Methodologies for Securing Cyber-Physical Systems
    Al Faruque, Mohammad
    Regazzoni, Francesco
    Pajic, Miroslav
    [J]. 2015 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2015, : 30 - 36
  • [43] MULTIDISCIPLINARY INTEGRATION DURING CONCEPTUAL DESIGN PROCESS: A SURVEY ON DESIGN METHODS OF CYBER-PHYSICAL SYSTEMS
    Zheng, C.
    Le Duigou, J.
    Hehenberger, P.
    Bricogne, M.
    Eynard, B.
    [J]. DS 84: PROCEEDINGS OF THE DESIGN 2016 14TH INTERNATIONAL DESIGN CONFERENCE, VOLS 1-4, 2016, : 1625 - 1634
  • [44] Cyber-physical Systems
    Wolf, Wayne
    [J]. COMPUTER, 2009, 42 (03) : 88 - 89
  • [45] MITL Specification Debugging for Monitoring of Cyber-Physical Systems
    Dokhanchi, Adel
    Hoxha, Bardh
    Fainekos, Georgios
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 13 - +
  • [46] Diagnostics, Maintenance and Condition Monitoring for Cyber-Physical Systems
    Ciani, Lorenzo
    [J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2019, 22 (04) : 48 - 49
  • [47] Decision-Theoretic Monitoring of Cyber-Physical Systems
    Yavolovsky, Andrey
    Zefran, Milos
    Sistla, A. Prasad
    [J]. RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 404 - 419
  • [48] Knowledge Representation of Cyber-physical Systems for Monitoring Purpose
    Guerduer, Didem
    Feljan, Aneta Vulgarakis
    El-khoury, Jad
    Mohalik, Swarup Kumar
    Badrinath, Ramamurthy
    Mujumdar, Anusha Pradeep
    Fersman, Elena
    [J]. 51ST CIRP CONFERENCE ON MANUFACTURING SYSTEMS, 2018, 72 : 468 - 473
  • [49] Monitoring as a Service for Networked Medical Cyber-Physical Systems
    Kuhn, Franziska
    Thoma, Daniel
    Labitzke, Dennis
    Fischer, Stefan
    [J]. IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, : 8648 - 8653
  • [50] Cyber-physical systems for performance monitoring in production intralogistics
    Moerth, O.
    Emmanouilidis, Christos
    Hafner, N.
    Schadler, M.
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 2020, 142
12345