基于数据流分析的嵌入式系统故障检测方法研究

摘要

针对嵌入式系统端口变量故障检测难题,本文提出了一种基于数据流分析的故障检测方法,首先分析嵌入式系统端口变量的故障特点,然后定义端口变量依赖图采表示端口变量之间的依赖关系,在此基础上给出精确数据流分析过程,以及嵌入式系统端口变量的故障检测规则,实现了对嵌入式系统中端口变量相关故障的静态检测,并在某嵌入式系统显示模块进行了验证,结果表明该方法准确有效,适用于复杂软硬件系统的故障诊断.