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 条
  • [31] Control Protocols Design for Cyber-Physical Systems
    Cai, Yi
    Qi, Deyu
    [J]. 2015 IEEE ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC), 2015, : 668 - 671
  • [32] Cyber-Physical Systems Design Using Dissipativity
    Antsaklis, Panos J.
    McCourt, Michael J.
    Yu, Han
    Wu, Po
    Zhu, Feng
    [J]. PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 1 - 5
  • [33] Robust Design and Validation of Cyber-physical Systems
    Sood, Surinder
    Malik, Avinash
    Roop, Partha
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 18 (06)
  • [34] Challenges in Automotive Cyber-physical Systems Design
    Goswami, Dip
    Schneider, Reinhard
    Masrur, Alejandro
    Lukasiewycz, Martin
    Chakraborty, Samarjit
    Voit, Harald
    Annaswamy, Anuradha
    [J]. 2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION, 2012, : 346 - 354
  • [35] Metamodelling for Design of Mechatronic and Cyber-Physical Systems
    Pietrusewicz, Krzysztof
    [J]. APPLIED SCIENCES-BASEL, 2019, 9 (03):
  • [36] Covering Ethics in Cyber-Physical Systems Design
    Klikovits, Christoph
    Szalai, Elke
    Tauber, Markus
    [J]. ERCIM NEWS, 2020, (122): : 7 - 8
  • [37] Analysis and design of secure cyber-physical systems
    Ling SHI
    [J]. Control Theory and Technology, 2014, 12 (04) : 413 - 414
  • [38] Analysis and design of secure cyber-physical systems
    Shi L.
    [J]. Control Theory and Technology, 2014, 12 (4) : 413 - 414
  • [39] Design and Operation of Secure Cyber-Physical Systems
    Pasqualetti, Fabio
    Zhu, Qi
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
  • [40] Security and design Challenges in Cyber-Physical Systems
    Reddy, Yenumula B.
    [J]. 2015 12TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY - NEW GENERATIONS, 2015, : 200 - 205
12345