专利名称：基于addl的综合化航电系统模型仿真验证系统及方法
技术领域：
本发明涉及综合化航空电子系统领域，具体涉及ー种针对AADL描述的综合化航电系统模型的仿真验证系统及方法。
背景技术：
在综合化、模块化航电系统中，通用系统管理软件负责整个综合化航电系统的运行，通过蓝图文件实现资源、工作流程、模式控制、故障恢复和信息安全的控制与管理。根据综合化、模块化航电系统的特点，使用AADL建立航电系统应用模型，通过各种分析工具来静态分析用户在时间、安全性、可靠性等方面设计的合理性，通过仿真方式来动态验证系统的资源分配、模式切換、故障处理等动态行为的正确性，是目前在航电系统建模方向的研究
ハ、、ハ、、°目前针对AADL构件模型的仿真有两种方法ー种是SAE组织的基于Eclipse的 ADeS项目，它实现了针对两个处理器上对AADL构件之间的通信以及调度的模型仿真，不针对整个综合化航电系统；另ー种是AADS和SCOPE的組合方法，它首先对AADL的构件模型按照POSIX标准进行代码转换，形成符合标准的C/C++代码，然后移植到LINUX下的SCOPE下再进行图形化的仿真，该方法仿真后直观形象，但是实现困难且复杂，很难在综合化航空电子系统中使用。
发明内容
针对现有AADL构件模型的仿真方法实现困难且复杂，很难在综合化航空电子系统应用的技术问题，本发明提供一种针对AADL描述的综合化航电系统模型的仿真验证系统及方法，针对AADL建立的航电系统应用模型，仿真验证目标机的时序行为、命令响应、模式切換、故障处理的正确性，提高综合化航电系统设计的正确性，为系统开发提供更可靠的数据。本发明的技术解决方案针对AADL描述的综合化航电系统模型的仿真验证系统，其特殊之处在于包括设置在宿主机上的宿主机端模块、设置在目标机上的目标机端模块以及运行平台，所述运行平台包括宿主机、目标机管理工具(TM)、多台目标机以及目标机服务器 (TS)，所述宿主机通过网络连接多台目标机，运行在宿主机上的目标机管理工具通过目标机服务器获取目标机信息；所述宿主机端模块包括蓝图解析器、应用程序生成器、用户界面、系统管理器、激励处理器、命令管理器、请求转发器、事件管理器、日志记录处理器、仿真分析器，所述用户界面获取xml格式的蓝图文件，并发送给蓝图解析器；发送仿真控制命令给事件管理器，接收事件管理器发送的更新事件更新用户界面，接收仿真分析器发送的更新状态显示或更新用户界面；所述蓝图解析器对接收到的蓝图文件进行解析得到应用分区数据和动作列表数据并进行封装，将应用分区数据发送给应用程序生成器，并将动作列表数据生成激励数据后发送给激励处理器；所述应用程序生成器根据代码生成技术将应用分区数据生成分区应用代码供编译链接加载；所述激励处理器根据激励数据在系统管理器中获取对应目标机信息，根据所获取的目标机信息产生注入故障命令并发送给命令管理器；所述命令管理器将接收到的注入故障命令发送给请求转发器，并接收请求转发器发送的命令回复信息，并将命令回复信息发送给激励处理器；所述请求转发器接收命令管理器发送的注入故障命令、系统管理器发送的请求获取目标机信息的命令和事件管理器发送的仿真控制命令，通过目标机服务器TS发送给目标机，接收目标机服务器发送的注入故障命令回复、对应目标机信息以及事件信息，将注入故障命令回复发送给命令管理器，将目标机信息发送给系统管理器，将事件信息发送给事件管理器；所述系统管理器向请求转发器发送请求获取目标机信息的命令，向激励处理器提供目标机信息，接收请求转发器发送的针对请求获取目标机信息的命令的目标机信息；所述事件管理器将仿真控制命令发送给请求转发器，接收请求转发回复的事件信息；所述日志记录处理器接收目标机服务器发送的仿真結果，将仿真结果封装形成日志分析记录发送给仿真分析器；所述仿真分析器用于日志分析记录的图形化处理，并将处理结果发送到用户界目标机端模块包括ー级代理、ニ级代理以及GSM分区代理，目标机服务器所发送给目标机的命令包括ニ级代理标识、源地址、目的地址以及命令内容；所述ー级代理用于接收目标机服务器发送的所有命令，进行解析处理、识别出ニ 级代理标识，发送给识别后的ニ级代理，接收ニ级代理发送的处理結果，将处理结果发送给目标机服务器；所述ニ级代理接收来自ー级代理的命令，进行分析如果ニ级代理具有处理该命令的能力，则进行处理，并将处理结果返回给ー级代理；否则，将命令转发到GSM分区代理；所述GSM分区代理接收ニ级代理发送的命令，执行命令，并将处理结果返回给ニ 级代理，GSM分区代理将系统运行过程中生成的特殊事件通过ニ级代理、ー级代理反馈给目标机服务器。上述目标机服务器自动将特殊事件发送给请求转发器，事件管理器从请求转发器获取特殊事件并通过用户界面显示。针对AADL描述的综合化航电系统模型的仿真验证方法，其特殊之处在于包括以下步骤1]运行平台加电，通过宿主机端的加载工具向目标机服务器发送加载操作系统和通用系统管理软件，目标机服务器向ー级代理发送加载请求，ー级代理完成加载操作后，向目标机服务器回复加载完成，目标机服务器通知宿主机端的加载工具加载完成；
2]发送日志上传配置事件2. 1]打开宿主机端模块中的用户界面，发送日志上传配置事件给事件管理器，所述日志上传配置事件包括日志上传路径配置信息、日志上传方式配置信息以及目标机端模块存储日志数据的缓存大小配置信息；2. 2]事件管理器将配置事件发送给请求转发器，请求转发器将配置事件发送给目标机服务器，目标机服务器将配置事件发送给ー级代理，由ー级代理将配置事件分发给ニ 级代理，ニ级代理记录该日志配置事件中的日志上传路径配置信息、日志上传方式配置信息以及目标机端模块存储日志数据缓存大小配置信息，并回复已处理配置事件信息给ー级代理，通过ー级代理和目标机服务器通知用户界面日志配置事件完成；3]用户界面获取xml格式的蓝图文件，并发送给蓝图解析器，蓝图解析器解析蓝图文件中的应用分区数据以及动作列表数据，生成应用程序生成器和激励处理器的输入；4]应用程序生成器根据用户在用户界面中指定的分区应用生成模板自动生成分区应用，构建后加载到相应的目标机作为仿真工作负载；5]用户通过用户界面发送仿真开始事件，用户界面发送仿真开始事件给事件管理器，事件管理器将仿真开始事件通过请求转发器、目标机服务器、ー级代理转发到ニ级代理中的仿真工具，ニ级代理收到该事件后开始记录事件信息，并将处理该事件的回复信息通过ー级代理、目标机服务器、请求转发器、命令管理器通知给用户界面；6]用户在用户界面中选定ー个目标机，发送故障注入命令给激励处理器6. 1]激励处理器向系统管理器请求获取当前目标机信息，系统管理器通过请求转发器、目标机服务器、ー级代理发送获取目标机信息的请求命令，ー级代理执行完该命令后将目标机信息通过目标机服务器、请求转发器回复给系统管理器，激励处理器获取到目标机信息后，与该目标机连接；6. 2]激励处理器将故障注入命令通过命令管理器、请求转发器、目标机服务器、一级代理、ニ级代理发送给所连接目标机上的仿真工作负载，由目标机上的GSM分区代理执行故障注入命令，并将故障注入命令执行结果通过ニ级代理、ー级代理、目标机服务器、请求转发器、命令管理器发送给激励处理器，激励处理器通过用户界面反馈给用户；7]执行注入故障命令的目标机出现注入故障命令的中所设置的故障事件后，该目标机的GSM分区代理将故障事件通过ニ级代理、ー级代理、目标机服务器、事件管理器发送给用户界面，用户界面将该故障事件的信息显示在界面中供用户參考；8]得到仿真结果8. 1]用户通过用户界面选定ー个目标机上传日志，用户界面将该上传日志事件通过事件管理器、请求转发器、目标机服务器、ー级代理发送给ニ级代理，ニ级代理将记录在缓冲区中的日志数据通过ー级代理、目标机服务器发送给日志记录处理器，同时ニ级代理还通过ー级代理、目标机服务器、事件管理器通知用户界面已处理该事件；8. 2]日志记录处理器组织日志数据，得到仿真结果，仿真分析器对仿真结果进行图形化处理并显示在用户界面；9通过用户界面验证仿真結果。本发明所具有的优点1、本发明提出了ー种对AADL描述的综合化航电系统应用模型的仿真验证方法，该方法以从模型中提取的运行时蓝图文件作为输入，自动应用程序生成器，验证应用系统的时序行为、命令响应、模式切換、故障处理是否正确，使得用户能够以较小的代价验证应用系统设计的正确性。2、本发明提供友好的图形界面和图形化的验证结果显示，方便用户控制仿真过程和浏览分析結果，该工具实现代价小、效率高、实用性强，提高了综合化航电系统开发效率， 节约开发和维护成本，对提高软件系统的可信性具有重要的意义。3、本发明扩展Eclipse插件，实现与其他插件集合在统一平台下，方便用户使用。4、本发明采用分级处理，将目标机代理分为三个层次，处理效率高，防止出现命令堵塞，能够即时快捷的向用户反馈命令执行結果。5、根据用户操作要求利用故障注入技术实现在多种失效情景下对目标系统进行验证，本发明通过将故障注入到目标机系统，然后对系统的反馈信息进行实时记录后再进行分析和评估。
图1为航电系统运行平台结构图；图2为宿主机端模块的结构示意图；图3为目标机端模块的结构示意图；图4为本发明仿真验证方法流程图。
具体实施例方式本发明针对综合化、模块化航电系统的结构和任务特点，该仿真方法以从模型提取的蓝图文件作为整个航空电子系统的数据配置源，也作为仿真的输入，采用动态运行验证的方式，验证系统的时序行为、命令响应、模式切換、故障处理的正确性，仿真试验平台整体结构采用半实物仿真方法。仿真验证系统，包括设置在宿主机上的宿主机端模块、设置在目标机上的目标机端模块以及运行平台，如图1所示。运行平台包括宿主机、目标机管理工具、多台目标机以及目标机服务器，所述宿主机通过网络连接多台目标机，运行在宿主机上的目标机管理工具通过目标机服务器获取目标机信息。如图2所示，宿主机端模块包括蓝图解析器、应用程序生成器、用户界面、系统管理器、激励处理器、命令管理器、请求转发器、事件管理器、日志记录处理器、仿真分析器，用户界面获取xml格式的蓝图文件，并发送给蓝图解析器；发送仿真控制命令给事件管理器，接收事件管理器发送的更新事件更新用户界面，接收仿真分析器发送的更新状态显示或更新用户界面；蓝图解析器接收到的蓝图文件进行解析得到应用分区数据和动作列表数据并进行封装，将应用分区数据发送给应用程序生成器，并将动作列表数据生成激励数据后发送给激励处理器；应用程序生成器用于根据代码生成技术将应用分区数据生成分区应用代码供编译链接加载属于；激励处理器根据激励数据在系统管理器中获取对应目标机信息，根据所获取的目标机信息产生注入故障命令并发送给命令管理器；
命令管理器将接收到的激励处理器发送的注入故障命令发送给请求转发器，并接收请求转发器发送的命令回复信息，并将命令回复信息发送给激励处理器；请求转发器接收命令管理器发送的注入故障命令、系统管理器发送的请求获取目标机信息的命令和事件管理器发送的仿真控制命令，通过目标机服务器TS发送给目标机， 接收目标机服务器发送的注入故障命令回复、对应目标机信息以及事件信息，将注入故障命令回复发送给命令管理器，将目标机信息发送给系统管理器，将事件信息发送给事件管理器；系统管理器向请求转发器发送请求获取目标机信息的命令，向激励处理器提供目标机信息，接收请求转发器发送的针对请求获取目标机信息的命令的目标机信息；事件管理器将仿真控制命令发送给请求转发器，接收请求转发回复的事件信息；日志记录处理器接收目标机服务器发送的仿真結果，将仿真结果封装形成日志分析记录发送给仿真分析器；仿真分析器用于日志分析记录进行图形化处理，并发送到用户界面。如图3所示，目标机端模块包括ー级代理、ニ级代理以及GSM分区代理，目标机服务器所发送给目标机的命令包括ニ级代理标识、源地址、目的地址以及命令内容；ー级代理用于接收目标机服务器发送的所有命令，进行解析处理、识别出ニ级代理标识，发送给识别后的ニ级代理，接收ニ级代理发送的处理結果，将处理结果发送给目标机服务器；ニ级代理接收来自ー级代理的命令，进行分析如果ニ级代理具有处理该命令的能力，则进行处理，并将处理结果返回给ー级代理；否则，将命令会转发到GSM分区代理；GSM分区代理接收ニ级代理发送的命令，执行命令，并将处理结果返回给ニ级代理，GSM分区代理将系统运行过程中生成的特殊事件通过ニ级代理、ー级代理反馈给目标机服务器。如图4所示，该仿真方法由宿主机端部分和目标机端部分协同工作实现仿真功能。宿主机端部分的工作步骤如下(1)蓝图解析器对蓝图数据进行解析得到相关的数据并进行封装，用作应用程序生成器和激励处理器的输入；(2)应用程序生成器利用代码生成技术自动生成分区应用，编译连接后可加载到目标系统上作为仿真的工作负载运行；(3)用户界面对用户的各种操作事件进行处理，用户操作将被转化成为各种命令， 还会从事件管理器取得事件，解析出事件数据用于更新界面；(4)系统管理器保存、设置仿真平台中包含的目标机，以及各目标机和系统管理软件中各个管理层的对应关系。同时还保存了各个管理层管理的模块之间的逻辑树形结构， 用户可以通过图形界面浏览目标平台结构；(5)激励处理器根据用户操作要求利用故障注入技术实现在多种失效情景下对目标系统进行验证。它通过软件方法把故障注入到目标机系统，然后对系统的反馈信息进行实时记录后再进行分析和评估；(6)命令管理器管理要发送的命令和发送后等待回复的命令，提供命令解析器对命令数据进行封装及收到命令回复后对回复数据进行解析的功能；
(7)请求转发器获取命令管理器中产生的命令，并通过TS发送，发送后的命令将会转移进等待回复的命令队列中，当请求转发器接收到回复后，简单判断之后可以知道这个回复是针对哪个命令，设置这个命令的回复，通知命令管理器取得命令回复；(8)事件管理器为仿真系统提供事件的调度和管理，控制仿真的运行，还从请求转发器接收系统运行过程中产生的事件；(9)日志记录处理器把仿真结果从目标机端卸载到主机端，通过日志分析图形化显示到界面后，供用户进行浏览分析。目标机端部分的主要功能是接收宿主机发送到目标机的命令，执行这些命令，并及时的向宿主机进行回复。同时它还要向宿主机报告目标机上发生的特殊事件，通知宿主机进行特殊事件的处理。采用目标机代理技术来实现上述功能，该技术是目前嵌入式软件开发环境中至关重要的核心技木。目标机代理接收宿主机端目标机服务器的命令，然后响应执行这些命令， 并把响应执行的结果返回给目标机服务器。航电系统中单机的软件结构采用了分层结构。为了实现对各个层次控制和信息获取的能力，我们将目标机代理分为三个层次。各层代理与单机软件位置关系如图3所示。第 ー层在核心操作系统中也称为ー级代理TA，负责所有目标机代理和宿主机端的通信，将请求分发给不同的ニ级代理。ー级代理由系统人员提供，我们只实现ニ级代理即图中的仿真代理和GSM分区代理内目标机代理。仿真代理驻留在分区操作系统层，GSM分区代理驻留于任务操作系统层，运行在GSM分区代理。代理工作步骤如下(1) ニ级代理接收来自宿主机的命令，进行简单分析，如果自己能够处理，将结果返回，不能完成的命令，将会转发到GSM分区代理中，由GSM分区代理处理完成；(2)当ニ级代理有命令号转发到GSM分区代理吋，它先将命令写入ー个命令缓冲消息队列当中，再向GSM分区代理发送ー个特殊信号通知GSM分区代理；(3)GSM分区代理处理完后将结果写入恢复消息队列，ニ级代理就读取回复消息队列中的回复即可；G)GSM分区代理将系统运行过程中生成特殊的事件存放到消息队列中，这些消息通过消息队列可以传递到ニ级代理事件管理当中，通过事件管理可以发送给宿主机。ニ级代理由初始化代理任务、代理命令管理库、事件管理库组成。ニ级代理工作原理如下——初始化代理任务初始化ニ级代理层各软件模块；——代理命令管理库在ニ级代理层内支持各种命令；——事件管理库管理、发送系统产生的事件。GSM分区代理驻留在GSM分区代理，由初始化代理任务、信号处理程序、服务进程、 服务命令管理库、分区事件管理库。GSM分区代理工作原理如下—初始化代理任务初始化GSM分区代理任务；——信号处理程序接收ニ级代理层发送的信号后，处理该信号；——服务进程完成命令接收和处理；服务命令管理库管理GSM分区代理支持的命令；分区事件管理库管理产生事件。
实施例1 以某个航空电子综合处理机为例，它作为航空电子系统控制和管理的综合计算机，具备功能处理、数据计算等能力。内有10个数据处理节点，其中一个数据处理节点负责管理电子盘，该节点作为大容量存储器MMM使用，其中运行时蓝图作为GSM的数据源加载到 MMM上。AC负责管理两个IA综合区，而这两个IA则分别负责管理5个RE，每个RE负责1 个数据处理节点。分布式仿真工具的主机端和目标机端通过以太网进行连接。利用AADL 建立航空电子系统的结构模型，然后通过综合化航空电子系统的结构建模和验证平台软件集中的运行时蓝图生成工具得到运行时蓝图，它作为仿真验证的输入对象，这是该仿真エ 具的先决条件。在仿真前还要进行分布式仿真平台的搭建，并加载系统软件。对该系统进行仿真，主机端步骤为1.蓝图解析器以运行时蓝图为输入，解析运行时蓝图后按照AC/IA/TLS的分类；2.应用程序生成器生成应用并加载，根据分区通信的应用模板自动生成分区应用，用户可以设置每个分区应用执行时间及分区周期的取值范围，也可以设置每个分区应用使用的模板类型，分区应用的正常运行，可以验证运行时蓝图的应用正确性；3.图形用户界面接收用户的命令，根据用户的命令配置日志上传路径并设置上传模式为延迟模式，以及设置目标机缓冲区大小等信息；4.系统管理器保存、设置仿真平台中包含的目标机，以及各目标机和系统管理软件中各个管理层的对应关系；5.激励处理器接收用户注入的故障，向目标机REl注入故障号STACK_FL0W，系统状态为HM_SYS_ FUNC_STATUS ；6.命令管理器接收注入故障命令，对命令数据进行封装7.请求转发器获取命令管理器中产生的命令，并通过TS发送，发送后的命令将会转移进等待回复的命令队列中；8.事件管理器为仿真系统提供事件的调度和管理，控制仿真的运行，还从请求转发器接收系统运行过程中产生的事件；9.日志记录处理器收集日志记录，获得故障号STACK_ FLOW在运行时蓝图中的故障信息，捕获得到故障日志记录，并对其分析，最后图形化显示在主机端。从目标机获得的日志图形可以分析各个分区之间的通信信息，并可以测量应用的执行时间以及故障的发生时刻，根据事件之间的信息观察以及通道间的流量等信息可以与预知结果进行比对后，可以验证运行时蓝图的正确性。目标机端步骤为1. ニ级代理接收来自宿主机的向目标机REl注入STACK_FL0W的故障的命令；2. ニ级代理将命令写入ー个命令缓冲消息队列当中，再向GSM分区代理发送ー个特殊信号通知GSM分区代理；3. GSM得到信号通知，获取要处理的命令，处理完后将结果写入恢复消息队列；4. GSM分区代理将系统运行过程中生成特殊的事件存放到消息队列中，通过事件管理发送给宿主机。用此方法进行仿真，对于运行时蓝图的正确性验证有极大的帮助，基本实现了综合化航空电子系统的仿真需求。提供图形界面操作，方便用户对仿真过程进行控制；仿真结果图形化显示，方便用户直观的分析结果；以较小的代价实现对用户的设计的较快验证，提高了系统设计的正确性。
1权利要求
1.针对AADL描述的综合化航电系统模型的仿真验证系统，其特征在于包括设置在宿主机上的宿主机端模块、设置在目标机上的目标机端模块以及运行平台，所述运行平台包括宿主机、目标机管理工具(TM)、多台目标机以及目标机服务器 (TS)，所述宿主机通过网络连接多台目标机，运行在宿主机上的目标机管理工具通过目标机服务器获取目标机信息；所述宿主机端模块包括蓝图解析器、应用程序生成器、用户界面、系统管理器、激励处理器、命令管理器、请求转发器、事件管理器、日志记录处理器、仿真分析器，所述用户界面获取xml格式的蓝图文件，并发送给蓝图解析器；发送仿真控制命令给事件管理器，接收事件管理器发送的更新事件更新用户界面，接收仿真分析器发送的更新状态显示或更新用户界面；所述蓝图解析器对接收到的蓝图文件进行解析得到应用分区数据和动作列表数据并进行封装，将应用分区数据发送给应用程序生成器，并将动作列表数据生成激励数据后发送给激励处理器；所述应用程序生成器根据代码生成技术将应用分区数据生成分区应用代码供编译链接加载；所述激励处理器根据激励数据在系统管理器中获取对应目标机信息，根据所获取的目标机信息产生注入故障命令并发送给命令管理器；所述命令管理器将接收到的注入故障命令发送给请求转发器，并接收请求转发器发送的命令回复信息，并将命令回复信息发送给激励处理器；所述请求转发器接收命令管理器发送的注入故障命令、系统管理器发送的请求获取目标机信息的命令和事件管理器发送的仿真控制命令，通过目标机服务器TS发送给目标机， 接收目标机服务器发送的注入故障命令回复、对应目标机信息以及事件信息，将注入故障命令回复发送给命令管理器，将目标机信息发送给系统管理器，将事件信息发送给事件管理器；所述系统管理器向请求转发器发送请求获取目标机信息的命令，向激励处理器提供目标机信息，接收请求转发器发送的针对请求获取目标机信息的命令的目标机信息；所述事件管理器将仿真控制命令发送给请求转发器，接收请求转发回复的事件信息； 所述日志记录处理器接收目标机服务器发送的仿真結果，将仿真结果封装形成日志分析记录发送给仿真分析器；所述仿真分析器用于日志分析记录的图形化处理，并将处理结果发送到用户界面； 目标机端模块包括ー级代理、ニ级代理以及GSM分区代理，目标机服务器所发送给目标机的命令包括ニ级代理标识、源地址、目的地址以及命令内容；所述ー级代理用于接收目标机服务器发送的所有命令，进行解析处理、识别出ニ级代理标识，发送给识别后的ニ级代理，接收ニ级代理发送的处理結果，将处理结果发送给目标机服务器；所述ニ级代理接收来自ー级代理的命令，进行分析如果ニ级代理具有处理该命令的能力，则进行处理，并将处理结果返回给ー级代理；否则，将命令转发到GSM分区代理； 所述GSM分区代理接收ニ级代理发送的命令，执行命令，并将处理结果返回给ニ级代理，GSM分区代理将系统运行过程中生成的特殊事件通过ニ级代理、ー级代理反馈给目标机服务器。
2.根据权利要求1所述的针对AADL描述的综合化航电系统模型的仿真验证系统，其特征在于所述目标机服务器自动将特殊事件发送给请求转发器，事件管理器从请求转发器获取特殊事件并通过用户界面显示。
3.针对AADL描述的综合化航电系统模型的仿真验证方法，其特征在于包括以下步骤1]运行平台加电，通过宿主机端的加载工具向目标机服务器发送加载操作系统和通用系统管理软件，目标机服务器向ー级代理发送加载请求，ー级代理完成加载操作后，向目标机服务器回复加载完成，目标机服务器通知宿主机端的加载工具加载完成；2]发送日志上传配置事件\2. 1]打开宿主机端模块中的用户界面，发送日志上传配置事件给事件管理器，所述日志上传配置事件包括日志上传路径配置信息、日志上传方式配置信息以及目标机端模块存储日志数据的缓存大小配置信息；\2. 2]事件管理器将配置事件发送给请求转发器，请求转发器将配置事件发送给目标机服务器，目标机服务器将配置事件发送给ー级代理，由ー级代理将配置事件分发给ニ级代理，ニ级代理记录该日志配置事件中的日志上传路径配置信息、日志上传方式配置信息以及目标机端模块存储日志数据缓存大小配置信息，并回复已处理配置事件信息给ー级代理，通过ー级代理和目标机服务器通知用户界面日志配置事件完成；3]用户界面获取xml格式的蓝图文件，并发送给蓝图解析器，蓝图解析器解析蓝图文件中的应用分区数据以及动作列表数据，生成应用程序生成器和激励处理器的输入；4]应用程序生成器根据用户在用户界面中指定的分区应用生成模板自动生成分区应用，构建后加载到相应的目标机作为仿真工作负载；5]用户通过用户界面发送仿真开始事件，用户界面发送仿真开始事件给事件管理器， 事件管理器将仿真开始事件通过请求转发器、目标机服务器、ー级代理转发到ニ级代理中的仿真工具，ニ级代理收到该事件后开始记录事件信息，并将处理该事件的回复信息通过 ー级代理、目标机服务器、请求转发器、命令管理器通知给用户界面；6]用户在用户界面中选定ー个目标机，发送故障注入命令给激励处理器\6. 1]激励处理器向系统管理器请求获取当前目标机信息，系统管理器通过请求转发器、目标机服务器、ー级代理发送获取目标机信息的请求命令，ー级代理执行完该命令后将目标机信息通过目标机服务器、请求转发器回复给系统管理器，激励处理器获取到目标机信息后，与该目标机连接；\6. 2]激励处理器将故障注入命令通过命令管理器、请求转发器、目标机服务器、ー级代理、ニ级代理发送给所连接目标机上的仿真工作负载，由目标机上的GSM分区代理执行故障注入命令，并将故障注入命令执行结果通过ニ级代理、ー级代理、目标机服务器、请求转发器、命令管理器发送给激励处理器，激励处理器通过用户界面反馈给用户；7]执行注入故障命令的目标机出现注入故障命令的中所设置的故障事件后，该目标机的GSM分区代理将故障事件通过ニ级代理、ー级代理、目标机服务器、事件管理器发送给用户界面，用户界面将该故障事件的信息显示在界面中供用户參考；8]得到仿真结果·8. 1]用户通过用户界面选定ー个目标机上传日志，用户界面将该上传日志事件通过事件管理器、请求转发器、目标机服务器、ー级代理发送给ニ级代理，ニ级代理将记录在缓冲区中的日志数据通过ー级代理、目标机服务器发送给日志记录处理器，同时ニ级代理还通过ー级代理、目标机服务器、事件管理器通知用户界面已处理该事件；·8. 2]日志记录处理器组织日志数据，得到仿真结果，仿真分析器对仿真结果进行图形化处理并显示在用户界面；9]通过用户界面验证仿真結果。
全文摘要
本发明涉及基于ADDL的综合化航电系统模型仿真验证系统及方法，包括宿主机端模块、目标机端模块以及运行平台，运行平台包括宿主机、目标机管理工具、多台目标机以及目标机服务器，宿主机通过网络连接多台目标机，运行在宿主机上的目标机管理工具通过目标机服务器获取目标机信息；目标机端模块包括一级代理、二级代理以及GSM分区代理，宿主机端模块包括蓝图解析器、系统管理器、激励处理器、命令管理器、请求转发器等，本发明针对现有AADL构件模型的仿真方法实现困难且复杂，很难在综合化航空电子系统应用的技术问题，针对AADL建立航电系统应用模型，仿真验证目标机的时序行为、故障处理等的正确性，提高综合化航电系统的正确性。
文档编号G05B17/02GK102566443SQ20111045249
公开日2012年7月11日 申请日期2011年12月29日 优先权日2011年12月29日
发明者钟珊, 麦先根, 齐晓斌 申请人:中国航空工业集团公司第六三一研究所