10.3969/j.issn.1008-0570.2008.22.080
软件密集型装备故障的静态检测
软件密集型装备是指软件和硬件肾密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发.本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序.
软件密集型装备、故障模型、控制流分析、故障检测
24
TP391(计算技术、计算机技术)
第二炮兵科研项目
2008-10-16(万方平台首次上网日期,不代表论文的发表时间)
共3页
195-196,261