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

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