-
公开(公告)号：CN114756213B
公开(公告)日：2022-08-12
申请号：CN202210664227.0
申请日：2022-06-14
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
-
公开(公告)号：CN115755829A
公开(公告)日：2023-03-07
申请号：CN202211342934.4
申请日：2022-10-31
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B23/02
Abstract: 本发明实施例提供了一种用于验证智能控制系统安全性的方法及装置，涉及安全性验证方法及装置技术领域，该装置包括：智能控制系统的建模子系统、三维显示子系统、环境建模子系统、实物交互子系统以及辅助测试子系统；所述智能控制系统的建模子系统包括：任务生成单元、控制软件和AirSim仿真软件；所述任务生成单元生成任务并发送给所述控制软件，所述控制软件根据该任务生成任务指令并发送给所述AirSim仿真软件，所述AirSim仿真软件根据该任务指令生成系统指令，并发送给所述实物交互子系统，接收所述实物交互子系统返回的系统状态数据；所述AirSim仿真软件向所述三维显示子系统发送模型动力数据并接收所述三维显示子系统发送的虚拟环境数据。
-
公开(公告)号：CN115755829B
公开(公告)日：2025-04-01
申请号：CN202211342934.4
申请日：2022-10-31
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B23/02
Abstract: 本发明实施例提供了一种用于验证智能控制系统安全性的方法及装置，涉及安全性验证方法及装置技术领域，该装置包括：智能控制系统的建模子系统、三维显示子系统、环境建模子系统、实物交互子系统以及辅助测试子系统；所述智能控制系统的建模子系统包括：任务生成单元、控制软件和AirSim仿真软件；所述任务生成单元生成任务并发送给所述控制软件，所述控制软件根据该任务生成任务指令并发送给所述AirSim仿真软件，所述AirSim仿真软件根据该任务指令生成系统指令，并发送给所述实物交互子系统，接收所述实物交互子系统返回的系统状态数据；所述AirSim仿真软件向所述三维显示子系统发送模型动力数据并接收所述三维显示子系统发送的虚拟环境数据。
-
公开(公告)号：CN114756213A
公开(公告)日：2022-07-15
申请号：CN202210664227.0
申请日：2022-06-14
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
-
-
-
Search Results
4
records
(took 0.026 seconds)
