Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems
复制标题
基于软件的强化对于实时操作系统中辐射引起的软错误的有效性
DOI：
10.1007/978-3-319-54999-6_1
复制
发表时间：
2017
影响因子：
5.4
通讯作者：
P. Rech
中科院分区：
文献类型：
--
作者：
Thiago Santini;C. Borchert;Christian J. Dietrich;Horst Schirmeier;Martin Hoffmann;O. Spinczyk;Daniel Lohmann;F. Wagner;P. Rech
几十年来，辐射引起的故障一直是航空空间系统的已知问题，在该系统中，冗余机制被用作保护方法。由于结构和操作电压的收缩，这些故障即使在地面应用中也越来越成为一个问题。不幸的是，冗余增加了成本，区域使用和功耗，这可能会阻碍其在成本和电力敏感的安全性安全应用（例如汽车）中的利用。为了克服这一限制，已经提出了多种基于软件的方法，该方法假定存在潜在的无错误操作系统。在本文中，我们调查了两个面向可靠性的实时操作系统的辐射可靠性，即，流行的ECOS操作系统通过面向方面的编程方法硬化，Dosek是一种从地面上设计的嵌入式内核，可靠性地具有可靠性主要关心。通过对基于28 nm ARM的最先进的芯片进行的大量中子梁测试对两个操作系统进行了评估，其断层耐受性机制在总体跨段相对于其基线的总体横截面降低了分别为91％和74％。
For decades, radiation-induced failures have been a known issue for aero-space systems, in which redundancy mechanisms are employed as a protection method. Due to the shrinking of structures and operating voltages, these failures are increasingly becoming an issue even for terrestrial applications. Unfortunately, redundancy increases costs, area usage, and power consumption, which can hinder its utilization in cost- and power-sensitive safety-critical applications, such as automotive. To overcome this limitation, multiple software-based approaches have been proposed, which assume the existence of an underlying error-free operating system. In this paper, we investigate the radiation reliability of two dependability-oriented real-time operating systems, namely, the popular eCos operating system hardened through aspect-oriented programming methods, and dOSEK, an embedded kernel designed from the ground up having reliability as a major concern. Both operating systems were evaluated through extensive neutron-beam testings on a 28 nm ARM-based state-of-the-art system-on-chip, and their fault tolerance mechanisms reached reductions in the overall cross-sections relative to their baselines up to 91% and 74%, respectively.