论文摘要：面向安全苛刻系统可信性验证的检测方法关键技术研究

安全苛刻系统作为一类重要的系统，应用于航空航天、国防、交通运输等诸多安全关键领域中。由于任务电子系统组织结构复杂性，系统研制管理周期长等特点，任务系统的可信性已成为国内外非常关注并重点投入的研究课题。自动化检测作为支持系统可信性验证评估的手段之一，在安全苛刻系统可信性验证方面具有重要意义。

航空任务电子系统作为一类重要的安全苛刻系统，本文通过分析某任务电子系统的软硬件体系结构和警戒任务特点，构建了任务电子系统窗口树模型和状态机模型。基于这两个模型，提出了针对该系统可信性验证的综合检测方法。同时，设计实现了综合检测系统平台，实现了对任务电子系统的静态和动态检测，支持了任务电子系统可信性验证与评估。

本文的主要工作和取得成果如下：

（1）分析了某任务电子系统的软件和硬件体系结构特点，提出了一种基于任务分阶段思想的窗口树建模方法，结合警戒任务流转过程构建了窗口树模型，支持检测用例自动生成。

（2）以任务电子系统中的任务为主体，通过抽象技术形式化定义了整个任务电子系统任务流转过程中的状态，构建了任务电子系统警戒任务的状态转移图模型。

（3）在窗口树模型和状态机模型基础上，提出了基于模型检测的系统级综合检测方法。系统级综合检测方法包括静态检测和动态检测。静态检测关注系统非运行时的系统环境资源完整性、分系统的版本一致性，给出状态适配性和配置文件一致性检测流程；动态检测关注系统运行时系统功能的失效问题，给出一种基于模型检测的动态检测流程。

（4）基于任务电子系统模型和检测方法，设计实现了综合检测原型系统，验证了所提方法的有效性。