基于分区的航电系统调度分析工具实现

摘要：

针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具.通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间,设计优化的调度分析算法,判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性.测试及实例分析结果表明,该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性,并能以甘特图的方式绘制系统调度过程,较现有工具更为直观、高效.

关键词：多分区构架、两级调度模型、分区任务集、可调度性判定、仿真方法、时钟变量

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60963020,60903131;教育部科学技术研究基金资助重点项目210210;云南省应用基础研究计划基金资助面上项目2009ZC0052M;云南省学术技术后备人才基金资助项目2010CI042

在线出版日期：2014-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：42-47