| 综合化航空电子系统可信软件技术 |
| |
| 引用本文： | 沈玉龙,崔西宁,马建峰,牛文生.综合化航空电子系统可信软件技术[J].航空学报,2009,30(5):938-945. |
| |
| 作者姓名： | 沈玉龙 崔西宁 马建峰 牛文生 |
| |
| 作者单位： | 1. 西安电子科技大学,计算机学院,陕西,西安,710071
2. 西安电子科技大学,计算机学院,陕西,西安,710071;航空计算技术研究所,陕西,西安,710068 |
| |
| 基金项目： | 国家自然科学基金(60633020,60573036);;国家“863”计划(2007AA01Z429,2007AA01Z405);;航空科学基金(2007ZD31003,2008ZC31001) |
| |
| 摘 要： | 航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求，提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中，建立综合化航空电子系统可信软件体系结构，在此基础上，提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性，对保证飞机任务的执行及其安全具有重要的作用，为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。
|
| 关 键 词： | 综合化航空电子系统 可信软件 最小可信计算基 可靠性增强 安全系统 |
Trust Software Technology in Integrated Avionics Systems |
| |
| Shen Yulong,Cui Xining,Ma Jianfeng,Niu Wensheng.Trust Software Technology in Integrated Avionics Systems[J].Acta Aeronautica et Astronautica Sinica,2009,30(5):938-945. |
| |
| Authors: | Shen Yulong Cui Xining Ma Jianfeng Niu Wensheng |
| |
| Institution: | 1.School of Computer Science and Technology, Xidian University 2.Aeronautics Computing Technology Research Institute |
| |
| Abstract: | Avionics systems require aviation tasks to be definite, predictable and controllable. This article makes a thorough analysis of the requirements of an avionics system software in terms of security, dependability, integrity and real time. The definition of the trust software in integrated avionics systems is proposed. The trusted computing technology is introduced for the first time into an integrated avionics system, and the architecture of the trust software is established. Based on these, the execution en... |
| |
| Keywords: | integrated avionics system trust software mini trusted computing base dependability improvement security systems |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《航空学报》浏览原始摘要信息 |
| 点击此处可从《航空学报》下载免费的PDF全文 |
|
