Safe and secure system architectures for cyber-physical systems

被引:0
|
作者
Furrer F.J. [1 ]
机构
[1] Faculty of Computer Science, Technical University of Dresden, Dresden
关键词
D O I
10.1007/s00287-023-01533-z
中图分类号
学科分类号
摘要
Cyber-physical systems are at the core of our current civilization. Countless examples dominate our daily life and work, such as driverless cars that will soon master our roads, implanted medical devices that will improve many lives, and industrial control systems that control production and infrastructure. Because cyber-physical systems manipulate the real world, they constitute a danger for many applications. Therefore, their safety and security are essential properties of these indispensable systems. The long history of systems engineering has demonstrated that the system quality properties—such as safety and security—strongly depend on the underlying system architecture. Satisfactory system quality properties can only be ensured if the fundamental system architecture is sound! The development of dependable cyber-physical architectures in recent years suggests that two harmonical architectures are required: a design-time architecture and a run-time architecture. The design-time architecture defines and specifies all parts and relationships, assuring the required system quality properties. However, in today’s complex systems, ensuring all quality properties in all operating conditions during design time will never be possible. Therefore, an additional line of defense against safety accidents and security incidents is indispensable: This must be provided by the run-time architecture. The run-time architecture primarily consists of a protective shell that monitors the run-time system during operation. It detects anomalies in system behavior, interface functioning, or data—often using artificial intelligence algorithms—and takes autonomous mitigation measures, thus attempting to prevent imminent safety accidents or security incidents before they occur. This paper’s core is the protective shell as a run-time protection mechanism for cyber-physical systems. The paper has the form of an introductory tutorial and includes focused references. © 2023, The Author(s).
引用
收藏
页码:96 / 103
页数:7
相关论文
共 50 条
  • [1] Safe and secure cyber-physical systems
    Biro, Miklos
    Mashkoor, Atif
    Sametinger, Johannes
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (09)
  • [2] Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems
    Gu, Rong
    Moezkarimi, Zahra
    Sirjani, Marjan
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024, 2024, 14678 : 230 - 238
  • [3] Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems
    Egyed, Alexander
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 113 - 114
  • [4] Modeling Architectures of Cyber-Physical Systems
    Kusmenko, Evgeny
    Roth, Alexander
    Rumpe, Bernhard
    von Wenckstern, Michael
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
  • [5] Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec
    Apvrille, Ludovic
    Roudier, Yves
    [J]. MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 293 - 308
  • [6] View Consistency in Architectures for Cyber-Physical Systems
    Bhave, Ajinkya
    Krogh, Bruce H.
    Garlan, David
    Schmerl, Bradley
    [J]. 2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 151 - 160
  • [7] Cyber-physical systems alter automation architectures
    Riedl, Matthias
    Zipper, Holger
    Meier, Marco
    Diedrich, Christian
    [J]. ANNUAL REVIEWS IN CONTROL, 2014, 38 (01) : 123 - 133
  • [8] Supporting Heterogeneity in Cyber-Physical Systems Architectures
    Rajhans, Akshay
    Bhave, Ajinkya
    Ruchkin, Ivan
    Krogh, Bruce H.
    Garlan, David
    Platzer, Andre
    Schmerl, Bradley
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3178 - 3193
  • [9] Deployment Architectures for Cyber-Physical Control Systems
    Tseng, Shih-Hao
    Anderson, James
    [J]. 2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 5287 - 5294
  • [10] SECURE DISTRIBUTED ESTIMATION IN CYBER-PHYSICAL SYSTEMS
    Khan, Usman A.
    Stankovic, Aleksandar M.
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2013, : 5209 - 5213