[发明专利]基于ADDL的综合化航电系统模型仿真验证系统及方法

权利要求书

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]通过用户界面验证仿真结果。