郭鹏
- 作品数:12 被引量:41H指数:5
- 供职机构:中航工业西安航空计算技术研究所更多>>
- 发文基金:中国航空科学基金中航工业技术创新基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于RUCM的嵌入式软件的可靠性和实时性需求建模方法
- 软件需求是用户对软件系统的功能、行为、性能、设计约束等方面的期望,也是系统必须提供的能力和必须遵从的条件。本文分析现阶段需求的各种描述方法,针对嵌入式软件需求复杂并且难以全面描述的问题,提出了一种易理解性和精确性的RUC...
- 郭鹏张亚棣李亚晖叶宏
- 关键词:用例建模非功能属性
- 面向嵌入式软件开发的UML到Simulink模型转换方法被引量:5
- 2016年
- 模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。
- 郭鹏李亚晖孙磊蔡晓乐
- 关键词:模型驱动开发ATLUMLSIMULINK
- 高可靠嵌入式计算机系统的发展被引量:9
- 2013年
- 通过归纳高可靠嵌入式计算机系统的技术特征,分析高可靠嵌入式计算机系统的实现途径,对高可靠嵌入式计算系统的演进进行了系统论述,分别从基础可靠性、系统可用性、系统完整性和系统可信性等技术途径详细地分析了高可靠计算机系统的发展思路,并结合高可靠技术的发展趋势,提出了涵盖完整性等级、容错范围和余度范围等3个维度的高可信嵌入式计算机体系架构,以使人们对高可靠嵌入式计算机系统的认识更加清晰,从而把握高可靠嵌入式计算机系统发展的要点。
- 孔德岐李亚晖郭鹏
- 关键词:嵌入式计算机容错技术故障检测
- 机载嵌入式软件的安全性机制研究被引量:6
- 2015年
- 通过深入分析机载软件的开发和运行过程,在满足适航标准和信息安全标准的要求下,给出了与机载系统软件安全性相关的因素和威胁,并提出了基于嵌入式可信计算基的MILS机载软件架构安全性防护技术,为机载嵌入式软件的安全性机制研究提供了基础。
- 李亚晖张亚棣郭鹏
- 关键词:安全关键系统嵌入式软件
- 面向机载的多核处理器应用技术分析
- 现如今多核处理器在嵌入式系统中的应用越来越普及,机载计算机作为嵌入式系统的一个分支,多核处理器在机载领域的应用势必会变得更加广泛。但是,由于机载计算机必须具备强实时性、高安全性的特征,多核处理器的应用也会伴随许多问题与挑...
- 段宇博王乐郭鹏
- 关键词:机载计算机多核处理器强实时
- 面向无人装置协同操作的安全认证协议
- 2016年
- 无人装置协同操作动态组网需要安全的群组通信。依据无线环境中的不同安全域,提出了一种具有身份保护的安全组网协议。该协议采用基于身份的匿名签名算法设计了安全组网机制,实现了传感器节点、作动器节点、密钥分发中心和控制台的四方安全认证和密钥交换,并为安全域内的无人操作装置建立了安全传输通道;采用匿名身份认证与可追溯机制相结合的方式,构建了无人操作装置间动态组网和数据安全传输,以为协同操作提供实时、安全的数据通道,实现无人操作装置在传感器和作动器级的协同。
- 牛文生李亚晖郭鹏
- 关键词:群组通信密钥管理
- TTE通信技术在混合安全关键系统的应用被引量:7
- 2013年
- 确定性通信是构建混合安全关键系统的关键技术。分析了混合安全关键系统对网络通信的要求,探讨了时间触发以太网的体系结构、时钟同步机制、数据传输控制机制、余度与故障控制机制等,针对混合安全关键系统的要求,详细分析了时间触发以太网的实时性、确定性、高可靠性等特性。分析表明:时间触发以太网是构建混合安全关键系统的优选通信网络,能有效降低系统集成复杂性和费用。
- 刘帅张喜民郭鹏
- 关键词:通信TTE
- 航电无线网络关键技术研究被引量:5
- 2018年
- 在机载通信领域引入无线网络技术,能够有效提高机载网络的灵活性,减轻飞机的重量、功耗和维护成本,因此无线网络技术在机载领域拥有广阔的应用前景。文章首先介绍了航电网络的基本概念、传统架构和所面临的的问题;然后讨论了无线技术在安全关键的航空电子系统中的应用前景和所面临的挑战;接着研究了几种新型航电无线网络架构,并分析了航电无线网络在安全性和可靠性方面所面临的挑战;最后针对航电无线网络面临的安全性和可靠性问题,并提出了参考的解决方案。
- 路辉王乐王乐李明
- 关键词:航电系统无线网络可靠性安全性
- 基于ATL引擎的UML到Simulink模型转换方法研究被引量:1
- 2015年
- 针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。
- 郭鹏李亚晖李明娟韩伟
- 关键词:模型驱动开发ATLUMLSIMULINK
- 基于TTE网络的分布式系统分区通信方法被引量:1
- 2015年
- 针对新一代分布式IVMS及高可靠航电系统对通信网络的确定性通信要求,分析了符合ARINC653标准的分区间通信原理,研究TTE端系统缓冲方案,设计了分区间TTE通信映射配置,实现了分区间TTE通信驱动,建立了分区间TTE通信测试平台,通过实际测试表明,基于TTE网络的分布式系统分区通信方案有效可靠。
- 刘帅徐奡郑久寿郭鹏
- 关键词:ARINC653TTE