题目：基于Internet数据的关键系统运行时安全性分析

      传统的安全性分析方法没有充分考虑研究对象运行时的安全性。运行时安全性分析方法作为一种提出不久的新方法，能够对研究对象运行时的安全性进行分析。相对于传感器和探测器上的数据，Internet数据有着独到的优势。实时环境数据影响着研究对象的安全性，所以用来作为运行时安全性分析的数据源。本文的安全性分析方法采用了FTA，并在此基础上形成了运行时FTA分析方法。故障树的存储方式分为文本文件存储和脚本文件存储。运行时FTA分析是通过C++工具和Qt工具分别处理存储故障树的文本文件和脚本文件来实现。本文在案例分析中将运行时安全性分析运用到无人机模型中。文章的主要内容有：

(1) 提出了运行时FTA分析的完整的实现过程；

(2) 给出Internet数据采集的框架，实现Internet数据采集；

(3) 研究OpenFTA中的两个文本文件即fta文件和ped文件的表达方式和表示故障树的方法，学习XML脚本文件并提出了用XML表达故障树的方法；

(4) 开发了两种运行时FTA分析的工具：基于C++的工具用来处理文本文件存储的故障树，基于Qt的工具用来处理脚本文件存储的故障树；

(5) 以无人机模型为研究对象进行运行时安全性分析的案例研究，确定运行时安全性分析的步骤和运行时FTA分析的步骤，并加以实现。