专利名称：针对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、本发明通过建立航电系统模型自动生成蓝图，避免了用户手动编写蓝图文件，解决了现有的用户手动编辑蓝图文件费时、费エ、易出错的缺陷，提高蓝图生成效率。2、本发明通过对航电系统模型的合法性检查，提高了数据的可靠性。3、本发明提出了一种从航电系统模型中提取蓝图信息，自动生成可加载ニ进制蓝图文件的方法。该方法提高了综合化航电系统开发效率，节约开发和维护成本，对提高软件系统的可信性具有重要的意义。4、本发明通过对航电系统模型进行合法性检查，根据综合化、模块化航电系统的特点和要求，对用户建立的模型进行合法性检查，提高建模的正确率，主要检查两个方面内容，对模型结构的检查和对模型中的性质值的检查。对模型结构检查目的是检查模型的完整性，即检查是否缺少蓝图中某个部分的配置信息。对模型中的性质值的检查确保数据的有效性和合法性。
图I综合化、模块化航电系统单机软件结构；图2通用系统管理软件系统结构；图3综合化、模块化航电系统硬件结构；图4xml格式蓝图数据结构(一)；图5xml格式蓝图数据结构(ニ)；图6xml格式蓝图数据结构(三)；图7可加载蓝图数据文件格式。
具体实施方式
综合化、模块化航电系统中两个通用功能模块(CFM)之间的关系如图I所示，通用系统管理软件的三层结构如图2所示。AC级系统管理负责控制和监控整个综合化、模块化航电系统IMA (Integrated Module Avionics)。IA级系统管理负责控制某一子功能模块，RE级系统管理是最底层的系统管理，负责管理单个PE (Processing Element)的功能。综合化、模块化航电系统硬件结构如图3所示。在生成蓝图文件前，用户需要在AADL建模环境中自底向上建立航电系统的模型。根据要实现的航电系统的软、硬件结构分步进行建摸。步骤一、对硬件结构的建模步骤为I.建立所有的处理单元模型，每个处理单元包含ー个CPU，设置处理单元的CPU类型、物理ID、内存大小等处理单元属性信息描述，配置上电测试模型；2.建立所有的功能模块模型，每个模块模型中包含多个处理単元模型，这些处理単元模型从第I步中建立的处理单元模型中选取，设置模块模型的模块类型、插槽号属性信息，以及模块包含的通信接ロ ；3.建立航电系统硬件平台模型，硬件平台中包含多个模块模型，这些模块模型从第2步中建立的模型中选取，根据具体的通信要求，连接模块的通信接ロ以实现这些通信要求。步骤ニ、对软件结构的建模步骤为I.建立所有的应用分区模型，每个应用分区中包含多个进程模型、与其它分区通信使用的端ロ、使用的健康监控信息，设置每个分区的分区名、占用的内存大小、分区类型等属性信息，设置每个分区包含的进程的进程名、基本优先级、进程周期、截止期等属性信息，每个分区包含端ロ的端ロ类型、传输模式等属性信息；2.建立所有的TLS模型，每个TLS中包含多个应用分区模型、多个TLS逻辑配置模型、多个调度表模型、与其它TLS通信使用通道和传输连接、健康监控配置模型，TLS中包含的应用分区模型从第一歩建立的模型中选取，每种TLS逻辑配置模型对应ー种运行模式配置，设置TLS模型的属性信息；3.建立所有的IA级模型，每个IA中包含多个三层栈(TLS)模型，IA逻辑配置模型，TLS模型从第二步中建立的模型中选取，设置IA模型的属性信息；4.建立AC级模型，AC模型也作为分布式系统的软件模型，它包含所管理的IA模型、TLS模型、零到多个TLS逻辑配置模型、O到多个IA逻辑配置模型、使用的动作列表ID集合、使用的故障过滤表信息、故障过滤器配置信息，IA模型、TLS模型从第二步和第三步中选择，设置AC模型的属性信息；5.建立AC、IA和RE级动作模型；软件模型和硬件模型建立完成之后，需要对软件到硬件的映射关系进行建模，然后建立分布式系统模型。分布式系统模型包含的模型是分布式软件模型、分布式硬件模型以及软硬件的映射关系模型。建立好的航电系统模型以文件形式存放在ー个工作空间中，这些文件可以组织在多个工程中。步骤三、根据航电系统模型自动生成蓝图文件的步骤为I.对航电系统模型进行合法性检查； 2.从用户建立的航电系统模型中提取运行时蓝图需要的数据；3.根据软件系统模型的逻辑结构，自动生成系统相关的蓝图文件中的部分数据；4.由模型中的数据和自动生成的数据形成完整的蓝图数据，并生成xml格式的蓝图文件；5.根据运行时蓝图数据格式要求从xml格式的蓝图文件生成可加载的ニ进制蓝图文件。步骤I完成对航电系统模型的合法性检查，主要包括两个方面，对模型结构的检查和对模型中的性质值的检查。对模型结构检查目的是检查模型的完整性，即检查是否缺少蓝图中某个部分的配置信息，包括——AC、IA和TLS级是否存在动作列表ID集合配置、故障过滤表和过滤器配置；——应用分区配置中是否存在分区健康监控、进程配置；——是否存在动作列表和逻辑到物理映射配置。对模型中的性质值的检查包括——所有的名字长度不能超过30个字节；——所有的路径长度不能超过64个字节；——所有的时间要检查值和単位匹配后的时间值不能超过长整形范围；-重名、重号检查。步骤2主要完成系统模型输入数据提取，涉及到的主要模型有分布式硬件系统模型、软件系统模型、逻辑到物理映射模型和各级动作列表模型。从分布式硬件系统模型获取的信息包括——每个硬件模块信息模块类型、包含的处理单元、使用的接ロ ；——每个处理单元信息处理单元的名字、编号、使用的上电测试表。从分布式软件系统模型获取的信息包括—AC级信息AC级属性信息、AC级逻辑配置信息、AC级故障过滤表信息、故障过滤器配置信息、动作配置信息、AC级管理的IA、AC级管理的TLS ；—IA级信息IA级属性信息、IA级逻辑配置信息、IA级故障过滤表信息、故障过滤器配置信息、动作配置信息、IA级管理的TLS ；——TLS信息TLS属性信息、TLS逻辑配置信息、TLS故障过滤表信息、故障过滤器配置信息、动作配置信息、系统健康监控、模块健康监控、调度表信息、虚通道配置；——应用分区信息应用分区属性信息、分区中的进程配置信息、端ロ配置信息。
步骤3主要完成自动生成用户不使用而系统管理使用的数据，这些数据有GSM分区配置、TLS初始逻辑配置、飞机级初始逻辑配置、AC模块与各个模块的初始逻辑配置。自动生成的GSM分区配置包含——分区属性；——分区中包含的所有进程；——分区中包含的所有端ロ。每个TLS初始逻辑配置——网络配置；
——与GSM分区通信使用的通道、传输连接、接ロ配置；——调度表。飞机级初始逻辑配置——子TLS逻辑配置信息。AC与各个模块的初始通信配置——发送端与接收端的标识信息；——发送端与接收端通信使用的发送、接收传输连接号；——发送端与接收端通信使用的发送、接收传输连接配置。步骤4完成将模型中提取的数据和自动生成的数据组合形成完整的蓝图数据，并请求用户输入保存文件的路径和文件名，将这些数据以固定的格式存储到xml文件中。用户可以直接使用xml编辑工具打开该文件，浏览和修改该文件。蓝图文件数据结构如图4、5、6所示。步骤5完成从xml格式的蓝图文件生成可加载的ニ进制蓝图文件功能，xml格式的蓝图文件是人较易识别和操作的文件，而ニ进制文件则是机器识别的文件，该步骤读取xml格式的蓝图文件按照目标机程序的要求将数据组织为固定的格式，最終形成ニ进制的数据文件，数据文件格式如图7所示。对航电系统模型进行合法性检查，根据综合化、模块化航电系统的特点和要求，对用户建立的模型进行合法性检查，提高建模的正确率，主要检查两个方面内容，对模型结构的检查和对模型中的性质值的检查。对模型结构检查目的是检查模型的完整性，即检查是否缺少蓝图中某个部分的配置信息。对模型中的性质值的检查确保数据的有效性和合法性。提取运行时蓝图需要的数据，主要完成系统模型输入数据提取，涉及到的主要模型有分布式硬件系统模型、软件系统模型、逻辑到物理映射模型和各级动作列表模型。从分布式硬件系统模型获取的信息包括每个硬件模块相关信息、每个处理单元相关信息。从分布式软件系统模型获取的信息包括飞机级、综合区级、TLS、分区相关信息。自动生成系统相关的数据，完成自动生成用户不使用而系统管理使用的数据，这些数据有GSM分区配置、TLS初始逻辑配置、飞机级初始逻辑配置、大容量模块与各个模块的初始逻辑配置。GSM分区配置信息有分区属性、分区中包含的所有进程、分区中包含的所有端ロ。每个TLS初始逻辑配置信息有网络配置、与GSM分区通信使用的通道、TC、接ロ配置、调度表。形成完整蓝图数据，完成将模型中提取的数据和自动生成的数据组合形成完整的蓝图数据，并请求用户输入保存文件的路径和文件名，将这些数据以固定的格式存储到xml文件中。用户可以直接使用xml编辑工具打开该文件，浏览和修改该文件。生成可加载的ニ进制蓝图文件完成从xml格式的蓝图文件生成可加载的ニ进制蓝图文件功能，xml格式的蓝图文件是人较易识别和操作的文件，而ニ进制文件则是机器识别的文件，该步骤读取xml格式的蓝图文件按照目标机程序的要求将数据组织为固定的格式，最終形成ニ进制的数据文件。实施例以ー个综合化、模块化航电系统为例，在该系统中有4块通用模块，每块板子上有两个CPU，软件为三层结构，飞机级软件驻留在大容量模块上，AC管理I个综合区和3个TLS，使用该开发平台中的结构建模工具建立一个综合化、模块化航电系统模型，并为各个模型设置相应的属性值。用户在结构建模平台下进行模型的分析和设计后，在真实的环境 中运行时，需要使用xml编辑器编辑xml格式的蓝图文件，将XML格式的蓝图文件转换为可加载的ニ进制数据文件。为了避免用户手动编写蓝图文件，现在使用从航电系统模型中提取蓝图信息，自动生成可加载ニ进制蓝图文件的方法，该方法工作步骤是I.对航电系统模型进行合法性检查，将错误位置、提示显示在错误提示视图中，用户根据错误修改模型，重新检查模型，直到模型完全合法；2.获取模型中的数据获取硬件结构信息、属性信息，获取软件结构信息、AC级信息、IA级信息、TLS级信息，获取软硬件映射信息；3.根据步骤2获取的系统结构，自动生成各级GSM分区配置、TLS初始逻辑配置、飞机级初始逻辑配置、大容量模块与各个模块的初始逻辑配置；4.根据步骤2和步骤3获取的数据，按照蓝图格式形成完整蓝图数据，提示用户提供生成蓝图文件的保存路径和文件名，在该路径下保存生成的xml格式的蓝图文件；5.根据ニ进制蓝图文件数据的要求将xml格式的蓝图文件转换为ニ进制文件。用此方法进行蓝图生成，能够自动生成与GSM相关的数据信息，减轻航电系统建模人员的负担，检查模型中数据的合法性，提高数据的正确性；以AADL建模工具建立的航电系统模型为基础生成xml格式的蓝图文件，方便用户浏览、再次修改、与其它工具产生的数据合并；生成的可加载蓝图数据文件，可以直接加载到目标机上，方便用户在真实环境中运行调试系统。
权利要求
1.一种针对AADL描述的综合化航电系统模型的蓝图生成方法其特征在于包括以下步骤 I建模用户在AADL建模环境中自底向上建立航电系统模型 I.I对硬件结构建模 I.I. I针对航电系统中的所有处理单元建立对应的处理单元模型， 所述处理单元模型包括对应处理单元的属性信息描述和配置上电测试模型；所述处理单元的属性信息描述包括物理ID ； I.I. 2针对航电系统中的所有通用功能模块(CFM)建立功能模块模型，所述功能模块模型中包含从步骤I. I. I中建立的处理单元模型中选取的处理单元模型、对应通用功能模块的属性信息描述以及通用功能模块包含的通信接口模型，所述通用功能模块的属性信息包括通用功能模块类型和插槽号；所述选取的处理单元模型至少为一个，所述选取的处理单元模型的物理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级动作模型， .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.I检查航电系统模型的合法性 .2.I. I检查航电系统模型结构的完整性(即检查是否缺少蓝图中某个部分的配置信息)，检查的项目为AC级、IA级和TLS级是否存在对应的动作ID集合、故障过滤模型和故障过滤器模型；应用分区模型中是否存在健康监控模型、进程模型；是否存在AC级动作模型、IA级动作模型和RE级动作模型和软件到硬件的映射关系模型； .2.I. 2检查航电系统模型的属性信息； .2.2从航电系统模型中提取运行时用户配置蓝图数据 .2.2. I从分布式硬件模型中获取选取的功能模块模型信息， 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用户加载蓝图文件到 目标机。
全文摘要
本发明涉及一种针对AADL描述的综合化航电系统模型的蓝图生成方法，包括以下步骤1.建模用户在AADL建模环境中自底向上建立航电系统模型1.1.对硬件结构建模；1.2.对软件结构建模；1.3.建立软件到硬件的映射关系模型；1.4.建立分布式系统模型所述分布式系统模型包括分布式软件模型、分布式硬件模型和软件到硬件的映射关系模型；2.根据航电系统模型自动生成蓝图；3.用户加载蓝图文件到目标机。本发明解决了现有的用户手动编辑蓝图文件费时、费工、易出错的技术问题，本发明针对AADL建立的航电系统模型，自动生成运行时蓝图，避免了用户手动编写蓝图文件，提高蓝图生成效率。
文档编号G06F17/30GK102750301SQ20111045202
公开日2012年10月24日 申请日期2011年12月29日 优先权日2011年12月29日
发明者王宁, 田丹, 钟珊, 黄英兰 申请人:中国航空工业集团公司第六三一研究所