Utilising Redundancy to Enhance Security of Safety-Critical Systems

被引:0
|
作者
Troubitsyna, Elena [1 ]
机构
[1] KTH Royal Inst Technol, Stockholm, Sweden
关键词
Safety-critical systems; Redundancy; Security protection; Cyberattacks; Safety-security interactions; DIVERSITY; IMPACT;
D O I
10.1007/978-3-031-40953-0_16
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
For many safety-critical systems, implementing modern cybersecurity protection mechanisms is hindered by legacy design and high re-certification costs. Since such systems are typically designed to be highly reliable, they usually contain a large number of redundant components used to achieve fault tolerance. In this paper, we discuss challenges in utilising redundancy inherently present in the architectures of safety-critical systems to enhance system cybersecurity protection. We consider classic redundant architectures and analyse their ability to protect against cyberattacks. By evaluating the likelihood of a successful cyberattack on a redundant architecture under different implementation conditions, we conclude that redundancy in combination with diversity has better potential to be utilised for cybersecurity protection.
引用
下载
收藏
页码:188 / 196
页数:9
相关论文
共 50 条
  • [31] Safety-critical systems built with COTS
    Profeta, JA
    Andrianos, NP
    Yu, B
    Johnson, BW
    DeLong, TA
    Guaspari, D
    Jamsek, D
    COMPUTER, 1996, 29 (11) : 54 - &
  • [32] Architecture for safety-critical transportation systems
    Ahangari, Hamzeh
    Ozkok, Yusuf Ibrahim
    Yildirim, Asil
    Say, Fatih
    Atik, Funda
    Ozturk, Ozcan
    MICROPROCESSORS AND MICROSYSTEMS, 2023, 98
  • [33] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [34] Special issue on safety-critical systems
    Kramer, BJ
    REAL-TIME SYSTEMS, 1997, 13 (03) : 217 - 218
  • [35] On Using Blockchains for Safety-Critical Systems
    Berger, Christian
    Penzenstadler, Birgit
    Droegehorn, Olaf
    2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 30 - 36
  • [36] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [37] Safety-Critical Control for Ensemble Systems
    Guo, Yang
    Petzke, Felix
    Rumschinski, Philipp
    Streif, Stefan
    IFAC PAPERSONLINE, 2023, 56 (02): : 3152 - 3157
  • [38] Reliability demonstration for safety-critical systems
    Tal, O
    McCollin, C
    Bendell, T
    IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (02) : 194 - 203
  • [39] On safety-critical computer control systems
    Halang, WA
    Colnaric, M
    TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
  • [40] Developing safety-critical systems with UML
    Jürjens, J
    UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 360 - 372