机载多分区系统可调度性分析算法研究

张旻; 武君胜; 崔西宁; 孙景昌

首页> 中文期刊> 《西北工业大学学报》 >机载多分区系统可调度性分析算法研究

机载多分区系统可调度性分析算法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下,机载软件苛刻的实时性要求通常难以得到有效的确定性保证,因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调度表是否能满足分区内进程的实时性要求,是保障系统中所有的进程在规定的时间内完成运算任务的有效手段。基于运筹学方法,通过引入虚拟进程,设计了一种多分区系统可调度性分析算法,并进行了数值验证。验证结果表明,该算法能够准确判断调度表与进程时间属性是否匹配,给出系统是否可调度的定性分析结论,帮助系统集成人员在系统实际运行前对调度表的合理性进行先期验证,降低试验和试飞风险。

著录项

来源
《西北工业大学学报》 |2023年第3期|557-567|共11页
作者
张旻; 武君胜; 崔西宁; 孙景昌;
展开▼
作者单位

西北工业大学软件学院;

中国航空工业集团有限公司西安航空计算技术研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
ARINC653; 综合化; 可调度性分析; 多分区; 虚拟进程;

相似文献

中文文献
外文文献
专利

1. 基于时间需求迭代和排队模型的开放式实时系统可调度性分析算法研究 [J] . 牛云 ,戴冠中 ,梁亚琳 . 计算机科学 . 2009,第1期
2. 基于AADL的综合航电分区系统可调度性判定 [J] . 袁翔 ,胡军 ,马金晶 . 计算机工程 . 2014,第10期
3. 带时间约束实时任务图模型上可调度性分析算法研究 [J] . 孙景昊 ,关楠 ,邓庆绪 . 计算机学报 . 2016,第12期
4. 共享Cache分区在机载系统中的应用研究 [J] . 白鹭 ,海钰琳 ,张黎 . 航空计算技术 . 2022,第5期
5. 针对分区操作系统应用模型的可调度性分析 [C] . 黄兰英 ,钟珊 . 全国抗恶劣环境计算机第十九届学术年会 . 2009
6. 基于RTESIDDVL建模语言的实时嵌入式系统动态可调度性分析方法优化与工具实现 [A] . 刘忞斋 . 2018

机载多分区系统可调度性分析算法研究

摘要

著录项

相似文献

相关主题

期刊订阅