李运喜 作品数:29 被引量:68 H指数:5 供职机构: 西安航空计算技术研究所 更多>> 发文基金: 中国人民解放军总装备部预研基金 国家自然科学基金 中国航空科学基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 电子电信 更多>>
一种基于B+树结构的事务文件系统可靠性增强方法 航电系统综合化带来的数据高度集中和频繁处理,给机载大容量数据存储提出了新的需求。文件系统是提供设备存储数据的一种有效管理途经。本文通过开展事务文件系统可靠性研究,解决了管理块损坏导致文件系统状态不一致和事务提交开销导致文... 杨琼 王冬 李运喜关键词:综合航空电子系统 可靠性 树结构 文献传递 基于边端协作的分布式数据分级管理技术 2024年 随着智能应用在嵌入式装备系统中的不断普及与发展,对大数据的有效利用和深度融合提出了更高的要求。然而,嵌入式装备类型多样、大数据多源异构,由于缺乏统一的组织管理,业务应用间存在数据壁垒,并出现了数据孤岛现象,导致大数据利用与开发困难。因此,在嵌入式装备系统中,如何有效组织管理数据是亟待解决的难点。为此,以嵌入式装备系统的数据统一管理和共享利用为导向,基于边侧与端侧协作技术,从数据管理架构、数据分级协同管理方案、数据请求调度策略三个方面,探讨了嵌入式装备系统中分布式数据协作管理技术的可行性,以促进数据到信息、信息到知识、知识到决策的快速转化,同时,通过管与用的紧密结合,推动嵌入式装备系统中数据应用的开发。 任德旺 周俊鹏 倪鑫 李丽娜 李亚晖 李运喜关键词:数据管理 分布式数据 基于多分区操作系统的多核确定性调度方法设计 被引量:14 2016年 为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。 刘鸽 叶宏 李运喜 胡宁 何翔关键词:分区操作系统 多核处理器 调度 时间分区的设计与实现 被引量:15 2010年 为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区(Partition)的概念。分区是运行于一个处理机模块上的一个或多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。 李运喜 梁小虎 叶宏 王蜜蜂关键词:周期 截止期 机载嵌入式实时操作系统时间性能测试 被引量:1 2006年 在机载嵌入式实时操作系统中,时间性能是一个非常重要的参数。为了评估机载嵌入式实时操作系统的实时性,同时为用户提供操作系统的时间性能参数,本文介绍了支持分区的机载嵌入式实时操作系统中特有的影响时间性能的关键因素———错误响应时间,分区间数据交换时间,进程上下文切换时间,分区上下文切换时间;给出了操作系统时间性能测试的方法,着重分析了计时工具,测试用例的设计,测试点的选取,以及排除影响测试准确行的因素。 李娟 叶宏 李运喜一种轻量级操作系统测试框架设计与实现 2018年 如何提高嵌入式软件产品的测试效率,提高软件质量,已经成为当下重要的研究课题,而目前出现的典型开源测试框架主要针对通用嵌入式软件产品或者通用web领域软件产品,并不能满足轻量级操作系统资源受限的特定需求(例如内存占用少、节能效率高);针对这种状况设计并实现一种称为ACore Lite Test轻量级测试框架,并以轻量级操作系统内核中的计数信号量模块为例,说明了测试框架的使用方法,并对其设计和实现的正确性进行了验证。 郝继锋 李运喜 任晓瑞 徐晓光关键词:资源受限 基于对称多处理架构的软件调试技术研究和实现 被引量:2 2014年 为了满足计算机领域用户对高性能及低功耗的双重需求,在深入研究多核现状的基础上,结合核间中断技术,提出了一种对称多处理架构下的软件调试器设计和实现方案。方案不仅成本低,而且不需要特殊调试硬件的支持,可为多核系统的故障诊断和分析提供参考借鉴。 贾璐 李运喜 胡宁 麦先根 虞保忠关键词:多核 虚拟化 物联网环境下嵌入式操作系统技术特性研究 被引量:8 2018年 物联网环境下运行嵌入式操作系统不同于以往RTOS,有新的技术特征要求。在分析了传统嵌入式操作系统技术特征的基础上,系统总结了物联网环境下对于嵌入式操作系统的能力伸缩、互连互通、运行安全、能耗控制、动态升级等新的技术特征要求,针对符合上述特征操作系统逐一给出了建议实现方案,最后给出了符合要求的物联网操作系统发展趋势以及与其他类型操作系统在物联网环境中的部署关系。 李运喜关键词:物联网 操作系统 基于模型检验的分级调度系统参数生成方法 被引量:2 2019年 针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系统可调度性的前提下,采用分布式遗传算法搜索具有最优处理器利用率的参数。其中,系统的可调度性约束表述为符号模型检验中的安全性属性和统计模型检验中的假设检验2种形式。相比广泛应用的响应时间分析模型,该方法的形式化模型具有更强的表达能力,能更精确地描述复杂系统特征。而且统计模型检验的引入缓解了传统模型检验的“状态空间爆炸”问题。参数生成实验表明该方法能够定位参数空间中的全局最优解。 韩朴杰 翟正军 陆艳洪 李运喜关键词:时间自动机 分布式遗传算法 符合ARINC653的多核操作系统任务调度研究 被引量:8 2017年 针对航空电子系统不断提升的平台处理需求和降低体积、重量、功耗的要求,多核在机载领域应用已经成为趋势。为解决多核应用引入的不确定性问题,从任务调度的视角,重点讨论了符合ARINC653标准的单核与多核两种模式下的任务调度模型,包含分区调度、进程调度、分区并行调度、进程并行调度以及不同运行模式的差异。结合多核处理器、机载操作系统与机载应用发展现状,给出了航空领域对于多核的应用建议。 李运喜 何翔关键词:多核处理器 ARINC653 进程调度