DO-178B可验证的机载操作系统配置生成技术

作     者：张旻 ZHANG Min

作者机构：中航工业西安航空计算技术研究所陕西西安710068 

基　　金：十二五"核高基"某集成应用示范项目资助(2012ZX01041-006) 

出 版 物：《航空计算技术》 (Aeronautical Computing Technique)

年 卷 期：2012年第42卷第6期

页      码：95-98页

摘      要：针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。

主 题 词：DO-178B 适航验证 配置数据生成 机载嵌入式操作系统 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1671-654X.2012.06.025

馆 藏 号：203648649...