经小川
- 作品数：35 被引量：112H指数：6
- 供职机构：中国航天更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划武器装备预研基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术环境科学与工程更多>>
- 一种航天嵌入式C语言软件运行时错误的静态分析方法
- 本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性...
- 王崑声詹海潭经小川张刚李宁
- 基于FPGA的多通道高可靠高速单向传输系统设计被引量：4
- 2017年
- 在对已有单向传输系统研究的基础上,针对当前单向传输系统的单通道失效、传输速率不高、不存在与用户的交互等弊端并根据用户对可靠高速准实时甚至实时传输的需求,提出了一种基于现场可编程门阵列的多通道高可靠高速单向传输系统并予以实现。该系统从安全性、可靠性、高速性进行设计,通过引入多通道冗余传输、万兆光纤等技术克服了当前单向传输系统存在的单通道失效、传输速度低等问题,从用户角度增加了一些人机交互设计并为后期扩展开发预留了空间。通过测试,该系统能在120 MB/s的速率下稳定运行,单通道失效情况下系统可照常运行。
- 杜兴林经小川梁光成李雪巍
- 关键词：现场可编程门阵列多通道高可靠
- 星载SpaceWire总线及其开发测试技术被引量：2
- 2016年
- 作为一项专门面向星载应用的高速数据传输的总线技术,SpaceWire现已被ESA,NASA,JAXA以及其它实体广泛的使用,是已被验证的成熟技术。SpaceWire提供简单适用的标准接口,可以根据应用要求灵活多变的配置最合适的体系结构,同时SpaceWire技术的不断发展提供了更多更强大的功能。现有SpaceWire相关宇航级芯片以及被广泛验证过的IP核可以用来开发SpaceWire设备及系统:并且有一系列的开发测试设备可以用来检测、测试或者分析评估SpaceWire设备、链路和网络。
- 陈湘陇经小川华广胜杨铭梁学俊巴峰
- 关键词：SPACEWIRE
- 内部网络安全监控关键技术及其应用
- 胡昌振王崑声夏建中夏春和姚淑萍闫怀志戴斌危胜军周春楠经小川王海泉穆亚兵张欣
- 该项目属于"计算机应用"学科领域，是网络安全积极防御的前沿研究领域.内部网络是国家及企业重要信息资源的集散地，其安全防御关系到国计民生，安全监控是内部网络安全防御体系的核心.该项目面向 "准确检测与预测网络攻击，并在其发...
- 关键词：
- 关键词：网络安全
- 基于AADL的建模和验证技术应用研究
- 2012年
- 随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。
- 张辉经小川谢伟华高金梁
- 一种验证AADL模型运行状态与需求一致性的方法
- 一种验证AADL模型运行状态与需求一致性的方法，步骤包括：(1)根据需求中的状态和状态迁移构建AADL模型，AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移；(2)将AADL模型中模式和模式迁移转化为Petri...
- 王崑声张辉经小川张刚谢伟华
- 一种软件运行时故障定位方法
- 本发明提供了一种软件运行时故障定位方法，该方法包括静态准备阶段、动态运行阶段和故障定位阶段；其中：在静态准备阶段，即在软件系统运行之前，根据软件系统的高层需求描述，确定性质规约，然后根据该性质规约在软件系统中插装代码、部...
- 薛惠锋闫陈静张伟葛慧经小川高金梁傅艳张博吕宏宇
- 军工高安全软件数值型运行时错误分析方法
- 2016年
- 提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.
- 黄明詹海潭张伟经小川李宁王潇茵
- 网络协同攻击及其检测方法研究被引量：14
- 2004年
- 协同攻击是由许多的分散行为所构成,这些分散行为具有一定的时间和空间跨度,因此造成了常规监测的困难。分析了网络协同攻击的行为特点及其构成的要素,将协同攻击行为划分为基于时间的行为和基于空间的行为。结合适当的攻击表达方法,提出一种应用于网络协同攻击的检测方法,详细的介绍了该方法的特点和应用方式。
- 经小川胡昌振谭惠民
- 关键词：入侵检测
- 航天嵌入式软件运行时错误静态分析方法被引量：7
- 2013年
- 提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
- 王崑声詹海潭经小川李宁张刚
- 关键词：上下文敏感
