周霆

作品数：23被引量：33H指数：3
导出分析报告
供职机构：西安航空计算技术研究所更多>>
发文主题：分区操作系统虚拟化多核嵌入式操作系统更多>>
发文领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
发文期刊：《数码世界》《计算机光盘软件与应用》《航空计算技术》《计算机工程与设计》更多>>
所获基金：国家自然科学基金中国航空科学基金中国人民解放军总装备部预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多核系统核间通信框架设计与实现被引量：1
《航空计算技术》2023年第4期110-112,116,共4页虞保忠 任晓瑞 黄保垒 周霆 
国家自然科学基金项目资助(61732001)。
为了提升多核系统核间交互实时性和并行性,设计和实现了一种多核系统核间交互通信框架,在该框架下,设计专用的核间交互通道,核间交互时每个核使用独立的交互通道,避免核间互斥操作,从而提高并行性;设计核间交互数据结构,保证数据消息可...
关键词：多核 互斥 核间交互、实时性 
嵌入式多核操作系统的形式化建模与验证被引量：1
《航空计算技术》2022年第6期124-128,共5页郝继锋 胡宁 任晓瑞 周霆 
国家自然科学基金项目资助(61732001)。
在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件...
关键词：安全关键软件 安全认证 形式化方法 嵌入式多核操作系统 时间确定性 功能正确性 形式化建模和验证 
多核共享cache确定性技术被引量：1
《计算机工程与设计》2022年第11期3079-3084,共6页虞保忠 周霆 李运喜 黄凡帆 
国家自然科学基金项目(61732001)。
为解决多核共享cache竞争冲突引发的确定性问题,研究多核共享cache确定性缓解技术,提出针对多核实时系统的共享cache确定性缓解方法。通过硬件和软件协同方式,以软件配置方式,利用cache硬件分区和cache软件分区方法,优化存储空间管理,...
关键词：多核 共享CACHE 确定性 并行 实时系统 竞争冲突 分区 
一种实时分区操作系统的多余度同步调度方法
《航空计算技术》2022年第4期65-69,共5页周霆 任晓瑞 朱晓宁 
国家自然科学基金项目资助(61732001)。
随着机载航空电子系统综合化水平的进一步提高,安全关键的多余度控制系统也开始利用时空隔离的多分区环境集成多样化应用,从而产生了对多分区、多任务同步调度和确定性序列化调度的需求,因而分区操作系统需要提供时间确定性更高的调度...
关键词：分区操作系统 弹性同步分区 前后台任务 余度同步 
一种基于核集的多核嵌入式实时调度方法
《单片机与嵌入式系统应用》2022年第7期3-6,共4页任晓宇 周霆 王立 
国家自然科学基金项目资助(61732001)。
本文提出一种基于核集的多核嵌入式调度方法,该方法为任务增加核集属性,调度器选择后继任务时需要同时满足高优先级要求、当前核属于任务核集两个条件。本文提出的调度方法能够为任务指定核集属性,限定任务在指定核集上运行,相对于原有...
关键词：嵌入式操作系统 多核 调度方法 核集 
一种多核分区操作系统的绑定组调度方法被引量：2
《航空计算技术》2022年第3期85-88,共4页周霆 朱晓宁 任晓瑞 
国家自然科学基金项目资助(61732001)。
伴随机载计算平台对算力提升的显著需求,综合化模块化航空电子系统(IMA)采用多核处理器和相应的多核分区操作系统成为必然趋势,从而对目前仅适用于单核处理模式的多分区调度算法产生了进一步的能力扩展需求。面向多核处理的多分区调度...
关键词：多核处理平台 分区操作系统 绑定组 混合调度 
机载多核技术应用研究被引量：1
《航空计算技术》2022年第2期121-124,共4页虞保忠 任晓瑞 黄保垒 周霆 
国家自然科学基金项目资助(61732001)。
为了在机载计算机中构建安全的多核系统,研究最新的多核技术特性,调研国外相关应用于机载计算机的多核操作系统产品和技术报告,结合机载计算机的高实时性高安全性需求及多核系统安全认证指南,分析多核技术带来的确定性问题,分析确定性...
关键词：操作系统 机载计算机 多核干扰 确定性缓解 虚拟机管理器 
嵌入式实时操作系统的资源控制组机制设计与实现被引量：5
《航空计算技术》2022年第2期86-90,共5页任晓宇 周霆 朱晓宁 王立 
国家重点研发计划项目资助(2017YFB1301101)。
目前的嵌入式软件开发模式已无法满足嵌入式软件的快速发展,存在众多亟待解决的问题,一种可能的解决方案就是将容器技术应用于嵌入式领域,充分利用容器技术简部署、快启动、易迁移等优点。目前主流的容器主要是基于Linux系列操作系统创...
关键词：实时操作系统 嵌入式容器 资源控制 实时调度 
云计算应用中的嵌入式容器技术研究被引量：4
《单片机与嵌入式系统应用》2021年第5期9-11,21,共4页虞保忠 郝继锋 周霆 任晓宇 
国家重点研发计划资助(2017YFB1301104)。
虚拟化技术从主机虚拟化发展到容器虚拟化,推动了计算开发模式的变更。容器虚拟化技术广泛应用于云计算,提供高效灵活的计算资源配置,极大提高了计算资源的利用率和软件开发效率。以Docker为代表的容器实现了持续集成、持续交付和部署...
关键词：虚拟化 容器 DOCKER Linux容器 命名空间 
基于分区操作系统的安全审计模块设计
《航空计算技术》2018年第5期114-115,共2页刘鸽 尹超 周霆 
工信部某预研项目资助(G488A0813002-3)
新一代航空电子综合化的发展,使得机载操作系统的复杂度越来越高,基于对机载操作系统空间隔离和资源隔离的需求,分区操作系统应运而生。随着机载操作系统分区化趋势的发展,分区操作系的实时性、可靠性和安全性必须得到重视。针对分区操...
关键词：航电系统 分区操作系统 信息安全 安全审计 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部