分布式实时系统的软件故障注入

摘要：

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

关键词：分布实时系统、系统可信验证平台、软件故障注入、故障模型

所属期刊栏目：32

分类号：TP302(计算技术、计算机技术)

资助基金：新世纪优秀人才支持计划NCET-04-0843;科技部国际科技合作项目2007DFR10420;国家自然科学基金60973160;同济大学校科研和教改项目CSTC;2008BB2307

在线出版日期：2010-04-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：62-68