分布式实时系统的软件故障注入
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

教育部新世纪优秀人才支持计划(NCET040843);科技部国际科技合作项目(2007DFR10420);国家自然科学基金资助项目(60973160);重庆市自然科学基金资助项目(CSTC,2008BB2307)


Software implemented fault injection for distributed realtime systems
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。

    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 three parts: software implemented fault injector, data collection module, and fault data analysis module. The process of software implemented fault injection based on the architecture is illustrated. SWIFIS is implemented and analyzed with experiments. The major faults detected in the experiments are communication faults, memory faults, and CPU faults while the coverage rates were 37.68%, 15.47%, and 15.17%, respectively. The experimental results demonstrate that this architecture is suitable for the applications under distributed realtime environment. They offer theoretical base and evidence for further research of software dependability validation.

    参考文献
    相似文献
    引证文献
引用本文

徐光侠,陈蜀宇,常光辉,刘宴兵,刘国良.分布式实时系统的软件故障注入[J].重庆大学学报,2010,33(2):62-68.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2009-10-12
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码