叶宏
- 作品数:36 被引量:111H指数:6
- 供职机构:西安航空计算技术研究所更多>>
- 发文基金:中国航空科学基金国防科技技术预先研究基金国家科技重大专项更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术更多>>
- 一种基于通信事件的机载分布式软件调试方法
- 2011年
- 多应用分区的开发与综合是IMA系统开发的核心工作之一,而如何控制和调试基于分区间通信的分布式协作行为是关键所在。引入"通信事件"对分区间通信活动进行抽象,提出通信事件调试方法,对分区间通信的源分区和目的分区进行同步控制和对通信活动进行协同调试。进而提出一种将通信事件调试和代码调试有机结合的混合调试方法,论述了方法的调试过程以及在实践中表现出来的优点与不足。
- 张树兵叶宏
- 机载设备软件需求获取过程研究
- 2008年
- DO-178B机载设备软件的开发指南,规定了软件生存周期中各个过程的目标以及完成目标的活动和证据;但是DO-178B标准中没有给出软件需求获取的具体过程。针对机载设备软件AE653/Cert的认证过程进行研究,诠释需求获取过程中的建模方法和原则,给出需求获取过程的具体描述及其变更控制和配置管理。最后通过分析验证软件需求获取过程生成的需求和工作产品可以符合DO-178B的目标,为机载软件开发过程的需求获取提供了参考依据。
- 刘建军邢亮叶宏
- 关键词:配置管理
- 基于AADL的机载设备系统可靠性建模被引量:5
- 2009年
- AADL可以描述机载设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。
- 刘建军钟珊叶宏
- 综合化航空电子系统软件接口研究被引量:10
- 2011年
- 综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模型,分析和对比了综合化航空电子系统软件现有接口标准规范。在航空电子系统软件开发中将多个标准结合起来参考使用,将有利于提高机载软件的重用性、移植性、安全性和可靠性。
- 崔西宁胡林平叶宏白晓颖
- 关键词:ARINC653APEXAPOS
- 面向IMA网络文件系统的双服务器结构设计被引量:1
- 2012年
- 为了提高面向IMA网络文件系统的可靠性和实时性,设计了一种双服务器结构的网络文件系统。客户优先访问主服务器,在得不到主服务器响应时,访问从服务器;主服务器在无法满足同时有多个访问请求时,把一部分的访问请求分给从服务器;主服务器和从服务器通过数据实时更新和定时检测更新,保持数据的高度一致。
- 段海军叶宏张鹏
- 关键词:网络文件系统双服务器
- 分布式软件调试中调试信息界面展示技术被引量:1
- 2010年
- 在分布式并行调试器的设计中,友好的人机界面起着十分重要的作用,界面设计是一个综合研究的过程。针对分布式程序的需求特点,以展示布局合理、信息可视化的人机界面为目的,进行分布式软件调试中调试信息界面展示技术的研究。介绍了界面与代理节点的交互方式,并通过相应的数据处理算法,将调试信息以及进程间通信关系在界面上进行可视化展示。
- 王辛李青山崔西宁叶宏杜林
- 关键词:分布式调试信息可视化
- 满足ARINC653要求机载操作系统的模型研究
- 针对航空电子系统综合化后带来可靠性、安全性等方面问题,国际ARINC组织提出健壮分区的思想,制定了ARINC653标准。在充分理解标准的基础上,提出了满足ARINC653标准的自主版权机载操作系统的软件架构,定义了分区模...
- 李运喜叶宏韩炜
- 关键词:ARINC653
- 椭圆曲线密码的优化设计方法被引量:3
- 2015年
- 椭圆曲线密码算法依赖于离散对数问题的困难性,具有安全强度高、计算复杂度小的特点.椭圆曲线密码系统的主要操作为点乘运算,是加解密过程中最为耗时的部分.文中对点乘运算进行优化,提出了椭圆曲线密码算法实现的硬件体系结构,设计了基于FPGA/ASIC的加解密系统.通过对有限二进制域的乘法优化、平方优化和除法优化,提高了加解密算法的实现效率.分析和测试表明,所设计的硬件体系结构具有硬件资源消耗小、模块接口复杂度低和可扩展性强的特点,且支持113、163、193等多种密钥长度,相对于椭圆曲线密码算法的软件实现,文中的椭圆曲线密码处理器加速比最高可达到上千倍.
- 崔西宁杨经纬叶宏戴小氐
- 关键词:现场可编程门阵列椭圆曲线密码算法点乘
- 面向高安全数据分发服务的身份认证协议设计被引量:4
- 2015年
- 为解决数据分发服务安全规范中身份认证与密钥协商协议存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,以协议为基础,设计一种新的高安全数据分发服务身份认证与密钥协商协议。新协议引入了ACK机制,并利用D-H密钥交换和非对称密码体制特点解决了原协议存在的安全问题,具备实用性和更高的安全性。
- 李明娟叶宏王乐胡国甄超
- 关键词:数据分发服务身份认证密钥协商
- 机载容错分布式系统的通用系统管理研究
- 给出了机载容错分布式系统的软件结构和组成,采用基于三层栈TLS的先进的航电系统结构,以通用系统管理GSM和运行蓝图分离设计的思想,实现了分布式系统的GSM与硬件无关、与飞机无关.GSM分为HM,FM,CM和SM四个软件功...
- 崔西宁叶宏张亚棣王和平
- 关键词:TLS系统管理GSM应用管理
- 文献传递