题目：知识库辅助的嵌入式控制软件验证

嵌入式控制软件在当今智能控制系统或者控制监视等装置中占据不可替代的位置[1]。所以嵌入式控制软件的安全性可靠性问题也就成了业界比较关心的主题。嵌入式控制软件的验证技术包括测试、分析和评审，其中分析技术在嵌入式控制软件这类具有软件和系统耦合度高的系统中具有重要的作用，因此本文从分析技术，特别是FMEA（故障模式及影响分析）入手，开展相关研究。本文所述的技术、方法和工具也可以推广到其他的验证方法中。

知识作为任意活动的重要资源。随着人工智能和数据库的发展，也促进知识库的发展，使得基于知识的系统更加智能化。知识库的理念已经被广泛的应用在了各个领域，特别是在当前方法或技术方面不足的情况下，模拟专家为问题提供了新的解决途径，能够有效的解决实际的问题。

本文以知识库平台的应用为背景，对于嵌入式控制软件的可靠性分析中常用分析方法FMEA方法为切入点，对其常用的FMEA失效模式相似度进行验证分析，以达探索其重用失效模式的目的。主要的工作内容有：

1. 调研和评述了知识工程理论和方法以及嵌入式控制软件验证理论和方法；

2. 研究了基于Prolog和本体论的知识库系统，并将其应用在FMEA分析中；

3. 重点研究了对嵌入式控制系统非常关键的传感器失效模式的管理和重用方法;

4. 开发了相关的软件原型，进行了方法的可行性验证。

所以，在本文中，以专家系统的平台和当前常用的失效模式匹配理论为基础，结合知识库广泛运用的前提，对嵌入式控制软件进行安全性可靠性验证，实现本文的目标。