仝敏
- 作品数：8 被引量：21H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金国家科技重大专项中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 资源确定性配置方法的研究与应用
- 2016年
- 系统运行的确定性是综合化模块化航空电子系统发展的要求之一,文章从嵌入式实时操作系统时间、空间、健康监控和分区间通信四个方面进行研究,提出了一种资源静态配置方法,即在系统集成阶段确定应用运行顺序、各类空间运行位置、系统错误发生后的处理动作、以及分区间通信的连接方式和方向,在系统初始化阶段完成操作系统所需各种资源的配置和创建,应用此方法能够高效地管理系统各类资源,增加系统稳定性,提高系统的可靠性,从而满足系统综合化模块化的发展要求。
- 仝敏梅涛
- 关键词：分区操作系统
- 嵌入式实时多分区操作系统两态访问的研究被引量：8
- 2014年
- 为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。
- 仝敏张东
- 关键词：用户态
- 一种优化的分区调度机制的研究与实现
- 2021年
- 在新一代综合化、模块化的航空电子系统中,符合ARINC653规范的分区操作系统应用极为广泛。本文重点研究了ARINC653规范要求的嵌入式操作系统分区调度机制,并在该机制基础上,提出并实现了一种更加优化的分区调度方法。
- 仝敏陈晓磊杨静远
- 关键词：ARINC653
- 操作系统ARINC653标准符合性验证方法的研究被引量：1
- 2011年
- ARINC 653标准是一种国际流行的多分区操作系统的接口标准,是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准,以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C/S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法,方法不需要对操作系统源码进行修改,并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。
- 仝敏徐晓光
- 关键词：ARINC操作系统符合性验证
- 嵌入式操作系统下POSIX信号量的研究被引量：1
- 2018年
- 嵌入式系统软件是当前信息技术领域重要的研究和发展方向,嵌入式操作系统是嵌入式系统软件的核心,它是一种用途广泛的系统软件。POSIX标准是操作系统流行的标准,POSIX信号量作为POSIX标准非常重要的一部分,在开发中使用极其频繁。如何在嵌入式操作系统中实现和使用POSIX信号量,是文章研究的重点,这对嵌入式系统软件的工程开发起到至关重要的作用。
- 仝敏
- 关键词：POSIX信号量嵌入式操作系统
- 嵌入式操作系统的信号机制研究被引量：1
- 2022年
- 为了满足嵌入式操作系统对任务间同步/异步处理、设备/文件状态通知、定时器响应、应用异常处理等能力,以及要符合国际标准POSIX的可移植性,在嵌入式操作系统中实现了信号机制。通过研究信号的概念、类型、处理方式、嵌套,重启和中断、任务同步、异常处理等功能,剖析了这种异步通信机制在嵌入式操作系统与UNIX/Linux等传统桌面系统的实现差异,以及特性。随着嵌入式操作系统在各个领域应用越来越广泛,以及对各种通用标准的支持,越来越多的嵌入式操作系统也将信号机制集成进来,并在系统中起到关键的作用。
- 杨弋仝敏卫一芃
- 关键词：嵌入式操作系统信号POSIX
- 嵌入式分区操作系统可靠性技术的研究与应用被引量：10
- 2015年
- 嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。
- 仝敏卫一芃张灯
- 关键词：分区操作系统可靠性
- 一种分区操作系统周期进程小周期补偿策略
- 2021年
- 分析了原有ARINC653分区操作系统在进程周期小于系统定期器最小Tick的情况下使用的一些局限性,通过分析分区操作系统分区调度原则、周期进程使用原则和周期进程控制的原理,提出了一种在ARINC653分区操作系统下周期进程的小周期补偿控制策略,并介绍了一种利用补偿系数补偿周期频率的设计实现的方法,同时描述了具体程序实现的流程。通过理论计算补偿系数的推演,对理论计算后的有效性进行了确认。最后在真实目标机上进行了功能测试和验证,显示了策略的有效性。
- 杨静远仝敏张磊
- 关键词：嵌入式操作系统分区操作系统
