您的位置: 专家智库 > >

郝继锋

作品数:15 被引量:42H指数:4
供职机构:西安航空计算技术研究所更多>>
发文基金:国家自然科学基金中国航空科学基金中国人民解放军总装备部预研基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 15篇中文期刊文章

领域

  • 15篇自动化与计算...

主题

  • 6篇操作系
  • 6篇操作系统
  • 5篇虚拟机
  • 5篇虚拟机管理器
  • 5篇管理器
  • 4篇多核
  • 3篇嵌入式
  • 3篇资源受限
  • 3篇物联网
  • 3篇联网
  • 3篇接口
  • 3篇架构
  • 2篇形式化
  • 2篇形式化方法
  • 2篇虚拟化
  • 2篇微核
  • 2篇微内核
  • 2篇微内核架构
  • 2篇内核
  • 2篇接口标准

机构

  • 9篇中航工业西安...
  • 6篇西安航空计算...

作者

  • 15篇郝继锋
  • 5篇虞保忠
  • 4篇徐晓光
  • 4篇任晓瑞
  • 3篇周霆
  • 3篇李运喜
  • 2篇胡宁
  • 2篇叶宏
  • 1篇吕广喆
  • 1篇刘鸽

传媒

  • 10篇航空计算技术
  • 1篇电子技术(上...
  • 1篇微电子学与计...
  • 1篇计算机工程与...
  • 1篇单片机与嵌入...
  • 1篇信息通信

年份

  • 1篇2022
  • 1篇2021
  • 2篇2020
  • 4篇2018
  • 4篇2017
  • 2篇2016
  • 1篇2013
15 条 记 录,以下是 1-10
排序方式:
DO-333标准形式化方法研究被引量:5
2020年
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。
郝继锋叶宏任晓瑞
关键词:安全关键系统机载软件形式化方法形式化分析
物联网操作系统技术研究被引量:4
2017年
物联网操作系统是物联网信息技术的重要组成部位,其特点是规模小,占用资源非常少,且功耗极低。其主要适用于内存空间极小、功耗极低且效率较高的资源受限应用场景。如以往的非智能手机,存储空间小,需要待机时间长,对通话要求快速响应。物联网操作系统还应用于传感器采集数据。随着物联网技术发展,各种需要联网的物件中嵌入微型计算机设备。物联网操作系统运行于微型计算机设备上,负责管理硬件软件并接入到互联网中。在航空领域,飞机上部署了数量众多的微型计算机设备,它们大都是体积小、存储空间小、功耗低。这些微型计算机设备上运行着数据采集任务、数据传输任务及设备控制任务。物联网操作系统能够解决微型计算机设备上硬件软件管理问题,并且能够做到资源占用少、功耗低。通过分析物联网操作系统Contiki研究物联网操作系统相关技术。
虞保忠郝继锋
关键词:物联网操作系统资源受限微型计算机
嵌入式虚拟机管理器内存虚拟化方法研究被引量:2
2017年
嵌入式虚拟机管理器需对3类硬件资源进行虚拟化才能支持客户OS的正常运行,而且支持虚拟内存的客户OS需对MMU页表进行虚拟化;以NXP公司的PowerPC架构处理器为例介绍了MMU概况、管理方法,并提出MMU虚拟化的需求;研究了XEN、ViMo、KVM/ARM、NOVA、MobiVMM 5个典型虚拟机管理器软件中所采用的主流内存虚拟化方案,并给出了基于软件影子页表、基于硬件支持特性、软硬件结合等3种对MMU页表进行虚拟化的解决方案。
郝继锋
关键词:内存虚拟化
多核分区管理方法的设计与实现被引量:1
2018年
针对目前综合化模块化航空电子系统中,满足航空电子应用软件接口标准的分区管理方法基于单核嵌入式处理器的现状,研读航空电子工程委员会最新发布航空电子应用软件接口标准第1部分第4次修订版的要求,对恩智浦公司的嵌入式多核处理器、绿山公司的多核分区操作系统、风河公司的多核分区操作系统进行调研;基于多核分区操作系统设计并实现一种多核分区管理方法,提出3个创新点,包括分区在核间的动态控制方法、C/S架构的多核分区动态控制模型、虚拟机管理器的分区动态控制的接口标准;在典型嵌入式多核处理器目标硬件平台上,对多核分区管理方法的功能正确性进行测试和验证。
郝继锋虞保忠郭芳超
关键词:虚拟机管理器
多核操作系统自旋锁技术研究被引量:4
2017年
多核操作系统通常采用自旋锁技术保证多核之间互斥。处理器核属于硬件设备,需要硬件锁机制实现核间互斥,各类处理器都提供相应的硬件指令实现自旋锁,如锁总线。处理器核在获取自旋不成功时,一直自旋,直到获取锁成功。自旋锁持有时间非常短,不引起睡眠,效率很高。
虞保忠郝继锋
关键词:多核操作系统互斥自旋锁
一种轻量级操作系统测试框架设计与实现
2018年
如何提高嵌入式软件产品的测试效率,提高软件质量,已经成为当下重要的研究课题,而目前出现的典型开源测试框架主要针对通用嵌入式软件产品或者通用web领域软件产品,并不能满足轻量级操作系统资源受限的特定需求(例如内存占用少、节能效率高);针对这种状况设计并实现一种称为ACore Lite Test轻量级测试框架,并以轻量级操作系统内核中的计数信号量模块为例,说明了测试框架的使用方法,并对其设计和实现的正确性进行了验证。
郝继锋李运喜任晓瑞徐晓光
关键词:资源受限
一种微内核分区操作系统C库的适配验证方法被引量:2
2017年
针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点。
郝继锋刘鸽
关键词:微内核架构标准接口
机器人操作系统EtherCAT技术研究被引量:7
2020年
标准以太网采用CSMA/CD方式,无法保证延迟时间和通信响应,导致其不能满足工业控制领域的实时性需求,为了提高工业机器人的运动精度,其通信系统通常采用EtherCAT实时以太网,介绍其帧结构、状态机、三层架构,调研典型的商业、开源EtherCAT主站软件,针对开源SOEM 1.3.3版本主站库,重点研究其层级架构、API接口、EtherCAT帧收发过程,并提出SOEM 1.3.3版本主站库在RTEMS实时操作系统上的移植方法。
郝继锋叶宏吕广喆
关键词:CSMA/CD工业机器人ETHERCAT实时以太网RTEMS
一种基于微核架构的虚拟化设备高效访问模型被引量:3
2013年
文章提出了一种基于微核架构的虚拟化设备高效访问模型,这种访问模型的基本思想就是把设备驱动程序置于虚拟机管理器内核之外的用户空间,然后,通过向客户OS中插入代理驱动/插桩驱动,它可以把用户的I/O请求转化为到驱动程序的IPC消息,从而完成多分区对设备的并发访问请求。此方法可以提供和内核态驱动相接近的性能、更好的信息安全性能、减小内核尺寸、故障隔离以及实现虚拟机管理器内核可形式化验证的目标。
郝继锋任晓瑞胡宁
关键词:微核IPC虚拟机管理器
嵌入式多核操作系统的形式化建模与验证被引量:1
2022年
在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。
郝继锋胡宁任晓瑞周霆
关键词:安全关键软件形式化方法
共2页<12>
聚类工具0