Reliability Demonstration Testing Method for Safety-Critical Embedded Applications Software

Zhidong Qin, Hui Chen, Youqun Shi
{"title":"Reliability Demonstration Testing Method for Safety-Critical Embedded Applications Software","authors":"Zhidong Qin, Hui Chen, Youqun Shi","doi":"10.1109/ICESS.2008.76","DOIUrl":null,"url":null,"abstract":"In order to solve the problem that the fixed duration testing method, which based on the classical statistics, canpsilat satisfy the requirements of reliability testing for modern safety-critical embedded applications software due to the long testing duration, a hierarchical reliability demonstration approach was provided in this paper. The method unified architecture-based reliability modeling, maximum entropy principle and Bayesian inference. Numeral simulation shows that it is effective to reduce the testing duration without decreasing the confidence level for the testing results.","PeriodicalId":278372,"journal":{"name":"2008 International Conference on Embedded Software and Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Conference on Embedded Software and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICESS.2008.76","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

Abstract

In order to solve the problem that the fixed duration testing method, which based on the classical statistics, canpsilat satisfy the requirements of reliability testing for modern safety-critical embedded applications software due to the long testing duration, a hierarchical reliability demonstration approach was provided in this paper. The method unified architecture-based reliability modeling, maximum entropy principle and Bayesian inference. Numeral simulation shows that it is effective to reduce the testing duration without decreasing the confidence level for the testing results.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
安全关键型嵌入式应用软件可靠性演示试验方法
针对基于经典统计的定时测试方法由于测试时间长而不能满足现代安全关键型嵌入式应用软件可靠性测试要求的问题,提出了一种分层可靠性论证方法。该方法将基于体系结构的可靠性建模、最大熵原理和贝叶斯推理相结合。数值仿真结果表明,该方法在不降低测试结果置信度的前提下,有效地缩短了测试时间。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
An Efficient Multi-protocol RFID Interrogator Baseband Processor based on a Reconfigurable Architecture Schedulability Analysis for Fault-Tolerant Hard Real-Time Tasks with Arbitrary Large Deadlines Energy Efficiency of Scratch-Pad Memory at 65 nm and Below: An Empirical Study Formal Schedulability Analysis and Simulation for AADL An Entropy-based Trust Modeling and Evaluation for Wireless Sensor Networks
×
引用
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