[发明专利]基于形式化规则的飞行引导控制软件可靠性分析系统与方法

摘要

本发明涉及一种基于形式化规则的飞行引导控制软件可靠性分析系统，它包括飞行引导控制软件需求建模模块、飞行引导控制软件可靠性分析规则管理模块、飞行引导控制软件可靠性分析规则形式化描述模块和基于形式化规则的飞行引导控制软件可靠性自动分析模块，本发明围绕需求模型进行自动化遍历失效模式分析，充分识别需求中尚未明确或考虑的潜在逻辑分支，分析存在的安全隐患。提升软件可靠性分析工作的效率和质量，确保需求质量与完整性，保障软件可靠性水平满足飞行引导控制系统的研制要求。

主权项

1.一种基于形式化规则的飞行引导控制软件可靠性分析系统，其特征在于：它包括飞行引导控制软件需求建模模块(1)、飞行引导控制软件可靠性分析规则管理模块(2)、飞行引导控制软件可靠性分析规则形式化描述模块(3)和基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)，其中，飞行引导控制软件需求建模模块(1)用于向飞行引导控制软件可靠性分析规则管理模块(2)、飞行引导控制软件可靠性分析规则形式化描述模块(3)和基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)输出飞行引导控制软件需求模型文件；飞行引导控制软件可靠性分析规则管理模块(2)用于从飞行引导控制软件需求建模模块(1)接收飞行引导控制软件需求模型文件，并根据飞行引导控制软件需求模型文件结合选定的可靠性标准要求与飞行引导控制软件的指挥协同运行特征、任务场景运行特征、人机交互运行特征、网络架构运行特征和设备状态运行特征向飞行引导控制软件可靠性分析规则形式化描述模块(3)输出飞行引导控制软件可靠性分析规则；飞行引导控制软件可靠性分析规则形式化描述模块(3)用于从飞行引导控制软件需求建模模块(1)接收飞行引导控制软件需求模型文件，同时，从飞行引导控制软件可靠性分析规则管理模块(2)接收飞行引导控制软件可靠性分析规则，并根据飞行引导控制软件需求模型文件和飞行引导控制软件可靠性分析规则运用集合论与谓词逻辑，以伪代码算法的方式，向基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)输出形式化飞行引导控制软件可靠性分析规则；基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)用于从飞行引导控制软件需求建模模块(1)接收飞行引导控制软件需求模型文件，同时，从飞行引导控制软件可靠性分析规则形式化描述模块(3)接收形式化飞行引导控制软件可靠性分析规则，并利用飞行引导控制软件可靠性自动分析算法，输出飞行引导控制软件可靠性自动分析数据。