软件密集型装备故障的静态检测  

Detection of Fault In Software-Intensive System

作　　者：梁洪波[1] 慕晓冬[1] 帅桂华[1] 常瑞花[1] 

机构地区：[1]第二炮兵工程学院,西安710025

出　　处：《微计算机信息》2008年第22期195-196,261,共3页Control & Automation

基　　金：第二炮兵科研项目(编号不公开)

摘　　要：软件密集型装备是指软件和硬件紧密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序。Software-Intensive System is the equip system which includes software and hardware. The faults of Software-Intensive System are always caused by the interplay in software and hardware. The faults caused by the program flow disobey the work scheduling of hardware are analyzed in this paper, and the fault model is built. A static method of detection of faults is described in this paper. In this method, whether the program disobey the work scheduling of hardware is detected by the analysis of program control flow.

关 键 词：软件密集型装备 故障模型 控制流分析 故障检测 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]