[发明专利]针对AADL描述的综合化航电系统模型的蓝图生成方法

说明书

技术领域

本发明涉及综合化航空电子系统建模技术领域，尤其涉及针对AADL描述的综合化航电系统模型的蓝图生成方法。

背景技术

在综合化、模块化航电系统中，通用系统管理软件负责整个综合化航电系统的运行，通过用户配置的蓝图文件实现资源、工作流程、模式控制、故障恢复和信息安全的控制与管理。根据综合化、模块化航电系统的特点，使用AADL建立航电系统模型，通过各种分析工具来验证用户的设计，是目前在航电系统建模方向的研究热点。当用户最终在真实的环境中运行综合完成的航电系统时，还需要运行时蓝图文件。通常用户可以通过在xml编辑器中编辑xml格式的蓝图文件，然后将xml格式的蓝图文件转换成可加载的二进制蓝图文件来获得运行时蓝图文件。但是在使用AADL建立航电系统模型时，蓝图文件中的数据已经反映到模型中了，为了避免用户手动编写蓝图文件，本发明提出了一种从航电系统模型中提取蓝图信息，自动生成可加载二进制蓝图文件的方法。该方法提高了综合化航电系统开发效率，节约开发和维护成本，对提高软件系统的可信性具有重要的意义。

发明内容

为了解决现有的用户手动编辑蓝图文件费时、费工、易出错的技术问题，本发明提供了一种针对AADL描述的综合化航电系统模型的蓝图生成方法，本发明针对AADL建立的航电系统模型，自动生成运行时蓝图。

本发明所具有的技术解决方案：

一种针对AADL描述的综合化航电系统模型的蓝图生成方法：其特殊之处在于：包括以下步骤：

1】建模：用户在AADL建模环境中自底向上建立航电系统模型：

1.1】对硬件结构建模：

1.1.1】针对航电系统中的所有处理单元建立对应的处理单元模型，

所述处理单元模型包括对应处理单元的属性信息描述和配置上电测试模型；所述处理单元的属性信息描述包括物理ID；

1.1.2】针对航电系统中的所有通用功能模块(CFM)建立功能模块模型，所述功能模块模型中包含从步骤1.1.1】中建立的处理单元模型中选取的处理单元模型、对应通用功能模块的属性信息描述以及通用功能模块包含的通信接口模型，所述通用功能模块的属性信息包括通用功能模块类型和插槽号；所述选取的处理单元模型至少为一个，所述选取的处理单元模型的物理ID与通用功能模块的插槽号对应；

1.1.3】针对航电系统中硬件平台建立分布式硬件模型，所述分布式硬件模型包括至少一个从步骤1.1.2】中建立的功能模块模型中选取的功能模块模型，所述分布式硬件模型根据功能选取对应的功能模块模型；

1.2】对软件结构建模：

1.2.1】针对运行在处理单元上的应用分区建立应用分区模型，

所述应用分区模型中包含多个进程模型、用于通信的端口模型、健康监控模型以及对应应用分区的属性信息描述，所述对应应用分区的属性信息描述包括应用分区的分区名、应用分区占用的内存大小以及应用分区类型；

所述进程模型包括进程模型的属性信息描述，所述进程模型的属性信息包括进程名、基本优先级、周期以及截止期，

所述端口模型包括端口模型的属性信息描述，所述端口模型的属性信息包括端口类型以及传输模式；

所述健康监控模型包括健康监控模型的属性信息描述，所述健康监控模型的属性信息包括错误类型、运行状态以及处理地址；

1.2.2】针对航电系统的RE级建立对应的TLS模型，所述TLS模型中包含至少一个应用分区模型、至少一个TLS逻辑配置模型、至少一个调度表模型、故障过滤模型、故障过滤器模型、用于通信的TLS通道模型和传输连接模型、健康监控模型以及TLS模型的属性信息描述，

TLS模型中包括的应用分区模型是TLS模型根据功能从步骤1.2.1】建立的应用分区模型中选取，一个TLS逻辑配置模型对应一种运行模式配置；

1.2.3】针对航电系统的IA级建立所有的IA级模型，所述IA级模型中包括至少一个从步骤1.2.2】建立的TLS模型中根据功能选取的TLS模型、至少一个IA逻辑配置模型、故障过滤模型、故障过滤器模型以及IA级模型的属性信息描述，一个IA逻辑配置模型对应一种运行模式配置；

1.2.4】针对航电系统的AC级建立AC级模型，所述AC级模型包括所管理的零到多个IA级模型、零到多个TLS模型、至少一个AC级逻辑配置模型、、故障过滤模型、故障过滤器模型以及AC级模型的属性信息描述，所述AC级模型的属性信息包括AC级模型所在的TLS模型标识；

1.2.5】建立AC级动作模型、IA级动作模型和RE级动作模型，