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

软件密集型装备故障的静态检测:软件密集型装备是指软件和硬件紧密结合的装备，软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析，并建立了故障模型，提出了一种静态故障检测方法，该方法通过对程序控制流进行分析，以检测程序流程是否违反硬件工作时序。
关键词 软件密集型装备，故障模型，控制流分析，故障检测

Abstract： 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.
Keywords：Software-Intensive System，Fault Model，Control Flow Analysis, Fault Detection