| 软件密集型装备故障的静态检测 |
| |
| 引用本文： | LIANG Hong-bo,慕晓冬,SHUAI Gui-hua,常瑞花.软件密集型装备故障的静态检测[J].微计算机信息,2008,24(22). |
| |
| 作者姓名： | LIANG Hong-bo 慕晓冬 SHUAI Gui-hua 常瑞花 |
| |
| 摘 要： | 软件密集型装备是指软件和硬件肾密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发.本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序.
|
| 关 键 词： | 软件密集型装备 故障模型 控制流分析 故障检测 |
Detection of Fault In Software-Intensive System |
| |
| LIANG Hong-bo,MU Xiao-dong,SHUAI Gui-hua,CHANG Rui-hua.Detection of Fault In Software-Intensive System[J].Control & Automation,2008,24(22). |
| |
| Authors: | LIANG Hong-bo MU Xiao-dong SHUAI Gui-hua CHANG Rui-hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
