公开(公告)号：CN113810167A

公开(公告)日：2021-12-17

申请号：CN202111135710.1

申请日：2021-09-27

Applicant: 上海航天计算机技术研究所

Inventor： 侯正平 ,  薛垒 ,  申臻 ,  魏冬冬 ,  于清华

IPC: H04L7/00 ,  H04L7/04 ,  H04L29/08

Abstract: 本发明公开了一种分布式系统的时序控制与同步方法，该方法包括：S100：预设时序控制与同步策略，编写时序控制与同步程序，并在进行封装后形成节点控制程序包，以使节点控制程序包作为独立线程在对应节点上运行；S200：基于各节点中封装后的节点控制程序包，根据不同的场景分类，在对应节点的发送数据处以及接收数据处，利用节点控制程序包对本地节点及相邻节点执行包括不做控制、挂起、暂停、缓存、恢复在内的不同时序控制，以便分布式系统网络的全局时序控制与同步。本发明结同步机制简单、低功耗，利用数据流保证节点间的依赖关系，并且收发同步不因节点的运行速度差异而变换，不需要引入额外控制端。

公开(公告)号：CN109639665B

公开(公告)日：2020-11-24

申请号：CN201811492903.0

申请日：2018-12-06

Applicant: 上海航天计算机技术研究所

Inventor： 申臻 ,  魏冬冬 ,  侯正平 ,  刘爽 ,  马海燕 ,  徐白

IPC: H04L29/06

Abstract: 本发明提供了一种基于多通信介质扩展发布订阅系统传输协议的方法，通过截断UDP数据流，桥接至反射内存卡，创建监控反射内存卡中是否有数据写入的线程函数，无需开发自适配通信环境层监控反射内存卡中数据是否到来的前提下，利用OpenDDS原本支持的监控网卡中数据到来与否的机制，间接实现监控反射内存卡中数据是否到来。从而实现在保证应用程序调用原有UDP动态库完成发布订阅过程的基础上，且不新增特定传输介质的动态库、不修改自适配通信环境层中监控硬件数据到来的反应器机制内容的前提下，大大加快了基于特定传输介质扩展OpenDDS中数据收发扩展传输协议这一过程，满足强实时系统对高带宽、低时延的要求。

公开(公告)号：CN109639665A

公开(公告)日：2019-04-16

申请号：CN201811492903.0

申请日：2018-12-06

Applicant: 上海航天计算机技术研究所

Inventor： 申臻 ,  魏冬冬 ,  侯正平 ,  刘爽 ,  马海燕 ,  徐白

IPC: H04L29/06

CPC classification number: H04L69/162 ,  H04L69/164

Abstract: 本发明提供了一种基于多通信介质扩展发布订阅系统传输协议的方法，通过截断UDP数据流，桥接至反射内存卡，创建监控反射内存卡中是否有数据写入的线程函数，无需开发自适配通信环境层监控反射内存卡中数据是否到来的前提下，利用OpenDDS原本支持的监控网卡中数据到来与否的机制，间接实现监控反射内存卡中数据是否到来。从而实现在保证应用程序调用原有UDP动态库完成发布订阅过程的基础上，且不新增特定传输介质的动态库、不修改自适配通信环境层中监控硬件数据到来的反应器机制内容的前提下，大大加快了基于特定传输介质扩展OpenDDS中数据收发扩展传输协议这一过程，满足强实时系统对高带宽、低时延的要求。

公开(公告)号：CN113849413A

公开(公告)日：2021-12-28

申请号：CN202111201800.6

申请日：2021-10-15

Applicant: 上海航天计算机技术研究所

Inventor： 尹龙雯 ,  施小敏 ,  魏冬冬 ,  张伟欣 ,  宋力立 ,  欧阳昭

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明提供了一种基于知识库特征匹配的代码规则检查方法及系统，包括如下步骤：建立以缺陷代码规则为基础的代码知识库，所述代码知识库中的每一条缺陷代码规则具有规则描述和对应的规则特征值；分析待检测源代码，生成源代码的语法分析树，所述语法分析树用于所述源代码的代码语法结构分析以及对应规则特征值的提取和匹配；根据所述代码知识库中的规则特征值与所述语法分析树提出的规则特征值进行匹配，获取对应的缺陷代码规则，以实现所述源代码的缺陷检测。本发明采用语法分析树转化为规则特征值匹配代码规则的方法，具有误判率小，准确性高等优点，同时使用知识库的方式进行代码规则的匹配无需在新增或修改规则时对软件进行修改或重构。

公开(公告)号：CN112799942A

公开(公告)日：2021-05-14

申请号：CN202110120629.X

申请日：2021-01-28

Applicant: 上海航天计算机技术研究所

Inventor： 魏冬冬 ,  申臻 ,  于清华 ,  高赛军 ,  薛垒

IPC: G06F11/36

Abstract: 本发明公开了一种基于Keil C51的软件源码和目标码覆盖率分析方法和系统，方法包括：S1：加载包括软件源码、目标码和M51文件在内的信息文件；S2：对所加载的信息文件进行解析，生成软件源码与目标码PC地址关联的对应关系文件；S3：利用Keil平台的软件可执行环境执行测试用例，并通过Keil命令生成当前用例的目标码执行结果文件；在执行多个测试用例时，生成多个目标码执行结果文件；S4：对一个或多个目标码执行结果文件中的目标码的每条指令的执行情况进行合并汇总，生成目标码覆盖率分析文件，并根据对应关系文件，生成软件源码覆盖率分析文件。本发明利用软件源码与目标码的对应关系，即可生成软件源码的覆盖率分析文件，避免插桩带来的目标码差异。