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

本发明专利技术涉及一种针对AADL描述的综合化航电系统模型的蓝图生成方法，包括以下步骤：1.建模：用户在AADL建模环境中自底向上建立航电系统模型：1.1.对硬件结构建模；1.2.对软件结构建模；1.3.建立软件到硬件的映射关系模型；1.4.建立分布式系统模型：所述分布式系统模型包括分布式软件模型、分布式硬件模型和软件到硬件的映射关系模型；2.根据航电系统模型自动生成蓝图；3.用户加载蓝图文件到目标机。本发明专利技术解决了现有的用户手动编辑蓝图文件费时、费工、易出错的技术问题，本发明专利技术针对AADL建立的航电系统模型，自动生成运行时蓝图，避免了用户手动编写蓝图文件，提高蓝图生成效率。

【技术实现步骤摘要】

本专利技术涉及综合化航空电子系统建模
，尤其涉及针对AADL描述的综合化航电系统模型的蓝图生成方法。
技术介绍
在综合化、模块化航电系统中，通用系统管理软件负责整个综合化航电系统的运行，通过用户配置的蓝图文件实现资源、工作流程、模式控制、故障恢复和信息安全的控制与管理。根据综合化、模块化航电系统的特点，使用AADL建立航电系统模型，通过各种分析工具来验证用户的设计，是目前在航电系统建模方向的研究热点。当用户最终在真实的环境中运行综合完成的航电系统时，还需要运行时蓝图文件。通常用户可以通过在xml编辑器中编辑xml格式的蓝图文件，然后将xml格式的蓝图文件转换成可加载的ニ进制蓝图文件来获得运行时蓝图文件。但是在使用AADL建立航电系统模型时，蓝图文件中的数据已经反映到模型中了，为了避免用户手动编写蓝图文件，本专利技术提出了一种从航电系统模型中提取蓝图信息，自动生成可加载ニ进制蓝图文件的方法。该方法提高了综合化航电系统开发效率，节约开发和维护成本，对提高软件系统的可信性具有重要的意义。
技术实现思路
为了解决现有的用户手动编辑蓝图文件费时、费エ、易出错的技术问题，本专利技术提供了一种针对AADL描述的综合化航电系统模型的蓝图生成方法，本专利技术针对AADL建立的航电系统模型，自动生成运行时蓝图。本专利技术所具有的技术解决方案一种针对AADL描述的综合化航电系统模型的蓝图生成方法其特殊之处在于包括以下步骤I建模用户在AADL建模环境中自底向上建立航电系统模型I. I对硬件结构建模I. I. I针对航电系统中的所有处理单元建立对应的处理单元模型，所述处理単元模型包括对应处理单元的属性信息描述和配置上电测试模型；所述处理单兀的属性信息描述包括物理ID ；I. I. 2针对航电系统中的所有通用功能模块(CFM)建立功能模块模型，所述功能模块模型中包含从步骤1.1.1中建立的处理单元模型中选取的处理单元模型、对应通用功能模块的属性信息描述以及通用功能模块包含的通信接ロ模型，所述通用功能模块的属性信息包括通用功能模块类型和插槽号；所述选取的处理单元模型至少为ー个，所述选取的处理单元模型的物理ID与通用功能模块的插槽号对应；I. I. 3针对航电系统中硬件平台建立分布式硬件模型，所述分布式硬件模型包括至少ー个从步骤I. I. 2中建立的功能模块模型中选取的功能模块模型，所述分布式硬件模型根据功能选取对应的功能模块模型；I. 2对软件结构建模I. 2. I针对运行在处理单元上的应用分区建立应用分区模型，所述应用分区模型中包含多个进程模型、用于通信的端ロ模型、健康监控模型以及对应应用分区的属性信息描述，所述对应应用分区的属性信息描述包括应用分区的分区名、应用分区占用的内存大小以及应用分区类型；所述进程模型包括进程模型的属性信息描述，所述进程模型的属性信息包括进程名、基本优先级、周期以及截止期，所述端ロ模型包括端ロ模型的属性信息描述，所述端ロ模型的属性信息包括端ロ类型以及传输模式；所述健康监控模型包括健康监控模型的属性信息描述，所述健康监控模型的属性信息包括错误类型、运行状态以及处理地址； I. 2. 2针对航电系统的RE级建立对应的TLS模型，所述TLS模型中包含至少ー个应用分区模型、至少ー个TLS逻辑配置模型、至少ー个调度表模型、故障过滤模型、故障过滤器模型、用于通信的TLS通道模型和传输连接模型、健康监控模型以及TLS模型的属性信息描述，TLS模型中包括的应用分区模型是TLS模型根据功能从步骤I. 2. I建立的应用分区模型中选取，ー个TLS逻辑配置模型对应ー种运行模式配置；I. 2. 3针对航电系统的IA级建立所有的IA级模型，所述IA级模型中包括至少ー个从步骤I. 2. 2建立的TLS模型中根据功能选取的TLS模型、至少ー个IA逻辑配置模型、故障过滤模型、故障过滤器模型以及IA级模型的属性信息描述，ー个IA逻辑配置模型对应ー种运行模式配置；I. 2. 4针对航电系统的AC级建立AC级模型，所述AC级模型包括所管理的零到多个IA级模型、零到多个TLS模型、至少ー个AC级逻辑配置模型、、故障过滤模型、故障过滤器模型以及AC级模型的属性信息描述，所述AC级模型的属性信息包括AC级模型所在的TLS模型标识；1.2.5]建立AC级动作模型、IA级动作模型和RE级动作模型，I. 2. 6为AC级模型根据功能从AC级动作模型中选取AC级动作ID集合，为IA级模型根据功能从IA级动作模型中选取IA级动作ID集合，为TLS模型根据功能从RE级动作模型中选取RE级动作ID集合，I. 2. 7建立分布式软件模型，所述分布式软件模型包括AC级模型、AC级动作模型、IA级动作模型和RE级动作模型I. 3建立软件到硬件的映射关系模型；I. 4建立分布式系统模型所述分布式系统模型包括分布式软件模型、分布式硬件模型和软件到硬件的映射关系模型；2根据航电系统模型自动生成蓝图2. I检查航电系统模型的合法性2. I. I检查航电系统模型结构的完整性(即检查是否缺少蓝图中某个部分的配置信息)，检查的项目为AC级、IA级和TLS级是否存在对应的动作ID集合、故障过滤模型和故障过滤器模型；应用分区模型中是否存在健康监控模型、进程模型；是否存在AC级动作模型、IA级动作模型和RE级动作模型和软件到硬件的映射关系模型；2. I. 2检查航电系统模型的属性信息；2. 2从航电系统模型中提取运行时用户配置蓝图数据2. 2.1]从分布式硬件模型中获取选取的功能模块模型信息，TLS模型2. 2. 3从处理単元模型中获取对应处理単元的属性信息、配置上电测试信息，2. 2. 4从AC级模型中获取所管理的零到多个IA级模型信息、零到多个TLS模型信息、至少ー个AC级逻辑配置模型信息、故障过滤信息、故障过滤器信息以及AC级模型的属性信息，2. 2. 5从IA级模型中获取选取的TLS模型信息、至少ー个IA逻辑配置信息、故障过滤信息、故障过滤器信息以及IA级模型的属性信息，2. 2. 6从TLS模型中获取应用分区模型信息、TLS逻辑配置信息、至少ー个调度表信息、故障过滤信息、故障过滤器信息、用于通信的TLS通道信息和传输连接信息、健康监控模型信息以及TLS模型的属性信息，2. 2. 7从软件到硬件的映射关系模型中获取软件到硬件的映射关系信息；2. 2. 8从所建立的航电系统模型中的各个模型中获取对应航电系统各个单元的属性信息、接ロ信息、障过滤信息、故障过滤器信息、动作信息和动作ID集合信息2. 3根据分布式软件模型的逻辑结构，生成蓝图文件中的系统管理使用的数据，所述系统管理使用的数据包括GSM分区配置数据、TLS初始逻辑配置数据、飞机级初始逻辑配置数据、AC级模块与各个模块的初始通信配置数据；2. 4将步骤2. 2中得到的用户配置蓝图数据和步骤2. 3中得到的系统管理使用数据组合，形成完整的蓝图数据，以固定的格式存储到xml文件中；2. 5按照目标机程序的要求将步骤2. 4中形成的完整的蓝图数据从xml格式生成可加载的ニ进制蓝图文件；3用户加载蓝图文件到目标机。本专利技术的技术解决方案I、本专利技术通过建立航电系统模型自动生成蓝图，避免了用户手动编写蓝图文件，解决了现有的用户手动编辑蓝图文本文档来自技高网...

【技术保护点】
一种针对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】从分布式硬件模型中获取选取的功能模块模型信息，TLS模型2.2.3】从处理单元模型中获取对应处理单元的属性信息、配置上电测试信息，2.2.4】从AC级模型中获取所管理的零到多个IA级模型信息、零到多个TLS模型信息、至少一个AC级逻辑配置模型信息、故障过滤信息、故障过滤器信息以及AC级模型的属性信息，2.2.5】从IA级模型中获取选取的TLS模型信息、至少一个IA逻辑配置信息、故障过滤信...

【技术特征摘要】

【专利技术属性】
技术研发人员：黄英兰，王宁，田丹，钟珊，
申请(专利权)人：中国航空工业集团公司第六三一研究所，
类型：发明
国别省市：