公开(公告)号：CN105681123B

公开(公告)日：2018-11-23

申请号：CN201510993565.9

申请日：2015-12-25

Applicant: 北京信息控制研究所 ,  北京空间飞行器总体设计部 ,  江苏省产品质量监督检验研究院

Inventor： 巴峰 ,  陈湘陇 ,  经小川 ,  王华茂 ,  梁学俊 ,  孙波 ,  闫金栋 ,  聂英杰 ,  雷沃宁 ,  佟轶 ,  高金梁 ,  詹海潭 ,  费晰

IPC: H04L12/26 ,  H04L12/24 ,  H04L12/727

Abstract: 一种Spacewire网络延时测试及优化系统，包括人机交互接口、中央处理单元、基于PCI总线的双向通讯控制链路和专用Spacewire节点控制器；中央处理单元根据用户通过人机交互接口输入的配置参数生成数据包，通过基于PCI总线的双向通讯控制链路发送给专用Spacewire节点控制器，专用Spacewire节点控制器实时计算每个数据包在Spacewire网络中的时延参数，中央处理单元根据时延参数对Spacewire网络进行全局优化，得到优化结果提供给人机交互接口。本发明实现了对Spacewire网络的延时测试，测得的时延参数准确，可靠性高，实时性强，同时对被测Spacewire网络进行了优化，用户根据优化结果对Spacewire网络进行优化，能够有效提高Spacewire网络的效率。

公开(公告)号：CN105681123A

公开(公告)日：2016-06-15

申请号：CN201510993565.9

申请日：2015-12-25

Applicant: 北京信息控制研究所 ,  北京空间飞行器总体设计部 ,  江苏省产品质量监督检验研究院

Inventor： 巴峰 ,  陈湘陇 ,  经小川 ,  王华茂 ,  梁学俊 ,  孙波 ,  闫金栋 ,  聂英杰 ,  雷沃宁 ,  佟轶 ,  高金梁 ,  詹海潭 ,  费晰

IPC: H04L12/26 ,  H04L12/24 ,  H04L12/727

CPC classification number: H04L43/0852 ,  H04L41/14 ,  H04L45/121

Abstract: 一种Spacewire网络延时测试及优化系统，包括人机交互接口、中央处理单元、基于PCI总线的双向通讯控制链路和专用Spacewire节点控制器；中央处理单元根据用户通过人机交互接口输入的配置参数生成数据包，通过基于PCI总线的双向通讯控制链路发送给专用Spacewire节点控制器，专用Spacewire节点控制器实时计算每个数据包在Spacewire网络中的时延参数，中央处理单元根据时延参数对Spacewire网络进行全局优化，得到优化结果提供给人机交互接口。本发明实现了对Spacewire网络的延时测试，测得的时延参数准确，可靠性高，实时性强，同时对被测Spacewire网络进行了优化，用户根据优化结果对Spacewire网络进行优化，能够有效提高Spacewire网络的效率。

公开(公告)号：CN103955427B

公开(公告)日：2016-08-24

申请号：CN201410178300.9

申请日：2014-04-29

Applicant: 探月与航天工程中心 ,  北京信息控制研究所

Inventor： 赵文波 ,  庞涪川 ,  张伟 ,  经小川 ,  詹海潭 ,  高金梁 ,  张玮 ,  海卫华

IPC: G06F11/36

Abstract: 一种安全攸关系统的软件安全性保证的实现方法，(1)定义系统的软件安全设计要求，包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求；(2)根据软件安全性等级，对(1)中的安全性设计要求进行裁剪，并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计；(3)获取软件安全证据，判断安全证据是否满足(2)中各项安全性设计要求；(4)获取系统的软件安全性风险规避措施；(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力，填补了航天重大工程软件安全性保证的技术空白。

公开(公告)号：CN103955427A

公开(公告)日：2014-07-30

申请号：CN201410178300.9

申请日：2014-04-29

Applicant: 探月与航天工程中心 ,  北京信息控制研究所

Inventor： 赵文波 ,  庞涪川 ,  张伟 ,  经小川 ,  詹海潭 ,  高金梁 ,  张玮 ,  海卫华

IPC: G06F11/36

Abstract: 一种安全攸关系统的软件安全性保证的实现方法，(1)定义系统的软件安全设计要求，包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求；(2)根据软件安全性等级，对(1)中的安全性设计要求进行裁剪，并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计；(3)获取软件安全证据，判断安全证据是否满足(2)中各项安全性设计要求；(4)获取系统的软件安全性风险规避措施；(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力，填补了航天重大工程软件安全性保证的技术空白。

公开(公告)号：CN103970537A

公开(公告)日：2014-08-06

申请号：CN201410178237.9

申请日：2014-04-29

Applicant: 探月与航天工程中心 ,  北京信息控制研究所

Inventor： 赵文波 ,  杨海成 ,  张刚 ,  刘军 ,  经小川 ,  张伟 ,  庞涪川 ,  梁光成 ,  郑重

IPC: G06F9/44

Abstract: 一种面向航天软件的软件可信性度量方法，通过依据软件生命周期的阶段划分，建立了由开发阶段可信证据、提交阶段可信证据、应用阶段可信证据构成的软件可信证据模型。确定各阶段可以提供软件可信证据的一系列技术或措施。然后根据航天软件可信等级定义，确定目标软件符合的可信等级以及评为该等级的合理度，及其应当进行的改进。与现有可信分级技术相比，本发明结合航天软件的属性，从软件的整个生命周期出发，为软件可信等级评定提供更为明确的依据和可量化的度量方法，从而使技术专家和管理者在科研管理活动中很好地结合起来，提高了科研及工程管理的精确度和科学性，有力地保证了航天型号软件的高可信性。