軟件密集型裝備故障的靜態檢測:軟件密集型裝備是指軟件和硬件緊密結合的裝備，軟件密集型裝備中的故障多由軟件與硬件相互作用引發。本文對程序流程違反硬件工作時序引起的故障進行了分析，并建立了故障模型，提出了一種靜態故障檢測方法，該方法通過對程序控制流進行分析，以檢測程序流程是否違反硬件工作時序。
關鍵詞 軟件密集型裝備，故障模型，控制流分析，故障檢測

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