论文降重
免费查重
DO-178B可验证的机载操作系统配置生成技术
原文服务方：
航空计算技术
摘要：
针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计.基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机栽嵌入式操作系统的适航验证成本.
推荐文章
基于DO-178B的软件测试技术研究
DO-178B
软件测试
机载适航标准DO-178B/C软件开发过程研究
DO-178B/C
软件生命周期过程
转换准则
过程模型
DO－178B／C目标分析及阶段介入评审过程研究
机载软件
DO-178B/C
适航目标
介入阶段评审
适航审定
基于DO-178B的结构覆盖分析研究
DO-178B
软件测试
结构覆盖分析
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
版权信息
全文
- 全文.pdf
引文网络
引文网络
二级参考文献 (5)
共引文献 (1)
参考文献 (2)
节点文献
引证文献 (2)
同被引文献 (7)
二级引证文献 (0)
2005(2)
- 参考文献（0）
- 二级参考文献（2）
2006(2)
- 参考文献（0）
- 二级参考文献（2）
2008(1)
- 参考文献（0）
- 二级参考文献（1）
2010(2)
- 参考文献（2）
- 二级参考文献（0）
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2014(1)
- 引证文献（1）
- 二级引证文献（0）
2016(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
DO-178B
适航验证
配置数据生成
机载嵌入式操作系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
航空计算技术
主办单位：
中国航空工业西安航空计算技术研究所
出版周期：
双月刊
ISSN：
1671-654X
CN：
61-1276/TP
开本：
大16开
出版地：
西安市太白北路156号
邮发代号：
创刊时间：
1971-01-01
语种：
中文
出版文献量（篇）
3899
总下载数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
航空计算技术2025
航空计算技术1999
航空计算技术2000
航空计算技术2001
航空计算技术2002
航空计算技术2003
航空计算技术2004
航空计算技术2005
航空计算技术2006
航空计算技术2007
航空计算技术2008
航空计算技术2009
航空计算技术2010
航空计算技术2011
航空计算技术2012
航空计算技术2013
航空计算技术2014
航空计算技术2015
航空计算技术2016
航空计算技术2017
航空计算技术2018
航空计算技术2019
航空计算技术2020
航空计算技术2022
航空计算技术2024
航空计算技术2023
