| DO-178B可验证的机载操作系统配置生成技术 |
| |
| 引用本文： | 张旻.DO-178B可验证的机载操作系统配置生成技术[J].航空计算技术,2012,42(6):95-98. |
| |
| 作者姓名： | 张旻 |
| |
| 作者单位： | 中航工业西安航空计算技术研究所,陕西西安,710068 |
| |
| 基金项目： | 十二五"核高基"某集成应用示范项目资助 |
| |
| 摘 要： | 针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。
|
| 关 键 词： | DO-178B 适航验证 配置数据生成 机载嵌入式操作系统 |
Technology of Configuration Conversion Generation for Airborne Operating System Based on DO-178B Certification |
| |
| ZHANG Min.Technology of Configuration Conversion Generation for Airborne Operating System Based on DO-178B Certification[J].Aeronautical Computer Technique,2012,42(6):95-98. |
| |
| Authors: | ZHANG Min |
| |
| Institution: | ZHANG Min(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
