原文服务方: 航空计算技术       
摘要:
针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.
推荐文章
一种符合OSEK标准的操作系统微内核设计
操作系统
微内核
任务调度
上下文切换
分区操作系统内核中隔离性质的研究
安全关键系统
操作系统内核
可信性
分区
隔离性质
Z/Z++
一种多核分区操作系统的绑定组调度方法
核处理平台
分区操作系统
绑定组
混合调度
基于Coq的微内核操作系统程序验证方法研究
程序验证
霍尔逻辑
推理系统
定理证明
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种微内核分区操作系统C库的适配验证方法
来源期刊 航空计算技术 学科
关键词 微内核架构 嵌入式分区操作系统 标准接口 C库 恩智浦
年,卷(期) 2017,(3) 所属期刊栏目 计算机软件
研究方向 页码范围 74-79
页数 6页 分类号 TP316.2
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郝继锋 7 10 2.0 2.0
2 刘鸽 6 12 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (1)
同被引文献  (1)
二级引证文献  (0)
2017(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
微内核架构
嵌入式分区操作系统
标准接口
C库
恩智浦
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
航空计算技术
双月刊
1671-654X
61-1276/TP
大16开
西安市太白北路156号
1971-01-01
中文
出版文献量(篇)
4160
总下载数(次)
0
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
中国实用神经疾病杂志 中华神经科杂志 中华神经外科杂志 中华老年心脑血管病杂志 中国神经精神疾病杂志 中风与神经疾病杂志 中华神经医学杂志 临床神经病学杂志 临床精神医学杂志 中国临床神经外科杂志 中华精神科杂志 国际脑血管病杂志 临床心身疾病杂志 脑与神经疾病杂志 国际精神病学杂志 精神医学杂志 中华神经外科疾病研究杂志 上海精神医学 卒中与神经疾病 中国脑血管病杂志 中国卒中杂志 国际神经病学神经外科学杂志 中国现代神经疾病杂志 中国神经免疫学和神经病学杂志 中国临床神经科学 心脑血管病防治 神经损伤与功能重建 神经疾病与精神卫生 中国神经再生研究(英文版) 神经解剖学杂志 四川精神卫生 神经科学通报(英文版) 临床神经外科杂志 立体定向和功能性神经外科杂志 癫痫与神经电生理学杂志 中华脑血管病杂志(电子版) 世界睡眠医学杂志 神经病学与神经康复学杂志 中华脑科疾病与康复杂志(电子版) 中华神经创伤外科电子杂志 建筑经济 中国矿业 工程管理学报 机械设计与制造工程 中国能源 煤炭经济研究 资源与产业 海洋开发与管理 水利科技与经济 内蒙古煤炭经济 能源技术经济 新材料产业 工程与建设 汽车工业研究 中国电力企业管理 当代石油石化 现代工业经济和信息化 中国钨业 施工企业管理 化工科技市场 石油化工技术与经济 中国人造板 广西电业 中国煤炭工业 电器工业 世界制造技术与装备市场 中国石化 工程经济 中国石油企业 石油商技 中国包装 时代汽车 中国建材 中国食品工业 中国石油石化 中国机电工业 中国核工业 稀土信息 中国军转民 船舶物资与市场 系统仿真学报 航空学报 航空动力学报 宇航学报 测控技术 航空制造技术 推进技术 中国惯性技术学报 振动、测试与诊断 电光与控制 宇航材料工艺 固体火箭技术 空气动力学学报 航天医学与医学工程 航空计算技术 中国航空学报(英文版) 导弹与航天运载技术 航天控制 航空精密制造技术 实验流体力学 沈阳航空航天大学学报 上海航天 中国民航大学学报 计测技术 航天器工程 中国空间科学技术 航天器环境工程 航空发动机 航空发动机 航天电子对抗 空间科学学报 航天返回与遥感 飞行器测控学报 航空维修与工程 航空科学技术 航天制造技术 遥测遥控 宇航计测技术 中华航空航天医学杂志 中国航天
论文1v1指导