平台输出结论的形式化验证模型数据集

使用建模工具进行建模产生的数据，包括典型航电系统形式化建模、典型航电系统形式化建模方法研究报告；典型航电系统分层架构形式化组合验证技术研究报告；基于模型检验的航电系统安全性分析技术研究报告以及有源相控阵气象雷达SysML模型（xml文件）、RSS.smv、雷达模型.eapx。项目实施过程中产生的过程数据，研究完成故障传播架构模型构建，构建基于模型检验的航电系统安全性分析框架产生的数据；项目实施过程中产生的结果数据，包括表明平台输出结论的形式化验证模型数据。

搜集汇总

背景与挑战

背景概述

该数据集包含典型航电系统形式化建模、分层架构形式化组合验证及基于模型检验的安全性分析等技术报告，以及有源相控阵气象雷达SysML模型、RSS.smv等文件，共42个文件、12.11MB，用于支撑故障传播架构模型构建和平台输出结论的形式化验证。