ARINC653调度算法研究

大学开发，是一种开源的实时调度框架。它的框架使用Ada编写，能够对实时应用的时间要求进行验证。Cheddar将一个应用定义为处理器、任务、缓存、共享资源和消息的集合。Cheddar不仅支持单处理器的时间可行性分析，它还支持多处理器和分布式系统，同时还提供了仿真机制。文献[13] 介绍了正在为了增加实时调度理论的可用性研究的Cheddar项目3个可能的方向。提出了一套开源的工具，帮助设计人员自动将理论应用于具体案例。这个工具可以让不同层次的人员使用，并能执行写入标准化设计语言模型的分析。该Cheddar项目一直集中在AADL上。还提出了一个领域特定语言，它可以被用来研究结构的性能，因为现有的实时调度理论没有提出合适的分析方法。

3.3 Marzhin

在文献[14]中介绍了使用Marzhin模拟器，相比于Cheddar，Marzhin基于多Agent技术，提供实时系统的调度分析结果，该模拟器集成在AADL中，同时提供了逼真的3D动画效果增强了可视性。通常，实时仿真器的实现是基于实时操作系统（RTOS）的仿真。这些仿真器必须因此提供相同的应用程序编程接口（API），并且具有相同的动态行为作为真正的软件。Marzhin是基于现有的多代理仿真内核VAgent的重用。相对于实施确定性调度算法传统模拟器，该内核随机刺激的一组自主互连的基本实体（Agent），以显示出所得的宏观行为。Cheddar不能给任何种类的AADL架构提供一个显著结果。但是，Marzhin的作用是专门为具有不能在确定的方式进行处理的情况下对Cheddar的一个补充。

4 结 语

本文首先介绍了3种较新颖的实时调度算法，然后对满足ARINC653要求的双层调度算法做了详细的介绍，实时调度算法对于实时系统起着至关重要的作用。在ARINC653标准下，双层调度算法出现并使用在航电系统模型中，上层调度和下层调度的不同组合和不断地优化势必会产生更好的调度模型，因此在未来一段时间内双层调度算法将成为研究热点。对于分区间的调度，时间片轮转算法是其基础算法，对于如何进行时间片大小的确定、轮转方式以及空闲时间的利用将有待进一步的研究。分区内的调度算法需要考虑如何确保实时任务在结束时间到来之前被调度，同如何调度非周期的弱实时任务，分区调度的参数的解析和优化以及如何提高效率。最后，介绍了3种用于调度性分析的工具，以供设计人员选择使用。

参考文献

[1] Anon. ARINC specification 653⁃2， part I： engineering standards for avionics and cabin systems [M]. [S.l.]： AEEC， 2006.

[2] 洪雪玉，张凌，袁华.Linux下的实时调度算法木[J].华南理工大学学报：自然科学版，2008，36（4）：104⁃109.

[3] 翟鸿鸣.单处理器系统的实时调度算法研究[J].微机发展，2003，13（10）：99⁃101.

[4] 王彬，王聪，薛洁，等.优先级周期性互换的实时调度算法[J].计算机应用，2014，34（3）：668⁃672.

[5] 何锋，宋丽茹，熊华钢.航空电子双层任务分区调度设计[J].北京航空航天大学学报，2008，34（11）：1365⁃1368.

[6] 何锋，顾健，熊华钢.基于动态优先级的核心处理安全分区优化设计[J].北京航空航天大学学报，2011，37（10）：1282⁃1287.

[7] 杨霞，桑楠，雷剑，等.嵌入式高可信架构中基于静态模型的调度研究[J].航空学报，2009（12）：2387⁃2394.

[8] 何锋，熊华钢，宋丽茹.航空电子分区调度研究[J].系统仿真学报，2008（z1）：522⁃525.

[9] 肖建明，张向利.一种改进的时间片轮转调度算法[J].计算机应用，2005（z1）：447⁃448

[10] 周天然，熊华钢.航空电子系统混合实时任务的双层调度[J].航空学报，2011（6）：1067⁃1074.

[11] EASWARAN A， LEE I， SOKOLSKY O， et al. A compositional scheduling framework for digital avionics systems [C]// 2009 15th IEEE International Conference on Embedded and Real⁃Time Computing Systems and Applications. [S.l.]： IEEE， 2009： 371⁃380.

[12] SHIN I， LEE I. Periodic resource model for compositional real⁃time guarantees[C]// 2003 24th IEEE Real⁃Time Systems Symposium. [S.l.]： IEEE， 2003： 2⁃13.

[13] SINGHOFF F， PLANTEC A， DISSAUX P， et al. Investigating the usability of real⁃time scheduling theory with the Cheddar project [J/OL]. [ 2014⁃08⁃13]. http：// /read/f6ae...990.htm.

[14] DISSAUX Pierre， MARC Olivier， RUBINI Stephane， et al. The SMART Project： multi⁃agent scheduling simulation of real⁃time architectures [J/OL]. [2014⁃12⁃26]. http：//.

[15] FEILER P H， GLUCH D P， HUDAK J J. The architecture analysis & design language （AADL）： An introduction [R]. USA： Pittsburgh PA Software Engineering Inst， Carnegie⁃Mellon University， 2006.

[16] DELANGE J， PAUTET L， PLANTEC A， et al. Validate， simulate， and implement ARINC653 systems using the AADL[J]. ACM SIGAda Ada Letters， 2009， 29（3）： 31⁃44.

[17] DAVIS R I， BURNS A. Improved priority assignment for global fixed priority pre⁃emptive scheduling in multiprocessor real⁃time systems [J]. Real⁃Time Systems， 2011， 47（1）： 1⁃40.

[18] MOHANTY R， BEHERA H S， PATWARI K， et al. Priority based dynamic round robin （PBDRR） algorithm with intelligent time slice for soft real time systems [J]. International Journal of Advanced Computer Science and Application， 2011， 2（2）： 46⁃50.

[19] LIANG B， YONGHENG J， DEXIAN H. A novel two⁃level optimization framework based on constrained ordinal optimization and evolutionary algorithms for scheduling of multipipeline crude oil blending [J]. Industrial & Engineering Chemistry Research， 2012， 51（26）： 9078⁃9093.

[20] SINGHOFF F， PLANTEC A， DISSAUX P， et al. Investigating the usability of real⁃time scheduling theory with the Cheddar project [J/OL]. [2014⁃12⁃18]. http：//.

[21] LEE Y H， KIM D， YOUNIS M， et al. Resource scheduling in dependable integrated modular avionics [C]// Proceedings of 2000. Proceedings International Conference on Dependable Systems and Networks. [S.l.]： IEEE， 2000： 14⁃23.

推荐访问： 调度 算法 研究 ARINC653

---