-
公开(公告)号：CN115687165A
公开(公告)日：2023-02-03
申请号：CN202310009946.3
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。本发明提高了验证的效率，并较全面地对操作系统进行了功能安全性的验证。
-
公开(公告)号：CN115639769A
公开(公告)日：2023-01-24
申请号：CN202211205426.1
申请日：2022-09-30
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B19/042
Abstract: 本公开提出一种安全智能控制方法及系统，属于系统控制技术领域。其中，所述方法包括：步骤S1、根据预设任务目标的位置信息和无人设备的位置信息获取所述无人设备的行驶路径；步骤S2、根据所述无人设备的当前行驶状态确定所述无人设备的行驶控制方式；步骤S3、所述无人设备采用所述行驶控制方式在所述行驶路径上行驶，并采集行驶过程中的实时环境信息和实时参数信息；步骤S4、基于所述实时环境信息和所述实时参数信息更新所述行驶控制方式，所述无人设备切换至经更新的行驶控制方式。上述方法在系统出现故障的情况下能够快速进行故障诊断定位以及安全控制切换，从而避免系统崩溃造成更严重的后果。
-
公开(公告)号：CN115542715A
公开(公告)日：2022-12-30
申请号：CN202211212600.5
申请日：2022-09-30
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B9/03
Abstract: 本发明提出一种基于运行时保证框架的安全无人机系统，属于安全控制技术领域。所述系统包括位于所述无人机的机身中部的基于运行时保证(Runtime Assurance，RTA)框架的自动驾驶控制模块，并利用所述自动驾驶控制模块控制位于所述无人机头部的斜盘控制结构和位于所述无人机底部的舵面控制结构，从而实现对所述无人机的飞行状态进行容错控制。
-
公开(公告)号：CN114995809B
公开(公告)日：2022-09-30
申请号：CN202210855845.3
申请日：2022-07-21
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种可证明的高安全软件构造方法及系统，所述方法包括：获取待构造的软件需求，基于自定义的需求语言表述所述软件需求，得到表述后的软件需求；基于所述表述后的软件需求，采用AADL语言建立与所述待构造的软件对应的初始模型；基于所述表述后的软件需求中各条需求的类型字段对应的属性值，实例化所述初始模型，得到实例化后的模型；对所述实例化后的模型进行形式化验证，基于验证结果，对所述实例化后的模型进行修正或保持，得到验证后的模型；由AADL语言描述所述验证后的模型，得到AADL模型；生成与所述AADL模型对应的C语言代码。根据本发明的方案，提高了高安全要求的嵌入式软件系统的质量和研发效率。
-
公开(公告)号：CN114779280B
公开(公告)日：2022-09-13
申请号：CN202210694412.4
申请日：2022-06-20
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种控制系统及方法，涉及设备控制领域，所述系统包括：抗压制阵列天线、加密模块及控制器；所述抗压制阵列天线用于接收卫星导航系统获取的定位信号，将所述定位信号经过处理，得到干扰抑制后的第二射频信号；将所述第二射频信号发送到所述控制器；所述控制器基于所述第二射频信号甄别所述搭载有所述控制系统的智能设备的安全状态，产生控制指令，所述控制指令用于指挥所述智能设备的制动系统；所述加密模块用于对接收到的所述各类状态参数加密。根据本发明的方案，能有效抵抗攻击方对导航信号的压制，自主判别信号来源，有效过滤来自某一方向的大功率干扰信号，同时不会带来明显的信号延迟。
-
Patent Agency Ranking
公开(公告)号：CN114779280A
公开(公告)日：2022-07-22
申请号：CN202210694412.4
申请日：2022-06-20
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种控制系统及方法，涉及设备控制领域，所述系统包括：抗压制阵列天线、加密模块及控制器；所述抗压制阵列天线用于接收卫星导航系统获取的定位信号，将所述定位信号经过处理，得到干扰抑制后的第二射频信号；将所述第二射频信号发送到所述控制器；所述控制器基于所述第二射频信号甄别所述搭载有所述控制系统的智能设备的安全状态，产生控制指令，所述控制指令用于指挥所述智能设备的制动系统；所述加密模块用于对接收到的所述各类状态参数加密。根据本发明的方案，能有效抵抗攻击方对导航信号的压制，自主判别信号来源，有效过滤来自某一方向的大功率干扰信号，同时不会带来明显的信号延迟。
-
公开(公告)号：CN115755829A
公开(公告)日：2023-03-07
申请号：CN202211342934.4
申请日：2022-10-31
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B23/02
Abstract: 本发明实施例提供了一种用于验证智能控制系统安全性的方法及装置，涉及安全性验证方法及装置技术领域，该装置包括：智能控制系统的建模子系统、三维显示子系统、环境建模子系统、实物交互子系统以及辅助测试子系统；所述智能控制系统的建模子系统包括：任务生成单元、控制软件和AirSim仿真软件；所述任务生成单元生成任务并发送给所述控制软件，所述控制软件根据该任务生成任务指令并发送给所述AirSim仿真软件，所述AirSim仿真软件根据该任务指令生成系统指令，并发送给所述实物交互子系统，接收所述实物交互子系统返回的系统状态数据；所述AirSim仿真软件向所述三维显示子系统发送模型动力数据并接收所述三维显示子系统发送的虚拟环境数据。
-
公开(公告)号：CN115687167A
公开(公告)日：2023-02-03
申请号：CN202310009948.2
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种群体智能操作系统的形式化验证方法及装置，该方法在Isabelle环境下执行，该方法采用Isabelle元语言构造需求层形式化模型包括：对ROS数据结构、ROS接口、ROS日志输出库进行抽象建模；其中，对ROS数据结构进行抽象建模包括：构建ROS节点形式化模型和句柄形式化模型；对ROS接口进行抽象建模包括：对初始化函数、日志输出函数、获取函数、服务绑定函数、服务调用函数进行接口描述；对ROS日志输出库进行抽象建模包括：使用Show方法对将程序的状态或变量转换为字符串输出的操作进行描述。本发明能够保证安全需求在实现阶段得到满足，经过验证的操作系统可以达到CC认证标准。
-
公开(公告)号：CN115755829B
公开(公告)日：2025-04-01
申请号：CN202211342934.4
申请日：2022-10-31
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B23/02
Abstract: 本发明实施例提供了一种用于验证智能控制系统安全性的方法及装置，涉及安全性验证方法及装置技术领域，该装置包括：智能控制系统的建模子系统、三维显示子系统、环境建模子系统、实物交互子系统以及辅助测试子系统；所述智能控制系统的建模子系统包括：任务生成单元、控制软件和AirSim仿真软件；所述任务生成单元生成任务并发送给所述控制软件，所述控制软件根据该任务生成任务指令并发送给所述AirSim仿真软件，所述AirSim仿真软件根据该任务指令生成系统指令，并发送给所述实物交互子系统，接收所述实物交互子系统返回的系统状态数据；所述AirSim仿真软件向所述三维显示子系统发送模型动力数据并接收所述三维显示子系统发送的虚拟环境数据。
-
公开(公告)号：CN115639769B
公开(公告)日：2023-08-22
申请号：CN202211205426.1
申请日：2022-09-30
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B19/042
Abstract: 本公开提出一种安全智能控制方法及系统，属于系统控制技术领域。其中，所述方法包括：步骤S1、根据预设任务目标的位置信息和无人设备的位置信息获取所述无人设备的行驶路径；步骤S2、根据所述无人设备的当前行驶状态确定所述无人设备的行驶控制方式；步骤S3、所述无人设备采用所述行驶控制方式在所述行驶路径上行驶，并采集行驶过程中的实时环境信息和实时参数信息；步骤S4、基于所述实时环境信息和所述实时参数信息更新所述行驶控制方式，所述无人设备切换至经更新的行驶控制方式。上述方法在系统出现故障的情况下能够快速进行故障诊断定位以及安全控制切换，从而避免系统崩溃造成更严重的后果。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.079 seconds)
