首页 | 本学科首页   官方微博 | 高级检索  
     检索      

分布式实时系统的软件故障注入
引用本文:徐光侠,陈蜀宇,常光辉,刘宴兵,刘国良.分布式实时系统的软件故障注入[J].重庆大学学报(自然科学版),2010,33(2):62-68.
作者姓名:徐光侠  陈蜀宇  常光辉  刘宴兵  刘国良
作者单位:重庆大学计算机学院,重庆,400044;重庆邮电大学软件学院,重庆,400067;重庆大学软件学院,重庆,400044;重庆大学计算机学院,重庆,400044;重庆邮电大学软件学院,重庆,400067
基金项目:教育部新世纪优秀人才支持计划(NCET-04-0843);;科技部国际科技合作项目(2007DFR10420);;国家自然科学基金资助项目(60973160);;重庆市自然科学基金资助项目(CSTC,2008BB2307)
摘    要:针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。

关 键 词:分布实时系统  系统可信验证平台  软件故障注入  故障模型
收稿时间:2009/10/12 0:00:00

Software implemented fault injection for distributed real time systems
XU Guang-xia,CHEN Shu-yu,CHANG Guang-hui,LIU Yan-bing,LIU Guo-liang.Software implemented fault injection for distributed real time systems[J].Journal of Chongqing University(Natural Science Edition),2010,33(2):62-68.
Authors:XU Guang-xia  CHEN Shu-yu  CHANG Guang-hui  LIU Yan-bing  LIU Guo-liang
Institution:1 a.College of Computer Science;b.College of Software;Chongqing University;Chongqing 400044;P.R. China;2.School of Software Engineering;Chongqing University of Posts and Telecommunications;Chongqing 400065;P.R. China
Abstract:Aiming at the problem of dependability validation in the distributed real-time systems, the universal fault model is established, which is classified into four groups: memory fault, CPU fault, communication fault, and service fault. A software implemented fault injection architecture (SWIFIA) for the distributed real-time systems is proposed, which is classified into three levels: target system, communication network, and software implemented fault injection system (SWIFIS). The SWIFIS is designed with thre...
Keywords:distributed real-time system  system dependability validation platform  software implemented fault injection  fault model  
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《重庆大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《重庆大学学报(自然科学版)》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号