中国航空科学基金(2008ZC31001)
- 作品数：2 被引量：21H指数：2
- 相关作者：崔西宁牛文生马建峰沈玉龙叶宏更多>>
- 相关机构：中航工业西安航空计算技术研究所西安电子科技大学清华大学更多>>
- 发文基金：中国航空科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术更多>>
- 综合化航空电子系统可信软件技术被引量：12
- 2009年
- 航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。
- 沈玉龙崔西宁马建峰牛文生
- 关键词：安全系统
- 综合化航空电子系统软件接口研究被引量：10
- 2011年
- 综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模型,分析和对比了综合化航空电子系统软件现有接口标准规范。在航空电子系统软件开发中将多个标准结合起来参考使用,将有利于提高机载软件的重用性、移植性、安全性和可靠性。
- 崔西宁胡林平叶宏白晓颖
- 关键词：ARINC653APEXAPOS
