作者:
原文服务方: 航空计算技术       
摘要:
针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计.基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机栽嵌入式操作系统的适航验证成本.
推荐文章
机载适航标准DO-178B/C软件开发过程研究
DO-178B/C
软件生命周期过程
转换准则
过程模型
DO-178B/C目标分析及阶段介入评审过程研究
机载软件
DO-178B/C
适航目标
介入阶段评审
适航审定
基于DO-178B的结构覆盖分析研究
DO-178B
软件测试
结构覆盖分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 DO-178B可验证的机载操作系统配置生成技术
来源期刊 航空计算技术 学科
关键词 DO-178B 适航验证 配置数据生成 机载嵌入式操作系统
年,卷(期) 2012,(6) 所属期刊栏目 计算机软件
研究方向 页码范围 95-98
页数 4页 分类号 TP311.5
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张旻 2 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (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
适航验证
配置数据生成
机载嵌入式操作系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
航空计算技术
双月刊
1671-654X
61-1276/TP
大16开
西安市太白北路156号
1971-01-01
中文
出版文献量(篇)
3899
总下载数(次)
0
论文1v1指导