Improving the Efficiency of Software-Based Fault Protection Mechanisms With HUSTLE

被引:0
作者
Ferrante, Nicola [1 ,2 ]
Fanucci, Luca [1 ]
Rossi, Francesco [2 ]
Terrosi, Francesco [3 ]
Bondavalli, Andrea [2 ,3 ]
机构
[1] Univ Pisa, Dept Informat Engn, I-56122 Pisa, Italy
[2] ResilTech Srl, I-56025 Pontedera, Italy
[3] Univ Florence, Dept Math & Informat, I-50134 Florence, Italy
来源
IEEE ACCESS | 2024年 / 12卷
基金
欧盟地平线“2020”;
关键词
Task analysis; Codes; Safety; Payloads; Libraries; Standards; Power line communications; Error detection; functional testing; on-line testing; safety; SW-test libraries;
D O I
10.1109/ACCESS.2024.3434718
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards such as ISO26262, IEC61508, and CENELEC EN 5012X. Online testing can be performed through the periodic execution of online SW Test Libraries, which are widely used in safety-related applications as a valuable safety mechanism to protect against random HW faults. SW Test Libraries introduce a non-negligible overhead on system performance, exacerbated by the increasing complexity of HW devices. This contrasts with the efforts of researchers and system designers for developing efficient systems. Reducing this overhead is an important achievement. We propose here HUSTLE, a Hardware Unit for SW-Test Libraries Efficient execution, which can be integrated into the chip design with minimum modification to the CPU's design. HUSTLE contains an Internal Memory, where the library code is stored, and sends instructions to the CPU, bypassing the Memory Subsystem. To further improve efficiency, we also propose a scheduling mechanism that allows to exploit the idle time of the CPU's execution unit. To show the efficiency gain in supporting the test libraries execution, we ran some experiments, where a considerable reduction of the overall CPU load was observed. Finally, remarks regarding the limited impact on the area and power consumption are presented.
引用
收藏
页码:104728 / 104741
页数:14
相关论文
共 40 条
  • [1] [Anonymous], 2018, ISO 26262
  • [2] [Anonymous], 2018, document CENELEC EN:50129
  • [3] arm, Software Test Library ARM
  • [4] Asanovic K., 2016, Tech. Rep., UCB/EECS-2016-17
  • [5] Asanovic Krste., 2015, BERKELEY OUT OF ORDE
  • [6] Basic concepts and taxonomy of dependable and secure computing
    Avizienis, A
    Laprie, JC
    Randell, B
    Landwehr, C
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) : 11 - 33
  • [7] MIHST: A Hardware Technique for Embedded Microprocessor Functional On-Line Self-Test
    Bernardi, Paolo
    Ciganda, Lyl Mercedes
    Sanchez, Ernesto
    Reorda, Matteo Sonza
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (11) : 2760 - 2771
  • [8] BOOM Core, About us
  • [9] chipyard.readthedocs, Chipyard's Documentation
  • [10] Domain-Specific Hardware Accelerators
    Dally, William J.
    Turakhia, Yatish
    Han, Song
    [J]. COMMUNICATIONS OF THE ACM, 2020, 63 (07) : 48 - 57