题目：面向航空机载软件安全性工程框架的知识库研究

    软件在航空装备中扮演的角色日益重要，同时软件失效所引发的安全性问题也会引起重大的生命财产损失。目前我国航空机载软件安全性主要存在两个问题，一是缺少可应用于我国航空机载软件实际工作的安全性知识，二是缺少系统有效的软件安全性整体指导框架。本研究针对以上两个方面进行探讨，提出了面向航空机载软件安全性工程框架的知识库，对提高航空机载软件安全性具有十分重要的理论意义和实用价值。

    本文在对国内外航空机载软件安全性工程和知识库理论及应用进行充分调研分析的基础上，研究内容如下：

    首先本文通过对我国航空机载软件及其特点、发展和知识库理论的研究，提出了航空机载软件安全性知识库的构建原则，并在此原则上给出了航空机载软件安全性知识库框架。

    通过对软件引发事故机理的研究，确定航空机载软件安全性知识库的知识内容：航空机载软件知识、危险预防知识、危险检测排除知识，并将其细分为7类：软件初步危险清单、软件安全性通用需求、软件安全性设计准则、编码规范、需求检查单、设计检查单、安全性测试通用需求。

    针对确定的知识内容和知识的特点，确定人工获取的知识获取方法，知识表示和知识利用都采用面向对象和产生式相结合的方法，并在此基础上，针对每个知识分类，收集整理总结归纳出部分知识，并给出知识的表示。

    将航空机载软件安全性知识库应用到已有的航空机载软件安全性工程框架上，给出基于知识库的航空机载软件安全性工程框架，一方面给出框架细节的具体操作办法，另一方面验证知识库中知识的可用性，并不断进行更新。

    最后提出航空机载软件安全性知识库软件的需求规格说明，并实现了知识库的界面设计。