Fault-Injection Testing: FIT-Ability, Optimal Procedure and Tool for FPGA-Based Systems SIL Certification

被引:0
|
作者
Kharchenko, V. [1 ]
Sklyar, V. [1 ]
Odarushchenko, O.
Ivasuyk, A.
机构
[1] Natl Aerosp Univ NE Zhukovsky KhAI, Kharkov, Ukraine
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Challenges related to verification and validation (VV) of FPGA-based safety critical I&C systems (FICS) are analyzed. One of the mandatory techniques applied in process of VV and certification to requirements of IEC 61508 according with safety integrity level (SIL) is the fault insertion or injection testing (FIT). Specific features of FICS SIL-certification and FIT are described. Concept of FITability, some theoretical issues and algorithm of the optimal FIT procedure taking into account different points and means of fault injection are suggested. The developed technique and tool VTP has been applied to verify modules of FPGA-based platform RadICS during SIL-certification.
引用
收藏
页数:5
相关论文
共 9 条
  • [1] FAULT INSERTION TESTING OF FPGA-BASED NPP I&C SYSTEMS: SIL CERTIFICATION ISSUES
    Kharchenko, Vyacheslav
    Odarushchenko, Oleg
    Sklyar, Vladimir
    Ivasyuk, Alexandr
    PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING - 2014, VOL 6, 2014,
  • [2] FPGA-based fault injection for microprocessor systems
    Civera, P
    Macchiarulo, L
    Rebaudengo, M
    Reorda, MS
    Violante, M
    10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 304 - 309
  • [3] A Fault Injection Platform for FPGA-based Communication Systems
    Leipnitz, Marcos T.
    Junior, Geferson L. H.
    Nazar, Gabriel L.
    2016 IEEE 7TH LATIN AMERICAN SYMPOSIUM ON CIRCUITS & SYSTEMS (LASCAS), 2016, : 59 - 62
  • [4] Fast FPGA-Based Fault Injection Tool for Embedded Processors
    Shirazi, Mohammad Shokrolah
    Morris, Brendan
    Selvaraj, Henry
    PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2013), 2013, : 476 - 480
  • [5] FPGA-based Fault-injection and Data Acquisition of Self-repairing Spiking Neural Network Hardware
    Karim, Shvan
    Harkin, Jim
    McDaid, Liam
    Gardiner, Bryan
    Liu, Junxiu
    Halliday, David M.
    Tyrrell, Andy M.
    Timmis, Jon
    Millard, Alan G.
    Johnson, Anju P.
    2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2018,
  • [6] Testing approach within FPGA-based fault tolerant systems
    Doumar, A
    Ito, H
    PROCEEDINGS OF THE NINTH ASIAN TEST SYMPOSIUM (ATS 2000), 2000, : 411 - 416
  • [7] RADSAFiE: A Netlist-Level Fault Injection User Interface Application for FPGA-Based Digital Systems
    Monopoli, Matteo
    Biondi, Matteo
    Nannipieri, Pietro
    Moranti, Silvia
    Fanucci, Luca
    IEEE ACCESS, 2025, 13 : 28809 - 28823
  • [8] Fault Tolerant ASIC/ULA-Based Computing Systems Testing via FPGA Prototyping with Fault Injection
    Brekhov, Oleg
    Klimenko, Alexander
    ADVANCES IN DEPENDABILITY ENGINEERING OF COMPLEX SYSTEMS, 2018, 582 : 60 - 66
  • [9] Formullar: An FPGA-based network testing tool for flexible and precise measurement of ultra-low latency networking systems
    Park, Taejune
    Shin, Seungwon
    Shin, Insik
    Lee, Kilho
    COMPUTER NETWORKS, 2021, 185