孔德岐
- 作品数：25 被引量：58H指数：4
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金国家自然科学基金国防基础科研计划更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术经济管理更多>>
- 基于嵌入式Linux系统的NVRAM驱动架构设计被引量：2
- 2022年
- 针对嵌入式Linux系统下的NVRAM驱动如何设计和实现的问题,根据NVRAM硬件设备的特点在Linux系统下的总线设备驱动模型的基础上设计出通用的NVRAM设备驱动架构模型。并以一款常用的FM25H20芯片为例从设备树修改以及驱动实现两方面介绍了基于Linux SPI总线的NVRAM驱动模型具体设计步骤,重点分析了NVRAM驱动软件内部架构和具体的设计流程,并通过压力测试验证了驱动架构的正确性。经测试证明驱动模型严格遵守软件工程的“低耦合、高内聚”的设计原则,几乎适用于市面上所有SPI接口的NVRAM芯片,并具有良好的可移植性,能够在不修改代码的基础上移植于新的嵌入式硬件平台。
- 张拓智孔德岐郑涛李雪源石杰
- 关键词：LINUXNVRAM驱动软件
- 浅谈DO-178C中数据耦合与控制耦合目标的实现
- 2018年
- 根据DO-178C的要求,DAL A/B/C级软件的测试覆盖必须实现数据耦合与控制耦合的目标。介绍了数据耦合与控制耦合的定义,以及数据耦合与控制耦合分析的目的。总结了在软件计划、开发、验证各环节应考虑的数据耦合与控制耦合的相关问题。
- 孔德岐钟珊
- 关键词：组件
- 基于DO-178C的民用机载软件工具鉴定研究被引量：3
- 2018年
- 随着民用飞机机载系统复杂性的不断提高,软件工具在机载软件系统开发中使用得越来越广泛。在分析DO-178C、DO-330标准的基础上,从适航合格审定角度探讨了软件工具鉴定工作,以IMA系统综合工具-配置数据生成工具为例进行分析,分析了工具应遵循的工具鉴定等级,为软件工具所需开展的鉴定工作提供了参考。
- 钟珊孔德岐
- RapidIO互连技术研究及其模型验证被引量：2
- 2009年
- 随着计算机技术的飞速发展,传统总线已远远无法满足目前和未来高性能计算机系统的I/O性能需求。介绍了一种新的基于包交换的I/O互连技术——RapidIO。通过介绍RapidIO协议规范以及将RapidIO和几种新兴高性能I/O互连技术(PCI Express等)的对比,指出了RapidIO在满足高性能计算机系统的I/O性能需求方面的优势,最后给出了RapidIO验证模型并对验证结果进行了分析。
- 赵博龙赵云忠孔德岐
- 关键词：RAPIDIOPCIEFPGA
- 一种基于一体化设计的通用飞机机载电子系统架构被引量：3
- 2018年
- 机载电子系统是支持通用飞机实现高效操作、高安全性、低成本、自主飞行等先进能力的关键功能单元,是体现通用飞机技术发展水平的一个重要标志。目前国内面向通用飞机机载电子系统和国外差距较大,针对国内通用飞机机载电子系统所存在的问题,结合未来的技术发展,提出一种基于一体化设计的通用飞机机载电子系统架构,对架构的逻辑和物理实现进行了描述,经过实际的原理样机验证,架构具有较高的实际应用价值。
- 刘文学孔德岐田莉蓉吕亚方米耘锋
- 关键词：通用飞机机载电子系统逻辑架构
- AFDX网络端系统测试与分析
- 航空电子全双工交换式以太网（Avionics Full Duplex Switched Ethernet,AFDX）因为具备低成本、延迟,高可靠性、实时性,强拓展性等优点,在民用飞机航空电子系统中得到了广泛的应用。AFD...
- 王元勋张双孔德岐刘绚郑涛
- 关键词：AFDX端系统测试系统
- 民用飞机信息安全适航过程与方法研究被引量：4
- 2018年
- 随着信息技术和网络技术在民用飞机机载系统中大量应用,这些新技术在为飞机提供更多功能,为航空公司运营提供更多便利的同时,也带来了信息安全的各种威胁。针对这种情况,通过研究RTCA DO-326系列航空工业标准,分析适用于民用飞机的安保适航过程,并针对信息安全风险评估活动,分析了适用的模型和方法。最后,展望了民用飞机信息安全适航的未来发展趋势。
- 张双孔德岐郑涛杨佳
- 关键词：民用飞机风险评估
- 基于U-Boot的机载设备上电BIT软件设计与实现
- 本文针对基于U-Boot的机载设备上电BIT软件如何设计和实现的问题,分析了U-Boot的时间和空间架构,并根据上电BIT软件需求,在U-Boot的POST架构基础上建构了软件模型,重点介绍了基于U-Boot的上电BIT...
- 张拓智孔德岐张军才李雪源杨启帆
- 关键词：U-BOOTPOST软件模型
- 文献传递
- CCAR23部飞机航空电子网络中FlexRay协议的设计和实现
- 2015年
- 为了增强FlexRay网络在CCAR23部飞机航空网络应用中的安全性,分析了FlexRay协议的传输特性,定义了心跳消息结构,提出了在静态段中进行状态声明、在动态段中进行成员协商以及在网络空闲时间进行成员状态决策的成员算法的设计与实现。该算法以进程为单位进行管理,可以在协议层实现进程的重新集成,且对于存在n个故障的系统,只要系统中存在2n+1个过程且n+1个过程运行正常,该算法就能够在一个周期内识别全部故障。经应用验证,该算法能够在一个通信周期中实现成员协议要求的确认性、一致性以及自我诊断性。
- 刘绚孔德岐张双李莉缪伟涛刘文学
- 关键词：航空电子系统容错
- 高可靠嵌入式计算机系统的发展被引量：9
- 2013年
- 通过归纳高可靠嵌入式计算机系统的技术特征,分析高可靠嵌入式计算机系统的实现途径,对高可靠嵌入式计算系统的演进进行了系统论述,分别从基础可靠性、系统可用性、系统完整性和系统可信性等技术途径详细地分析了高可靠计算机系统的发展思路,并结合高可靠技术的发展趋势,提出了涵盖完整性等级、容错范围和余度范围等3个维度的高可信嵌入式计算机体系架构,以使人们对高可靠嵌入式计算机系统的认识更加清晰,从而把握高可靠嵌入式计算机系统发展的要点。
- 孔德岐李亚晖郭鹏
- 关键词：嵌入式计算机容错技术故障检测
