-
公开(公告)号：CN115639769B
公开(公告)日：2023-08-22
申请号：CN202211205426.1
申请日：2022-09-30
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G05B19/042
Abstract: 本公开提出一种安全智能控制方法及系统，属于系统控制技术领域。其中，所述方法包括：步骤S1、根据预设任务目标的位置信息和无人设备的位置信息获取所述无人设备的行驶路径；步骤S2、根据所述无人设备的当前行驶状态确定所述无人设备的行驶控制方式；步骤S3、所述无人设备采用所述行驶控制方式在所述行驶路径上行驶，并采集行驶过程中的实时环境信息和实时参数信息；步骤S4、基于所述实时环境信息和所述实时参数信息更新所述行驶控制方式，所述无人设备切换至经更新的行驶控制方式。上述方法在系统出现故障的情况下能够快速进行故障诊断定位以及安全控制切换，从而避免系统崩溃造成更严重的后果。
-
公开(公告)号：CN115827494B
公开(公告)日：2023-05-05
申请号：CN202310024402.4
申请日：2023-01-09
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型；获取操作系统的需求层功能函数模型，对设计层功能函数模型与需求层功能函数模型进行精化验证。本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
-
公开(公告)号：CN115408844A
公开(公告)日：2022-11-29
申请号：CN202211022232.8
申请日：2022-08-25
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F30/20 , G06F111/04 , G06F111/06 , G06F119/02
Abstract: 本发明提出一种可计算的高可靠架构设计方法和系统。所述架构包含若干提供系统功能的组件，互为冗余的组件属于同一功能域。在所述方法中，两两计算各个功能域的交集，获取多组交集不为空的功能域对，将每一组所述交集不为空的功能域，并在所述新的功能域中分别添加虚拟节点，同时向连接关系集合中添加虚拟连接；将互不相交的功能域中的每一个聚集为一个超节点，构建以超节点表征的架构表示，以获取包含所有最小生成树的集合，并进行连通性判断；最后计算每一种架构组件配置的可靠性，从多种架构组件配置中选取一种架构组件配置，以提供相关服务。
-
Patent Agency Ranking
公开(公告)号：CN114756213A
公开(公告)日：2022-07-15
申请号：CN202210664227.0
申请日：2022-06-14
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
-
公开(公告)号：CN113079221A
公开(公告)日：2021-07-06
申请号：CN202110621642.3
申请日：2021-06-04
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种基于Coq的安全跨链协议生成方法，所述方法包括以下步骤：步骤一：确定协议需求；步骤11：确定协议基本目标；步骤12：确定协议使用范围和流程；步骤13：确定协议约束；步骤14：建立需求形式化规范；步骤二：协议分析；分析协议具体内容，将协议流程序列化，并获得模型元素：步骤三：协议建模与验证；步骤31：行为建模；步骤32：需求形式化规范描述；步骤33：性质验证；步骤四：协议代码自动生成；步骤41：将逻辑部分消除；步骤42：生成信息部分代码；步骤五：进行一致性验证；步骤51：静态测试验证；步骤52：动态测试验证；步骤53：生成一致性验证报告。
-
公开(公告)号：CN115408844B
公开(公告)日：2023-07-11
申请号：CN202211022232.8
申请日：2022-08-25
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F30/20 , G06F111/04 , G06F111/06 , G06F119/02
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认证标准。
-
-
-
-
-
-
-
Search Results
28
records
(took 0.042 seconds)
