Software-implemented fault injection in operating system kernel mutex data structure

B. Montrucchio, M. Rebaudengo, A. Velasco
{"title":"Software-implemented fault injection in operating system kernel mutex data structure","authors":"B. Montrucchio, M. Rebaudengo, A. Velasco","doi":"10.1109/LASCAS.2014.6820257","DOIUrl":null,"url":null,"abstract":"Embedded and Computer-based systems are subject to transient errors originated from several sources, including the impact of high energy particles on sensitive areas of integrated circuits. The evaluation of the sensitivity of the applications to transient faults is a major issue. The paper presents a new approach for testing the effects of transient faults on the Operating System kernel, specifically focusing on kernel mutex data structure, a key component of the kernel. A Software-implemented Fault Injection tool able to inject faults guaranteeing the non-intrusiveness and repeatability of the fault injection campaign is proposed. An analysis of the results has been performed on a large set of mutexes, in order to evaluate their criticality, in particular during input/output operations. Experimental results, executed on a set of benchmarks programs, show the relevance of the effects of the transient faults on this set of variables. Moreover, a significant percentage of faults can lead to a damage of the system also producing an application failure.","PeriodicalId":235336,"journal":{"name":"2014 IEEE 5th Latin American Symposium on Circuits and Systems","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 IEEE 5th Latin American Symposium on Circuits and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LASCAS.2014.6820257","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 10

Abstract

Embedded and Computer-based systems are subject to transient errors originated from several sources, including the impact of high energy particles on sensitive areas of integrated circuits. The evaluation of the sensitivity of the applications to transient faults is a major issue. The paper presents a new approach for testing the effects of transient faults on the Operating System kernel, specifically focusing on kernel mutex data structure, a key component of the kernel. A Software-implemented Fault Injection tool able to inject faults guaranteeing the non-intrusiveness and repeatability of the fault injection campaign is proposed. An analysis of the results has been performed on a large set of mutexes, in order to evaluate their criticality, in particular during input/output operations. Experimental results, executed on a set of benchmarks programs, show the relevance of the effects of the transient faults on this set of variables. Moreover, a significant percentage of faults can lead to a damage of the system also producing an application failure.
软件实现的操作系统内核互斥锁数据结构中的故障注入
嵌入式和基于计算机的系统受到来自几个来源的瞬态误差的影响,包括高能粒子对集成电路敏感区域的影响。应用程序对暂态故障的敏感性评估是一个主要问题。本文提出了一种测试暂态故障对操作系统内核影响的新方法,重点研究了内核的关键组成部分——内核互斥锁数据结构。提出了一种软件实现的故障注入工具,能够注入故障,保证故障注入活动的非侵入性和可重复性。对大量互斥体的结果进行了分析,以评估它们的临界性,特别是在输入/输出操作期间。在一组基准程序上执行的实验结果显示了瞬态故障对这组变量的影响的相关性。此外,很大比例的故障会导致系统损坏,也会产生应用程序故障。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信