ARINC653

作品数：60被引量：149H指数：7
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：马金晶刘雪胡军胡林平叶宏更多>>
相关机构：中航工业西安航空计算技术研究所中国航空工业集团公司西安航空计算技术研究所西安航空计算技术研究所南京航空航天大学更多>>
相关期刊：《微电子学与计算机》《电子测试》《现代电子技术》《科技风》更多>>
相关基金：中国航空科学基金国家自然科学基金国家科技重大专项国防基础科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国防基础科研计划x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机载多分区系统可调度性分析算法研究
《西北工业大学学报》2023年第3期557-567,共11页张旻 武君胜 崔西宁 孙景昌 
国防基础科研项目(JCKY2016607B006)资助。
机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下,机载软件苛刻的实时性要求通常难以得到有效的确定性保证,因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调...
关键词：ARINC653 综合化 可调度性分析 多分区 虚拟进程 
ARINC653实时任务可调度性验证方法被引量：1
《单片机与嵌入式系统应用》2021年第4期15-20,共6页雷煜靓 胡宁 陈福 崔西宁 
国防基础科研项目资助(JCKY2016607B006);工信部民机科研(MJ-2017-S-39)。
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方...
关键词：ARINC653 可调度性 秒表时间自动机 统计模型检验 符号模型检验 
ARINC653分区实时系统的可调度分析被引量：13
《航空学报》2015年第11期3698-3705,共8页谭龙华 杜承烈 雷鑫 
国防基础科研项目(1000-GEAC0001)~~
ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需...
关键词：综合模块化航空电子 实时系统 ARINC 653 资源分区 调度分析 
综合化航空电子系统软件接口研究被引量：10
《计算机科学》2011年第2期122-126,共5页崔西宁 胡林平 叶宏 白晓颖 
国防基础科研项目(C0520061364);航空科学基金(2008ZC31001)资助
综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模...
关键词：综合化航空电子系统 ARINC653 ASAAC APEX APOS 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部