您的位置： 专家智库 > >

任晓瑞

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

合作作者

文献类型

  • 29篇期刊文章
  • 1篇会议论文

领域

  • 24篇自动化与计算...
  • 6篇航空宇航科学...
  • 1篇电子电信

主题

  • 11篇操作系
  • 11篇操作系统
  • 7篇调度
  • 5篇多核
  • 4篇嵌入式
  • 4篇机载
  • 3篇调度方法
  • 3篇任务调度
  • 3篇网络
  • 3篇架构
  • 3篇分布式
  • 3篇分区操作系统
  • 2篇形式化
  • 2篇形式化方法
  • 2篇虚拟机
  • 2篇虚拟机管理器
  • 2篇硬件
  • 2篇硬件任务
  • 2篇实时性
  • 2篇数据分发

机构

  • 20篇西安航空计算...
  • 10篇中航工业西安...

作者

  • 30篇任晓瑞
  • 6篇周霆
  • 6篇胡宁
  • 4篇杨琼
  • 4篇刘建军
  • 4篇张鹏
  • 4篇邸海涛
  • 4篇李运喜
  • 4篇郝继锋
  • 4篇郭秋丽
  • 3篇吕广喆
  • 3篇虞保忠
  • 3篇时磊
  • 2篇陈晓磊
  • 2篇叶宏
  • 2篇何翔
  • 1篇徐晓光
  • 1篇赵根学
  • 1篇黄英兰
  • 1篇刘帅

传媒

  • 24篇航空计算技术
  • 2篇电子技术（上...
  • 1篇计算机光盘软...
  • 1篇电子测试
  • 1篇信息技术与信...
  • 1篇2002年全...

年份

  • 3篇2024
  • 3篇2023
  • 7篇2022
  • 1篇2021
  • 2篇2020
  • 1篇2019
  • 2篇2018
  • 1篇2017
  • 1篇2015
  • 1篇2014
  • 4篇2013
  • 1篇2008
  • 1篇2007
  • 1篇2005
  • 1篇2002
共 30 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种分区操作系统实时任务调度方法被引量：2
2013年
本文以提高在综合化航空电子系统混合任务场景中的实时任务响应性能和解决遗产代码重用问题为目标,提出一种具备虚拟化支持能力的分区操作系统实时任务调度方法。该方法通过建立全局调度队列,并对任务状态进行合理控制,相比已有分区操作系统两级调度模型更为灵活,并且保证了虚拟化分区中客户操作系统自身的调度策略不被破坏,能够满足分区操作系统对任务调度实时性和虚拟化支持能力的需求。
周霆胡宁任晓瑞
关键词：分区操作系统任务调度
一种实时分区操作系统的多余度同步调度方法
2022年
随着机载航空电子系统综合化水平的进一步提高,安全关键的多余度控制系统也开始利用时空隔离的多分区环境集成多样化应用,从而产生了对多分区、多任务同步调度和确定性序列化调度的需求,因而分区操作系统需要提供时间确定性更高的调度模型和多余度同步调度能力。提出一种“弹性同步时间+固定主帧时间”的多分区调度同步机制,以及“前台周期任务+后台非周期任务”分区内任务调度模型,解决现有分区调度算法缺乏多余度间的弹性同步机制,以及分区内第二级调度缺乏确定性的执行序列和执行时机的问题。
周霆任晓瑞朱晓宁
关键词：分区操作系统
分布式嵌入式文件系统的设计
2023年
针对当前航空电子分布式嵌入式计算机目前采用NFSV3协议网络文件系统,存在单点故障、服务器性能瓶颈,以及嵌入式环境各种资源受限等约束等问题,提出了基于集群架构的分布式嵌入式文件系统方案。总体架构定义了客户端-元数据服务器-数据服务器分布式文件管理集群架构,透明访问设计采用了精简三级统一路径名和文件服务接口子集;分布式通信设计采用了基于DDS的RPC服务框架,分块及布局管理设计采用表驱动的动态分配方式实现了文件的分块和多副本管理,元数据服务器容错设计采用HA高可用主从数据库方式实现主从元数据服务器状态的实时同步。最后通过搭建分布式嵌入式计算机测试环境,验证了原型系统的功能和性能。
张鹏任晓瑞杨琼王冬胡宁
关键词：嵌入式分布式文件系统RPC容错管理
一种轻量级操作系统测试框架设计与实现
2018年
如何提高嵌入式软件产品的测试效率,提高软件质量,已经成为当下重要的研究课题,而目前出现的典型开源测试框架主要针对通用嵌入式软件产品或者通用web领域软件产品,并不能满足轻量级操作系统资源受限的特定需求(例如内存占用少、节能效率高);针对这种状况设计并实现一种称为ACore Lite Test轻量级测试框架,并以轻量级操作系统内核中的计数信号量模块为例,说明了测试框架的使用方法,并对其设计和实现的正确性进行了验证。
郝继锋李运喜任晓瑞徐晓光
关键词：资源受限
FACE标准中数据关联技术研究
2021年
为解决FACE标准中可移植组件之间因数据交互在数据类型等方面高度耦合而无法移植、复用的问题,研究和分析了数据关联技术,提出了三种数据关联技术方案,并搭建了飞行数据获取应用平台对其进行了验证。通过演示验证,应用端关联方式最简单,但需要配置网络并组合数据,提高了用户使用难度;传输服务组件内关联技术为用户提供了半透明的数据传输服务,用户不需要自己组合数据,但相对于第一种方式网络配置复杂度没有降低;传输服务组件中心化技术解决了以上两种问题,为用户提供了完全透明的数据传输服务,但对于采用DDS作为通信机制的情况来说,最大的弊端就是违反了DDS的去中心化原则。三种方式各有优缺点,系统可根据实际情况选取使用。
郭秋丽任晓瑞刘建军
关键词：FACE数据关联数据模型
嵌入式多核操作系统确定性研究被引量：8
2014年
为解决嵌入式多核操作系统确定性问题,详细阐述了计算确定性,重点分析了多核结构引入的不确定性问题。通过研究嵌入式多核操作系统的结构,从共享存储的确定性访问、确定性任务调度、确定性通信等方面提出了解决多核结构带来的不确定性问题的方法。
何翔任晓瑞刘帅
关键词：多核嵌入式操作系统内存访问任务调度
机载多核技术应用研究被引量：1
2022年
为了在机载计算机中构建安全的多核系统,研究最新的多核技术特性,调研国外相关应用于机载计算机的多核操作系统产品和技术报告,结合机载计算机的高实时性高安全性需求及多核系统安全认证指南,分析多核技术带来的确定性问题,分析确定性影响因素、干扰源、影响程度及缓解措施,分析多核系统架构的特性与局限性,研究工业物联网的多核应用技术,提出适用于机载计算机的虚拟化解决方案,在操作系统与硬件之间增加虚拟化层,通过虚拟机管理器缓解多核确定性,构建满足实时性和安全性的多核系统。
虞保忠任晓瑞黄保垒周霆
关键词：操作系统机载计算机虚拟机管理器
一种策略可配置的IMA系统故障管理方法
2022年
随着综合化模块化航空电子(IMA)系统的综合化程度增加,其故障发生概率及类型增多,且IMA系统在功能升级、集成过程中,其故障管理方式不断迭代、管理难度增加。提出一种可灵活策略、可配置的故障管理方法。方法基于IMA平台构建于分区OS上,参考ASAAC标准管理层级,提出预先配置故障管理策略及多级权限的管理机制,解决了传统故障的过滤、诊断及处理方式与应用程序强耦合问题,以及由于故障处理而导致系统运行不确定性问题。所提方法满足IMA系统在不同机型不同阶段的故障管理需求,最终满足新一代IMA系统在移植性和确定性方面的要求,提高系统的安全性与可靠性。
刘建军任晓瑞邸海涛黄英兰
关键词：故障管理
一种多核分区操作系统的绑定组调度方法被引量：2
2022年
伴随机载计算平台对算力提升的显著需求,综合化模块化航空电子系统(IMA)采用多核处理器和相应的多核分区操作系统成为必然趋势,从而对目前仅适用于单核处理模式的多分区调度算法产生了进一步的能力扩展需求。面向多核处理的多分区调度算法需要在发挥多核处理效能的同时,继续维持机载安全关键系统的实时性和确定性特征。为此,提出一种基于“绑定组”概念的多分区混合调度方法,支持分区与核资源之间的灵活绑定和确定性调度,取得了“发挥多核处理效能”与“满足关键系统实时、确定性需求”之间的平衡。
周霆朱晓宁任晓瑞
关键词：分区操作系统混合调度
符合DO-330的机载软件工具鉴定
2024年
在安全关键领域的软件开发过程中,对软件开发和验证过程中所使用的工具,按照其实际用途开展工具鉴定是支撑软件实现其开发和验证活动相关目标的重要方法之一。对当前国际上有效的各行业标准中与工具鉴定相关的内容进行了概要的描述,并且重点阐述航空电子领域的DO-330标准中的工具鉴定过程,对实施工具鉴定时的所需要开展的活动内容进行了综合分析,这些内容是工具鉴定申请人在实际项目中应重点考虑的,同时,还为工具开发人员给出了工具鉴定包开发的建议。
陈晓磊李晓龙任晓瑞
关键词：机载软件
全选 清除 导出
共3页<123>
聚类工具0