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

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