崔红军
- 作品数：7 被引量：9H指数：2
- 供职机构：中国电子科技集团公司第三十二研究所更多>>
- 发文基金：国家部委资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OCL约束建模的嵌入式软件安全性分析被引量：4
- 2018年
- 目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。
- 崔红军黄美锋吴振宇
- 关键词：对象约束语言软件安全性分析失效模式
- Android系统下VPN应用的识别方法及系统
- 本发明提供了一种Android系统下VPN应用的识别方法及系统，包括：通过VpnService特征，初步筛选得到一批App，针对筛选得到的App，利用关键词匹配App信息，命中者识别为目标App，针对剩余未命中者，依据其...
- 何建安唐祝寿崔红军燕锦华池定程封亮王勇解群龙刚邓朝日郭玉环李巍李翔徐文博
- 文献传递
- 国产操作系统验证平台及建立方法
- 本发明提供了一种国产操作系统验证平台，包括至少一个功能模块，还包括平台适配模块、运行控制模块和结果输出模块；其中：所述平台适配模块用于编译各功能模块的配置信息，使各功能模块通过平台适配模块与国产操作系统适配连接；所述运行...
- 崔红军沈雷何建安封亮王勇朱辉
- 文献传递
- Android系统下VPN应用的识别方法及系统
- 本发明提供了一种Android系统下VPN应用的识别方法及系统，包括：通过VpnService特征，初步筛选得到一批App，针对筛选得到的App，利用关键词匹配App信息，命中者识别为目标App，针对剩余未命中者，依据其...
- 何建安唐祝寿崔红军燕锦华池定程封亮王勇解群龙刚邓朝日郭玉环李巍李翔徐文博
- 文献传递
- 基于影响因素与灰聚类的软件可靠性评价方法被引量：3
- 2018年
- 在软件开发与测试过程中存在的各种不确定因素,对软件可靠性有直接或间接的影响。在软件可靠性建模过程中考虑影响因素,可解决传统模型假设理想化、适用性较差等问题,实现对软件可靠性的综合评价。为此,对软件可靠性影响因素进行分析,总结出30种重要影响因素。在此基础上,提出一种基于影响因素和灰聚类的软件可靠性评价方法,借助灰聚类系统理论对影响因素进行灰关联分析与灰聚类计算,在各个研制阶段实现对软件可靠性的有效评价。研究结果表明,该方法可准确评估软件可靠性水平,直观反映可靠性增长趋势与薄弱环节。
- 崔红军封亮王勇
- 关键词：软件可靠性建模综合评价影响因素灰聚类
- SRAM型FPGA SEU缓解与验证技术分析被引量：2
- 2019年
- SRAM型FPGA产品在空间应用中易受单粒子翻转(SEU)影响而产生系统失效。分析了FPGA器件SEU的故障模式,并结合工程实践对三模冗余(TMR)技术、纠错编码(EDAC)技术、配置刷新技术三类FPGA单粒子效应缓解措施和基于故障注入的验证手段进行了研究和比较分析,阐述了不同技术的适用范围和优缺点,给从事空间应用系统的设计和测试人员提供参考。
- 郑丹胡胜旺封亮崔红军
- 关键词：FPGA单粒子翻转
- 面向高端装备的安全嵌入式基础软件
- 张激朱闻渊李健包晟临郭建邓畅彭宏朱伟杰赵卓唐丽萍赵俊才崔红军史建琦黄远张佩
- 该项目属于信息技术领域，主要技术创新内容包括： (1)针对中国高端装备的自主可控和可靠性需求，完成了安全增强多核嵌入式实时操作系统的架构创新，首次实现SMP/AMP架构的多核实时调度以及多核CPU与DSP一致性设计的实时...
- 关键词：
- 关键词：基础软件高端装备实时操作系统
