摘要
针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。
According to the DO -178B certification requirements of airborne embedded operating system configuration data conversion generation technology is analyzed and studied. This paper presents a reusable airborne embedded operating system configuration data generator architecture design. Based on this architecture building configuration data generator through DO - 178B certification can be applied to different airborne embedded operating system, thus greatly reducing airborne embedded operating system ai worthiness certification cost.
出处
《航空计算技术》
2012年第6期95-98,共4页
Aeronautical Computing Technique
基金
十二五"核高基"某集成应用示范项目资助(2012ZX01041-006)
