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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
从动态软件行为探索软错误的影响
软错误会影响软件的执行,从而影响系统的可靠性。动态实现基于软件的软容错方法可以保护更多类型的代码;因此,该方法可以覆盖更多的软错误。本文以动态软容错为背景,提出了一种分析软容错影响下动态软件行为的方法。作者采用了一种特殊的程序模型,将高层的抽象计算与低层的指令计算相结合。在高层次上,程序是按功能粒度划分的。在底层,每个功能都是由指令实现的。这些软错误对低级指令的影响传递给高级函数的计算结果。在函数的高层计算结果的支持下,可以在函数内区分可能导致错误程序结果的指令错误。基于这些不同层次的软件行为和程序模型,建立了软错误影响下的动态程序可靠性模型。从动态规划可靠性模型中,可以看出软误差作用下动态规划特性与动态规划可靠性之间的关系。最后,通过故障注入实验验证了动态程序可靠性模型的正确性。此外,实验结果还验证了作者对软误差影响下不同动态软件行为的分析。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Prioritising test scripts for the testing of memory bloat in web applications A synergic quantum particle swarm optimisation for constrained combinatorial test generation A hybrid model for prediction of software effort based on team size A 20-year mapping of Bayesian belief networks in software project management Emerging and multidisciplinary approaches to software engineering
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1