CN102566443A - 基于addl的综合化航电***模型仿真验证***及方法 - Google Patents

基于addl的综合化航电***模型仿真验证***及方法 Download PDF

Info

Publication number
CN102566443A
CN102566443A CN2011104524962A CN201110452496A CN102566443A CN 102566443 A CN102566443 A CN 102566443A CN 2011104524962 A CN2011104524962 A CN 2011104524962A CN 201110452496 A CN201110452496 A CN 201110452496A CN 102566443 A CN102566443 A CN 102566443A
Authority
CN
China
Prior art keywords
target machine
sends
user interface
order
information
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN2011104524962A
Other languages
English (en)
Inventor
齐晓斌
钟珊
麦先根
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
AVIC No 631 Research Institute
Original Assignee
AVIC No 631 Research Institute
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by AVIC No 631 Research Institute filed Critical AVIC No 631 Research Institute
Priority to CN2011104524962A priority Critical patent/CN102566443A/zh
Publication of CN102566443A publication Critical patent/CN102566443A/zh
Pending legal-status Critical Current

Links

Images

Landscapes

  • Debugging And Monitoring (AREA)

Abstract

本发明涉及基于ADDL的综合化航电***模型仿真验证***及方法,包括宿主机端模块、目标机端模块以及运行平台,运行平台包括宿主机、目标机管理工具、多台目标机以及目标机服务器,宿主机通过网络连接多台目标机,运行在宿主机上的目标机管理工具通过目标机服务器获取目标机信息;目标机端模块包括一级代理、二级代理以及GSM分区代理,宿主机端模块包括蓝图解析器、***管理器、激励处理器、命令管理器、请求转发器等,本发明针对现有AADL构件模型的仿真方法实现困难且复杂,很难在综合化航空电子***应用的技术问题,针对AADL建立航电***应用模型,仿真验证目标机的时序行为、故障处理等的正确性,提高综合化航电***的正确性。

Description

基于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分区代理处理完后将结果写入恢复消息队列,二级代理就读取回复消息队列中的回复即可;
(4)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.激励处理器接收用户注入的故障,向目标机RE1注入故障号STACK_FLOW,***状态为HM_SYS_FUNC_STATUS;6.命令管理器接收注入故障命令,对命令数据进行封装7.请求转发器获取命令管理器中产生的命令,并通过TS发送,发送后的命令将会转移进等待回复的命令队列中;8.事件管理器为仿真***提供事件的调度和管理,控制仿真的运行,还从请求转发器接收***运行过程中产生的事件;9.日志记录处理器收集日志记录,获得故障号STACK_FLOW在运行时蓝图中的故障信息,捕获得到故障日志记录,并对其分析,最后图形化显示在主机端。从目标机获得的日志图形可以分析各个分区之间的通信信息,并可以测量应用的执行时间以及故障的发生时刻,根据事件之间的信息观察以及通道间的流量等信息可以与预知结果进行比对后,可以验证运行时蓝图的正确性。
目标机端步骤为:
1.二级代理接收来自宿主机的向目标机RE1注入STACK_FLOW的故障的命令;
2.二级代理将命令写入一个命令缓冲消息队列当中,再向GSM分区代理发送一个特殊信号通知GSM分区代理;
3.GSM得到信号通知,获取要处理的命令,处理完后将结果写入恢复消息队列;
4.GSM分区代理将***运行过程中生成特殊的事件存放到消息队列中,通过事件管理发送给宿主机。
用此方法进行仿真,对于运行时蓝图的正确性验证有极大的帮助,基本实现了综合化航空电子***的仿真需求。提供图形界面操作,方便用户对仿真过程进行控制;仿真结果图形化显示,方便用户直观的分析结果;以较小的代价实现对用户的设计的较快验证,提高了***设计的正确性。

Claims (3)

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]通过用户界面验证仿真结果。
CN2011104524962A 2011-12-29 2011-12-29 基于addl的综合化航电***模型仿真验证***及方法 Pending CN102566443A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN2011104524962A CN102566443A (zh) 2011-12-29 2011-12-29 基于addl的综合化航电***模型仿真验证***及方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN2011104524962A CN102566443A (zh) 2011-12-29 2011-12-29 基于addl的综合化航电***模型仿真验证***及方法

Publications (1)

Publication Number Publication Date
CN102566443A true CN102566443A (zh) 2012-07-11

Family

ID=46412096

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2011104524962A Pending CN102566443A (zh) 2011-12-29 2011-12-29 基于addl的综合化航电***模型仿真验证***及方法

Country Status (1)

Country Link
CN (1) CN102566443A (zh)

Cited By (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103235591A (zh) * 2013-03-25 2013-08-07 中国航空工业集团公司沈阳飞机设计研究所 一种基于硬、软件故障注入相结合的在线故障注入方法
CN103853871A (zh) * 2013-11-21 2014-06-11 北京航空航天大学 一种适用于航电***的安全需求建模方法
CN106341451A (zh) * 2016-08-17 2017-01-18 中国航空工业集团公司西安飞行自动控制研究所 一种远程多目标机并行管理方法
CN106452918A (zh) * 2016-11-23 2017-02-22 北京润科通用技术有限公司 一种航电网络***的通信方法及***
CN106529306A (zh) * 2016-11-16 2017-03-22 中国电子产品可靠性与环境试验研究所 ***安全性评估方法和装置
CN106713010A (zh) * 2016-11-23 2017-05-24 北京润科通用技术有限公司 一种航电网络***的通信方法及***
CN106850279A (zh) * 2017-01-17 2017-06-13 中国商用飞机有限责任公司北京民用飞机技术研究中心 一种基于分布式航电***的网络配置方法
CN108052744A (zh) * 2017-12-15 2018-05-18 四川汉科计算机信息技术有限公司 航空软件仿真综合测试验证平台
CN108614539A (zh) * 2016-12-12 2018-10-02 中国航空工业集团公司西安航空计算技术研究所 机载设备故障诊断与预测模型验证方法
CN109254536A (zh) * 2017-07-13 2019-01-22 北京信息科技大学 一种高动态陀螺误差控制仿真装置
CN110868463A (zh) * 2019-11-12 2020-03-06 中国航空无线电电子研究所 一种基于插件管理的工具链***
CN112965398A (zh) * 2021-02-18 2021-06-15 江西洪都航空工业集团有限责任公司 一种具有负载功率模拟的机电综合管理***试验验证平台

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101901186A (zh) * 2010-07-08 2010-12-01 西北工业大学 一种嵌入式***可靠性分析与评估方法
CN102073585A (zh) * 2010-11-25 2011-05-25 西北工业大学 一种基于模型的嵌入式***流延时属性测试方法
CN102184136A (zh) * 2011-04-29 2011-09-14 中国航天科技集团公司第七一〇研究所 一种验证aadl模型运行状态与需求一致性的方法
CN102231132A (zh) * 2011-06-30 2011-11-02 西北工业大学 一种基于SystemC的AADL软构件模型仿真测试实例生成方法

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101901186A (zh) * 2010-07-08 2010-12-01 西北工业大学 一种嵌入式***可靠性分析与评估方法
CN102073585A (zh) * 2010-11-25 2011-05-25 西北工业大学 一种基于模型的嵌入式***流延时属性测试方法
CN102184136A (zh) * 2011-04-29 2011-09-14 中国航天科技集团公司第七一〇研究所 一种验证aadl模型运行状态与需求一致性的方法
CN102231132A (zh) * 2011-06-30 2011-11-02 西北工业大学 一种基于SystemC的AADL软构件模型仿真测试实例生成方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
贾璐等: "分布式航空电子***蓝图仿真技术的研究", 《航空计算技术》, 31 July 2010 (2010-07-31), pages 108 - 111 *

Cited By (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103235591B (zh) * 2013-03-25 2015-10-28 中国航空工业集团公司沈阳飞机设计研究所 一种基于硬、软件故障注入相结合的在线故障注入方法
CN103235591A (zh) * 2013-03-25 2013-08-07 中国航空工业集团公司沈阳飞机设计研究所 一种基于硬、软件故障注入相结合的在线故障注入方法
CN103853871A (zh) * 2013-11-21 2014-06-11 北京航空航天大学 一种适用于航电***的安全需求建模方法
CN103853871B (zh) * 2013-11-21 2017-05-24 北京航空航天大学 一种适用于航电***的安全需求建模方法
CN106341451A (zh) * 2016-08-17 2017-01-18 中国航空工业集团公司西安飞行自动控制研究所 一种远程多目标机并行管理方法
CN106529306B (zh) * 2016-11-16 2019-02-19 中国电子产品可靠性与环境试验研究所 ***安全性评估方法和装置
CN106529306A (zh) * 2016-11-16 2017-03-22 中国电子产品可靠性与环境试验研究所 ***安全性评估方法和装置
CN106452918A (zh) * 2016-11-23 2017-02-22 北京润科通用技术有限公司 一种航电网络***的通信方法及***
CN106713010A (zh) * 2016-11-23 2017-05-24 北京润科通用技术有限公司 一种航电网络***的通信方法及***
CN106452918B (zh) * 2016-11-23 2019-04-26 北京润科通用技术有限公司 一种航电网络***的通信方法及***
CN108614539A (zh) * 2016-12-12 2018-10-02 中国航空工业集团公司西安航空计算技术研究所 机载设备故障诊断与预测模型验证方法
CN106850279A (zh) * 2017-01-17 2017-06-13 中国商用飞机有限责任公司北京民用飞机技术研究中心 一种基于分布式航电***的网络配置方法
CN106850279B (zh) * 2017-01-17 2018-12-28 中国商用飞机有限责任公司北京民用飞机技术研究中心 分布式航电***网络配置方法和***、仿真器及硬件***
CN109254536A (zh) * 2017-07-13 2019-01-22 北京信息科技大学 一种高动态陀螺误差控制仿真装置
CN108052744A (zh) * 2017-12-15 2018-05-18 四川汉科计算机信息技术有限公司 航空软件仿真综合测试验证平台
CN110868463A (zh) * 2019-11-12 2020-03-06 中国航空无线电电子研究所 一种基于插件管理的工具链***
CN112965398A (zh) * 2021-02-18 2021-06-15 江西洪都航空工业集团有限责任公司 一种具有负载功率模拟的机电综合管理***试验验证平台

Similar Documents

Publication Publication Date Title
CN102566443A (zh) 基于addl的综合化航电***模型仿真验证***及方法
CN102693183B (zh) 一种实现软件自动化测试的方法及***
CN109634843A (zh) 一种面向ai芯片平台的分布式自动化软件测试方法及平台
CN103425585B (zh) 一种osgi集成测试方法
CN102184288B (zh) 一种针对红外成像***的全数字仿真***及其仿真方法
CN108306804A (zh) 一种Ethercat主站控制器及其通信方法和***
CN102768642A (zh) 一种基于源码分析的linux内核可靠性评测***及其方法
CN106603284A (zh) 基于Docker虚拟容器微应用平台***及运行方法
Powell et al. The test and training enabling architecture (TENA)
Zhang et al. Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL
CN114328217A (zh) 应用的测试方法、装置、设备、介质及计算机程序产品
Graja et al. Modelling and verifying time‐aware processes for cyber‐physical environments
US11481688B2 (en) Systems and methods for preparing cross-platform machine learning applications
CN104836831B (zh) 一种用于物联网的物体服务方法
Xiao et al. A framework for verifying sla compliance in composed services
CN110119269A (zh) 控制任务对象的方法、装置、服务器及存储介质
Baouya et al. Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance
Axelsson et al. Architectural concepts for federated embedded systems
CN109409825A (zh) 通过移动终端访问信息化***的方法、装置及设备
Alwardt Leveraging the cloud to create a network centric support environment for support equipment
Sartaj et al. Model‐based digital twins of medicine dispensers for healthcare IoT applications
Dowdeswell Diagnostic Belief-Desire-Intention Agents for Distributed IEC 61499 Fault Diagnosis
Sun National Computational Infrastructure for Lattice Gauge Theory SciDAC-2 Closeout Report
CN117240739A (zh) 共识算法的测试方法、装置、电子设备及存储介质
Cecchetti et al. A communication platform demonstrator for new generation railway traffic management systems: Testing and validation

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C02 Deemed withdrawal of patent application after publication (patent law 2001)
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20120711