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

权利要求书

1.一种基于形式化规则的飞行引导控制软件可靠性分析系统，其特征在于：它包括飞行引导控制软件需求建模模块(1)、飞行引导控制软件可靠性分析规则管理模块(2)、飞行引导控制软件可靠性分析规则形式化描述模块(3)和基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)，其中，飞行引导控制软件需求建模模块(1)用于向飞行引导控制软件可靠性分析规则管理模块(2)、飞行引导控制软件可靠性分析规则形式化描述模块(3)和基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)输出飞行引导控制软件需求模型文件；

飞行引导控制软件可靠性分析规则管理模块(2)用于从飞行引导控制软件需求建模模块(1)接收飞行引导控制软件需求模型文件，并根据飞行引导控制软件需求模型文件结合选定的可靠性标准要求与飞行引导控制软件的指挥协同运行特征、任务场景运行特征、人机交互运行特征、网络架构运行特征和设备状态运行特征向飞行引导控制软件可靠性分析规则形式化描述模块(3)输出飞行引导控制软件可靠性分析规则；

飞行引导控制软件可靠性分析规则形式化描述模块(3)用于从飞行引导控制软件需求建模模块(1)接收飞行引导控制软件需求模型文件，同时，从飞行引导控制软件可靠性分析规则管理模块(2)接收飞行引导控制软件可靠性分析规则，并根据飞行引导控制软件需求模型文件和飞行引导控制软件可靠性分析规则运用集合论与谓词逻辑，以伪代码算法的方式，向基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)输出形式化飞行引导控制软件可靠性分析规则；

基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)用于从飞行引导控制软件需求建模模块(1)接收飞行引导控制软件需求模型文件，同时，从飞行引导控制软件可靠性分析规则形式化描述模块(3)接收形式化飞行引导控制软件可靠性分析规则，并利用飞行引导控制软件可靠性自动分析算法，输出飞行引导控制软件可靠性自动分析数据。

2.根据权利要求1所述的基于形式化规则的飞行引导控制软件可靠性分析系统，其特征在于：飞行引导控制软件需求模型文件包括外部接口模型、独立功能模型、功能组合模型、状态转移模型；

外部接口模型用于描述飞行引导控制软件的外部输入接口、外部输出接口数据信息；独立功能模型用于描述飞行引导控制软件控制过程和控制逻辑；功能组合模型用于描述飞行引导控制软件功能之间的并发、顺序、调用关系；状态转移模型用于描述飞行引导软件所处的不同工作状态、状态之间的转移条件和转移路径。

3.根据权利要求1所述的基于形式化规则的飞行引导控制软件可靠性分析系统，其特征在于：所述飞行引导控制软件可靠性分析规则包括输入接口分析规则、功能处理分析规则、功能组合分析规则、状态转移分析规则以及输出接口分析规则。

4.一种权利要求1所述系统的飞行引导控制软件可靠性分析方法，其特征在于，它包括如下步骤：

步骤1：飞行引导控制软件需求建模模块(1)根据飞行引导控制软件外部接口需求、飞行引导控制软件功能逻辑需求、飞行引导控制软件状态转移需求和飞行引导控制软件人机界面需求，依据UML图形建模方法进行需求建模，形成外部接口模型、独立功能模型、功能组合模型以及状态转移模型；

步骤2：飞行引导控制软件可靠性分析规则管理模块(2)，将选定的可靠性标准要求与飞行引导控制软件的指挥协同运行特征、任务场景运行特征、人机交互运行特征、网络架构运行特征、设备状态运行特征，以及外部接口模型、独立功能模型、功能组合模型以及状态转移模型相结合，形成飞行引导控制软件可靠性分析规则；

步骤3：所述飞行引导控制软件可靠性分析规则形式化描述模块(3)，接收飞行引导控制软件可靠性分析规则管理模块(2)产生的各类飞行引导控制软件可靠性分析规则，并基于飞行引导控制软件需求建模模块(1)输出的软件需求模型，运用集合论与谓词逻辑，以伪代码算法的方式，将各类飞行引导控制软件可靠性分析规则进行形式化描述，得到形式化飞行引导控制软件可靠性分析规则；

步骤4：基于形式化规则的飞行引导控制软件可靠性自动分析模块(4)根据飞行引导控制软件需求建模模块(1)输出的软件需求模型和飞行引导控制软件可靠性分析规则形式化描述模块(3)输出的形式化飞行引导控制软件可靠性分析规则利用飞行引导控制软件可靠性自动分析算法得到飞行引导控制软件可靠性自动分析数据。