综合化航空电子系统可信软件技术

被引：11

作者：

沈玉龙 ^{[1
]}

崔西宁 ^{[1
,2
]}

马建峰 ^{[1
]}

牛文生 ^{[1
,2
]}

机构：

[1] 西安电子科技大学计算机学院

[2] 航空计算技术研究所

来源：

航空学报 | 2009年 / 30卷 / 05期

关键词：

综合化航空电子系统; 可信软件; 最小可信计算基; 可靠性增强; 安全系统;

D O I：

暂无

中图分类号：

V243 [电子设备];

学科分类号：

摘要：

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。

引用

页码：938 / 945

页数：8