徐晓光 作品数:15 被引量:45 H指数:3 供职机构: 西安航空计算技术研究所 更多>> 发文基金: 中国人民解放军总装备部预研基金 中国航空科学基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
文件系统的快速启动机制研究 2014年 文章提供一种文件系统的快速启动方法,通过设计一种合理的文件系统一致性方案以减少文件系统的完整性检查,且只在合适的时机扫描磁盘以减少磁盘扫描开销有效缩短文件系统启动时间。 杨琼 胡宁 周霆 徐晓光关键词:磁盘扫描 一种轻量级操作系统测试框架设计与实现 2018年 如何提高嵌入式软件产品的测试效率,提高软件质量,已经成为当下重要的研究课题,而目前出现的典型开源测试框架主要针对通用嵌入式软件产品或者通用web领域软件产品,并不能满足轻量级操作系统资源受限的特定需求(例如内存占用少、节能效率高);针对这种状况设计并实现一种称为ACore Lite Test轻量级测试框架,并以轻量级操作系统内核中的计数信号量模块为例,说明了测试框架的使用方法,并对其设计和实现的正确性进行了验证。 郝继锋 李运喜 任晓瑞 徐晓光关键词:资源受限 操作系统ARINC653标准符合性验证方法的研究 被引量:1 2011年 ARINC 653标准是一种国际流行的多分区操作系统的接口标准,是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准,以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C/S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法,方法不需要对操作系统源码进行修改,并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。 仝敏 徐晓光关键词:ARINC 操作系统 符合性验证 分区间通信在航空电子系统中的设计与实现 被引量:23 2005年 新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。 徐晓光 叶宏关键词:嵌入式实时操作系统 ARINC 基于航电通信网络中简单文件传输协议的实现 被引量:4 2008年 简单文件传输协议(TFTP)应用到航电网络中,可以根据网络需要在各节点之间进行数据传输。这极大地提高了整个网络的工作效率,降低了网络中各节点的存储负荷。从航电网络通信系统的层次结构出发,结合终端的工作原理,论述了在终端提供的接口上简单文件传输协议的实现方法。 邢亮 谢克嘉 张晓红 徐晓光关键词:终端 TFTP 一种支持操作系统内核级动态升级的技术 被引量:3 2020年 传感/作动器等远端节点对运行于其中的操作系统及应用有高度可配置、自适应等要求,要求这些软件能够在指定的时机对自己进行更新。研究了软件动态升级的关键技术,结合自研的高度模块化的轻量级操作系统提出并实现一种能够在运行时进行软件动态升级的机制,支持应用级、操作系统级的不停机升级,并在STM32F4开发平台上进行了验证。 张勇 徐晓光 麦先根 高原关键词:操作系统 模块化 嵌入式多核系统中断负载均衡研究 被引量:2 2014年 针对嵌入式多核系统对中断响应处理的高实时性需求,引入系统运行时中断负载动态计算方法,在此方法基础上,提出多核之间中断负载均衡的方法。在系统运行过程中,将中断交由当前中断负载最低的处理器核处理,避免中断拥塞问题,使得中断能够在最短的时间内得到处理,提高了系统的中断响应处理的实时性。 虞保忠 张灯 徐晓光 胡宁关键词:嵌入式 负载均衡 一种多核混合分区调度算法设计与实现 被引量:5 2016年 提出了一种基于嵌入式多核虚拟机管理器的混合分区调度算法.对多核混合分区调度算法的配置、设计和实现过程进行阐述,而且,在飞思卡尔PowerPC MPC8641D硬件平台上对多核混合分区调度算法进行充分的功能测试和验证;最后,对多核混合分区调度算法的特点以及将来还需要完善的工作进行总结. 郝继锋 虞保忠 周霆 徐晓光CMSIS标准研究 被引量:1 2018年 由于物联网应用的跨平台特性,使得编写移植嵌入式软件变得很困难,主流硬件平台供应商都开始寻求解决方案,由ARM公司牵头制定了CMSIS标准,用于解决基于Cortex-M处理器系列的微控制器平台软件的可移植性和可复用性问题。对CMSIS标准的特性进行了详述,以CMSIS 4.5.0版本标准为例,对其各个组件进行了详细的研究,探讨了CMSIS-RTOS API接口标准在物联网领域的适用性,并列举了典型的遵循该标准的开源物联网操作系统产品对其进行佐证。 郝继锋 李运喜 徐晓光关键词:物联网应用 跨平台 开源低端设备物联网操作系统研究 被引量:2 2018年 首先介绍了开源物联网操作系统的各个方面,其中,资源受限(例如有限内存、计算能力、功耗)成为了通用操作系统(一般为各种计算设备设计开发)运行的巨大问题;然后,归纳出低端Io T设备的物联网操作系统需要满足的各种需求,研究了为资源受限的物联网环境提供的各类典型操作系统,每种物联网操作系统支持的硬件平台,提供的应用程序的软件开发工具,以及每个物联网操作系统为了连网通信实现的各类物联网协议,并对识别出三种类型物联网操作系统;最后,对全文进行了总结。 郝继锋 李运喜 徐晓光关键词:物联网 资源受限 通用操作系统 软件开发工具