针对AADL描述的综合化航电系统模型的蓝图生成方法

摘要

本发明涉及一种针对AADL描述的综合化航电系统模型的蓝图生成方法，包括以下步骤：1、建模：用户在AADL建模环境中自底向上建立航电系统模型：1.1、对硬件结构建模：1.2、对软件结构建模：1.3、建立软件到硬件的映射关系模型；1.4、建立分布式系统模型：所述分布式系统模型包括分布式软件模型、分布式硬件模型和软件到硬件的映射关系模型；2、根据航电系统模型自动生成蓝图：3、用户加载蓝图文件到目标机。本发明解决了现有的用户手动编辑蓝图文件费时、费工、易出错的技术问题，本发明针对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级动作模型；1.2.6】为AC级模型根据功能从AC级动作模型中选取AC级动作ID集合，为IA级模型根据功能从IA级动作模型中选取IA级动作ID集合，为TLS模型根据功能从RE级动作模型中选取RE级动作ID集合；1.2.7】建立分布式软件模型，所述分布式软件模型包括AC级模型、AC级动作模型、IA级动作模型和RE级动作模型；1.3】建立软件到硬件的映射关系模型；1.4】建立分布式系统模型：所述分布式系统模型包括分布式软件模型、分布式硬件模型和软件到硬件的映射关系模型；2】根据航电系统模型自动生成蓝图：2.1】检查航电系统模型的合法性：2.1.1】检查航电系统模型结构的完整性，即检查是否缺少蓝图中某个部分的配置信息，检查的项目为：AC级、IA级和TLS级是否存在对应的动作ID集合、故障过滤模型和故障过滤器模型；应用分区模型中是否存在健康监控模型、进程模型；是否存在AC级动作模型、IA级动作模型和RE级动作模型和软件到硬件的映射关系模型；2.1.2】检查航电系统模型的属性信息；2.2】从航电系统模型中提取运行时用户配置蓝图数据：2.2.1】从分布式硬件模型中获取选取的功能模块模型信息；2.2.2】从处理单元模型中获取对应处理单元的属性信息、配置上电测试信息；2.2.3】从AC级模型中获取所管理的零到多个IA级模型信息、零到多个TLS模型信息、至少一个AC级逻辑配置模型信息、故障过滤信息、故障过滤器信息以及AC级模型的属性信息；2.2.4】从IA级模型中获取选取的TLS模型信息、至少一个IA逻辑配置信息、故障过滤信息、故障过滤器信息以及IA级模型的属性信息；2.2.5】从TLS模型中获取应用分区模型信息、TLS逻辑配置信息、至少一个调度表信息、故障过滤信息、故障过滤器信息、用于通信的TLS通道信息和传输连接信息、健康监控模型信息以及TLS模型的属性信息；2.2.6】从软件到硬件的映射关系模型中获取软件到硬件的映射关系信息；2.2.7】从所建立的航电系统模型中的各个模型中获取对应航电系统各个单元的属性信息、接口信息、障过滤信息、故障过滤器信息、动作信息和动作ID集合信息；2.3】根据分布式软件模型的逻辑结构，生成蓝图文件中的系统管理使用的数据，所述系统管理使用的数据包括GSM分区配置数据、TLS初始逻辑配置数据、飞机级初始逻辑配置数据、AC级模块与各个模块的初始通信配置数据；2.4】将步骤2.2】中得到的用户配置蓝图数据和步骤2.3】中得到的系统管理使用数据组合，形成完整的蓝图数据，以固定的格式存储到xml文件中；2.5】按照目标机程序的要求将步骤2.4】中形成的完整的蓝图数据从xml格式生成可加载的二进制蓝图文件；3】用户加载蓝图文件到目标机。