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

Implementation of Scheduling Analysis Tool for Avionics System Based on Partition

作　　者：张永悦[1] 云利军[1] 孙瑜[1] 

机构地区：[1]云南师范大学信息学院,昆明650500

出　　处：《计算机工程》2014年第4期42-47,共6页Computer Engineering

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

摘　　要：针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间,设计优化的调度分析算法,判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性。测试及实例分析结果表明,该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性,并能以甘特图的方式绘制系统调度过程,较现有工具更为直观、高效。Aiming at the schedulability determination problem of avionics system two-level scheduling model which only includes periodic task set and abides by AR1NC653 multi-partition architecture, an avionics system scheduling analysis tool based on partition is proposed. Through the setting of clock variables, the tool can simulate avionics system task set scheduling process in each partition, determine the simulation interval according to the characteristics of periodic task set and partition avionics system time slot disposition, optimize the algorithm of scheduling analysis, and estimate the accurateness of avionics system partition-level time slot disposition and the schedulability of task set in each partition. Test and instances analysis results show that this tool has automatic, accurate and fast advantages to determine the schedulability of avionics system partition-level and task-level scheduling model, and can describe task scheduling process by Gantt chart. Compared with other existing tools, it is more intuitive and efficient.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]