Exploration of the effects of soft errors from dynamic software behaviours

Lei Xiong, QingPing Tan, Z. Shao
{"title":"Exploration of the effects of soft errors from dynamic software behaviours","authors":"Lei Xiong, QingPing Tan, Z. Shao","doi":"10.1049/iet-sen.2011.0135","DOIUrl":null,"url":null,"abstract":"Soft errors can affect system reliability by influencing software execution. Dynamic implementation for software-based soft error tolerance methods can protect more types of codes; hence, the method can cover more soft errors. Based on the background of dynamic soft error tolerance, this study proposes an approach to analyse dynamic software behaviours under the effects of soft errors. The authors use a special program model that combines abstract computing on the high level with computing of instructions on the low level. On the high level, programs are divided with the granularity of function. On the low level, every function is implemented by the instructions. Those effects of soft errors on instructions on the low level are passed to the computing results of function on the high level. Backed by the computing results of function on the high level, the caused instruction errors that can lead to incorrect program outcome are distinguished within a function. Based on those different level software behaviours with our program model, the dynamic program reliability model is built under the effects of soft errors. From the dynamic program reliability model, we can see the relationship between the characteristics of dynamic program and reliability of dynamic program under the effects of soft errors. Finally, the experimental results of the authors fault injection experiments validate the dynamic program reliability model. In addition, the experimental results also demonstrate the authors analyses of different dynamic software behaviours under the effects of soft errors.","PeriodicalId":13395,"journal":{"name":"IET Softw.","volume":"14 1","pages":"514-523"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IET Softw.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/iet-sen.2011.0135","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Soft errors can affect system reliability by influencing software execution. Dynamic implementation for software-based soft error tolerance methods can protect more types of codes; hence, the method can cover more soft errors. Based on the background of dynamic soft error tolerance, this study proposes an approach to analyse dynamic software behaviours under the effects of soft errors. The authors use a special program model that combines abstract computing on the high level with computing of instructions on the low level. On the high level, programs are divided with the granularity of function. On the low level, every function is implemented by the instructions. Those effects of soft errors on instructions on the low level are passed to the computing results of function on the high level. Backed by the computing results of function on the high level, the caused instruction errors that can lead to incorrect program outcome are distinguished within a function. Based on those different level software behaviours with our program model, the dynamic program reliability model is built under the effects of soft errors. From the dynamic program reliability model, we can see the relationship between the characteristics of dynamic program and reliability of dynamic program under the effects of soft errors. Finally, the experimental results of the authors fault injection experiments validate the dynamic program reliability model. In addition, the experimental results also demonstrate the authors analyses of different dynamic software behaviours under the effects of soft errors.
从动态软件行为探索软错误的影响
软错误会影响软件的执行,从而影响系统的可靠性。动态实现基于软件的软容错方法可以保护更多类型的代码;因此,该方法可以覆盖更多的软错误。本文以动态软容错为背景,提出了一种分析软容错影响下动态软件行为的方法。作者采用了一种特殊的程序模型,将高层的抽象计算与低层的指令计算相结合。在高层次上,程序是按功能粒度划分的。在底层,每个功能都是由指令实现的。这些软错误对低级指令的影响传递给高级函数的计算结果。在函数的高层计算结果的支持下,可以在函数内区分可能导致错误程序结果的指令错误。基于这些不同层次的软件行为和程序模型,建立了软错误影响下的动态程序可靠性模型。从动态规划可靠性模型中,可以看出软误差作用下动态规划特性与动态规划可靠性之间的关系。最后,通过故障注入实验验证了动态程序可靠性模型的正确性。此外,实验结果还验证了作者对软误差影响下不同动态软件行为的分析。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术官方微信