%0 Journal Article
%T 分布式实时系统的软件故障注入
%A 徐光侠
%A 陈蜀宇
%A 常光辉
%A 刘宴兵
%A 刘国良
%J 重庆大学学报
%D 2010
%R 10.11835/j.issn.1000-582X.2010.02.011
%X 针对分布式实时系统的可信验证的难题，建立通用故障模型，将故障模型分为：内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构，它分为3个层次：目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计，软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明，实现软件故障注入系统并做了相应的实验分析，实验检测到故障多数为通信故障、内存故障和CPU故障，其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用，同时也为进一步研究软件可信验证提供了理论基础和实例依据。
%K 分布实时系统
%K 系统可信验证平台
%K 软件故障注入
%K 故障模型
%U http://qks.cqu.edu.cn/cqdxzrcn/ch/reader/view_abstract.aspx?file_no=201002012&flag=1