Diversity for security: case assessment for FPGA-based safety-critical systems

被引:2
|
作者
Kharchenko, Vyacheslav [1 ,2 ]
Illiashenko, Oleg [1 ]
机构
[1] Natl Aerosp Univ KhAI, UA-61070 Kharkov, Ukraine
[2] Ctr Safety Infrastruct Oriented Res & Anal, UA-61085 Kharkov, Ukraine
关键词
D O I
10.1051/matecconf/20167602051
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Industrial safety critical instrumentation and control systems (I&Cs) are facing more with information (in general and cyber, in particular) security threats and attacks. The application of programmable logic, first of all, field programmable gate arrays (FPGA) in critical systems causes specific safety deficits. Security assessment techniques for such systems are based on heuristic knowledges and the expert judgment. Main challenge is how to take into account features of FPGA technology for safety critical I&Cs including systems in which are applied diversity approach to minimize risks of common cause failure. Such systems are called multi-version (MV) systems. The goal of the paper is in description of the technique and tool for case based security assessment of MY FPGA-based I&Cs.
引用
收藏
页数:9
相关论文
共 50 条
  • [21] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [22] Security- and safety-critical cyber-physical systems
    Mashkoor, Atif
    Sametinger, Johannes
    Biro, Miklos
    Egyed, Alexander
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2020, 32 (02)
  • [23] Towards a Formal Approach to Analysing Security of Safety-Critical Systems
    Vistbakka, Inna
    Troubitsyna, Elena
    2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
  • [24] On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems
    Brando, Axel
    Serra, Isabel
    Mezzetti, Enrico
    Cazorla, Francisco J.
    Perez-Cerrolaza, Jon
    Abella, Jaume
    COMPUTER, 2023, 56 (05) : 41 - 50
  • [25] Cyber Security Lifecycle and Assessment Technique for FPGA-based I&C Systems
    Oleg, Illiashenko
    Vyacheslav, Kharchenko
    Andriy, Kovalenko
    PROCEEDINGS OF IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2013), 2013,
  • [26] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems
    Axelrod, C. Warren
    2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
  • [27] SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems
    Wolschke, Christian
    Sangchoolie, Behrooz
    Simon, Jacob
    Marksteiner, Stefan
    Braun, Tobias
    Hamazaryan, Hayk
    51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 27 - 34
  • [28] SecMonQ: An HSM based security monitoring approach for protecting AUTOSAR safety-critical systems
    Nasser, Ahmad M. K.
    Ma, Di
    VEHICULAR COMMUNICATIONS, 2020, 21
  • [29] Security and Reliability of Safety-Critical RTOS
    Luna R.
    Islam S.A.
    SN Computer Science, 2021, 2 (5)
  • [30] Model-based design, analysis and assessment framework for safety-critical systems
    Lu, Kuen-Long
    Chen, Yung-Yuan
    51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26