公开(公告)号：CN107967213A

公开(公告)日：2018-04-27

申请号：CN201711292178.8

申请日：2017-12-07

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  严云红 ,  徐峰 ,  程云龙 ,  金燕 ,  刘汉兵 ,  刘雄 ,  吴建桔 ,  康岭 ,  沈宗月 ,  朱波 ,  彭立章 ,  秦金彪 ,  吴旭东

IPC: G06F11/36

CPC classification number: G06F11/3624

Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。

公开(公告)号：CN111832218B

公开(公告)日：2024-02-13

申请号：CN202010514726.2

申请日：2020-06-08

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  刘鹏宇 ,  徐峰 ,  严云红 ,  金燕 ,  彭立章 ,  杨雪勤 ,  康岭 ,  董辰晖 ,  贡鑫

IPC: G06F30/27 ,  G06F30/15 ,  G06N5/04 ,  G06F111/04

Abstract: 本发明提供一种航天器微型规则推理系统及方法，通过策略库维护规范化的规则集合，根据策略库生成决策推理网络，航天器在轨运行过程中，实时形成状态库，决策推理模块根据当前状态推理出需要执行的动作序列，通过冲突检测与消解模块过滤后，生成遥控指令。使用该方法可以开发相应的规则推理引擎程序，通过配置策略库，实现航天器基于规则的自主运行，从而提高航天器智能性。

公开(公告)号：CN111832218A

公开(公告)日：2020-10-27

申请号：CN202010514726.2

申请日：2020-06-08

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  刘鹏宇 ,  徐峰 ,  严云红 ,  金燕 ,  彭立章 ,  杨雪勤 ,  康岭 ,  董辰晖 ,  贡鑫

IPC: G06F30/27 ,  G06F30/15 ,  G06N5/04 ,  G06F111/04

Abstract: 本发明提供一种航天器微型规则推理系统及方法，通过策略库维护规范化的规则集合，根据策略库生成决策推理网络，航天器在轨运行过程中，实时形成状态库，决策推理模块根据当前状态推理出需要执行的动作序列，通过冲突检测与消解模块过滤后，生成遥控指令。使用该方法可以开发相应的规则推理引擎程序，通过配置策略库，实现航天器基于规则的自主运行，从而提高航天器智能性。

公开(公告)号：CN107967213B

公开(公告)日：2021-06-04

申请号：CN201711292178.8

申请日：2017-12-07

Applicant: 上海宇航系统工程研究所

Inventor： 刘博 ,  严云红 ,  徐峰 ,  程云龙 ,  金燕 ,  刘汉兵 ,  刘雄 ,  吴建桔 ,  康岭 ,  沈宗月 ,  朱波 ,  彭立章 ,  秦金彪 ,  吴旭东

IPC: G06F11/36

Abstract: 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。