ARINC 653分区实时系统的可调度分析

谭龙华; 杜承烈; 雷鑫

首页> 中文期刊> 《航空学报》 >ARINC 653分区实时系统的可调度分析

ARINC 653分区实时系统的可调度分析

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范.该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题.基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据.证明了判据的约束是系统可调度的充分必要条件.实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性.

著录项

来源
《航空学报》 |2015年第11期|3698-3705|共8页
作者
谭龙华; 杜承烈; 雷鑫;
展开▼
作者单位

西北工业大学计算机学院,西安 710072;

西北工业大学计算机学院,西安 710072;

西北工业大学机电学院,西安 710072;

展开▼
原文格式 PDF
正文语种 chi
中图分类航空仪表、航空设备、飞行控制与导航;性能分析、功能分析;
关键词
综合模块化航空电子; 实时系统; ARINC 653; 资源分区; 调度分析;

相似文献

中文文献
外文文献
专利

1. ARINC653实时系统可调度性验证综述 [J] . 雷煜靓 ,胡宁 ,张磊 . 信息技术与信息化 . 2021,第006期
2. ARINC653多核多分区操作系统的任务调度 [J] . 黄润龙 ,沈谦 ,苟先太 . 电讯技术 . 2020,第009期
3. ARINC653分区操作系统多核处理器任务调度设计 [J] . 黎明 ,莫军 . 计算机系统应用 . 2018,第005期
4. VxWorks平台内核态ARINC653分区实时调度算法设计与实现 [J] . 阮维龙 ,翟正军 . 计算机测量与控制 . 2015,第006期
5. ARINC653分区调度算法的研究与改进 [J] . 乔乃强 ,徐涛 ,谷青范 . 计算机工程 . 2011,第020期
6. ARINC 653分区系统时间分区研究 [C] . 褚文奎 ,樊晓光 ,张凤鸣 . 2007中国计算机大会 . 2007
7. 在ARM虚拟化环境中实现ARINC653分区的研究 [A] . 顾峰 . 2015

ARINC 653分区实时系统的可调度分析

摘要

著录项

相似文献

相关主题

期刊订阅