王泉
- 作品数：21 被引量：62H指数：5
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国人民解放军总装备部预研基金中国航空科学基金武器装备预研基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术天文地球更多>>
- 软件数据耦合影响分析方法
- 2008年
- 以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患。
- 周敏刚张学宏王泉
- 关键词：并发进程数据冲突
- AFDX-ES SoC验证平台的构建与实现
- 2010年
- 以SoC软硬件协同设计方法学及验证方法学为指导,系统介绍了以ARM9为核心的AFDX-ES SoC设计过程中,软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。
- 强新建田泽王泉杨峰淮治华
- 关键词：软硬件协同验证AFDX终端系统片上系统FPGA
- SoC芯片中SRIO接口的FPGA验证平台设计验证
- 2016年
- SRIO接口基于串行包交换协议,包含SRIO接口的高性能处理器已广泛应用于航空嵌入式系统中,SRIO高速接口功能与性能的验证是整个系统设计的关键,设计可靠完备的验证平台对芯片SRIO接口的验证至关重要。文中基于对Rapid IO协议的理解,基于一款So C芯片设计并搭建了FPGA验证平台,策划FPGA功能验证点,完成对SRIO核的验证。基于文中的验证平台可完成SRIO接口不同线速率,不同线宽,以及SRIO不同包类型的覆盖验证,测试内容已覆盖SRIO协议中规定的内容。
- 曹朋朋田泽赵强李攀王泉
- 关键词：SRIOFPGA平台
- ARINC659底板数据总线及关键技术被引量：11
- 2013年
- ARINC659底板总线是一个具有总线传输时间确定性的多节点串行通信总线,具有高容错性、高冗余度和高完整性和高可靠的特点。在概括通用底板总线技术的基础上,介绍了ARINC659底板总线的体系结构,给出了ARINC659底板总线的工作机制及流程,并重点分析研究了ARINC659底板总线的关键技术,总结了ARINC659底板总线的技术特点及应用前景,在此基础上完成的协议处理芯片已成功流片,并得到大规模应用。
- 田泽刘宁宁郭亮许宏杰王泉邵刚
- 关键词：高可靠性余度
- 基于Polyspace的静态分析及测试方法研究被引量：1
- 2020年
- 根据某嵌入式平台软件特点,提出一种基于Polyspace的软件静态分析和测试方法。结合使用工具和人工分析按功能模块进行静态分析,合理更改完善软件再次静态分析确保未引入新问题,对更改后的软件重新编译和进行增量模块测试,确保更改结果编译正确,测试结果与更改前测试基线一致。同时借助SVN配置管理工具严格控制工作产品版本,有效进行同行评审,最终有效提高软件质量。
- 王泉丁锐周敏刚胡佳琳
- 关键词：软件测试SVN
- 航空软件配置管理系统设计和关键技术研究被引量：5
- 2010年
- 从军工软件配置管理的需求出发,结合国军标的开发库、受控库和产品库的三库配置管理体系,阐述某自主知识产权的"航空软件配置管理系统"的总体设计思路,指出该配置管理系统实现的关键技术为软件配置库的存储设计方法和文件的增量存储和差异比较技术。说明系统软件配置库的存储设计思路和方案,采用编辑图和贪心算法实现文件的增量存储和差异比较技术的解决方案。总结系统的特点和优点,说明系统下一步发展及扩充的几个方向。
- 黄晖王泉
- 关键词：系统设计配置管理
- 数字系统的可靠性和可测试性设计被引量：1
- 2007年
- 数字系统的可靠性和可测试性越来越引起人们的关注,并形成了大量的理论和技术,介绍了常用的可靠性设计技术,例如避错技术、容错技术、编码检错技术、故障自检测和自诊断技术以及失败安全设计技术同时还描述了可测试性设计的特定技术、通用技术、边界扫描技术以及内建自测试设计技术,设计人员可以选择适当的技术进行可靠性和可测试性设计,从而提高数字系统的可靠性。
- 王泉史维峰
- 关键词：可靠性可测试性容错技术
- 离散量信号处理的现状及趋势被引量：3
- 2016年
- 在电子控制领域,离散量处理电路一直是重要的基本组成部分。伴随着微电子技术的发展,离散量处理电路也在逐步向着小型化、高集成度、智能化方向发展。全文从离散量概念入手,通过对比国内外离散量处理电路的发展现状,根据我国实际发展需要对未来我国离散量处理电路的发展趋势进行了展望。
- 王泉谢运祥惠晓强
- 关键词：智能化
- 北斗卫星通信授时系统设计及应用
- 北斗卫星导航定位系统是我国自行研制的卫星导航定位系统，具有双向通信、实时导航、精密授时特点，已广泛应用在国防、通信、经济建设等多领域中。
本文研究并设计了北斗卫星通信授时功能的用户机系统。按照嵌入式系统设计流程...
- 王泉
- 关键词：授时系统卫星导航定位系统嵌入式系统
- 文献传递
- ARINC659芯片设计与实现关键技术研究被引量：4
- 2014年
- ARINC659总线是一个半双工传输的、总线交叉检验的、线性多点的串行容错总线,用于综合模块化航空电子系统机架内部各个在线可更换模块之间的通信,其总线传输时间和存储空间上具有高可靠性和高完整性等特点。在国外,该总线已广泛应用在航空、航天等领域。文中对ARINC659总线进行了概述,分析了ARINC659总线协议的关键技术,重点阐述了ARINC659芯片的体系架构设计、详细设计与实现、虚拟仿真验证及FPGA原型验证等关键技术。目前,ARINC659芯片已经一次流片成功,并成功应用在多个领域。
- 许宏杰田泽郭亮刘宁宁王泉
- 关键词：容错
