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 条
  • [41] The ethics of safety-critical systems
    Bowen, J
    COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
  • [42] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
    BENNETT, P
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
  • [43] Independent Assessment of Safety-Critical Systems: we bring data!
    Silva, Nuno
    Lopes, Rui
    23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, : 84 - 84
  • [44] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
    Gebre-Egziabher, Demoz
    PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
  • [45] SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies
    Bernardeschi, Cinzia
    Cassano, Luca
    Domenici, Andrea
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 30 (02) : 373 - 390
  • [46] Design of a High Performance FPGA Based Fault Injector for Real-Time Safety-Critical Systems
    Miklo, Marko
    Elks, Carl R.
    Williams, Ronald D.
    ASAP 2011 - 22ND IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 2011), 2011, : 243 - 246
  • [47] SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies
    Cinzia Bernardeschi
    Luca Cassano
    Andrea Domenici
    Journal of Computer Science and Technology, 2015, 30 : 373 - 390
  • [48] A consequence-based approach to safety-critical systems
    Perico-Cortés, A
    SAFETY INTEGRITY: THE IMPLICATIONS OF IEC 61508 AND OTHER STANDARDS FOR THE PROCESS INDUSTRIES, PROCEEDINGS, 2000, : 29 - 40
  • [49] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [50] A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries
    Yiannis Papadopoulos
    John A. McDermid
    Requirements Engineering, 1998, 3 (2) : 143 - 149