Optimal safety partition design for integrated core processor under dynamical priority
-
摘要: 在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.Abstract: During the research on the application of partition management model into avionic integrated core processor (ICP), the reasonable partition parameters design is an important factor to ensure the mission-critical and safety-critical guarantee for the whole system. Based on the standard model, the extended model that the upper scheduler adopts the dynamical priority scheduling strategy was proposed. Through observing partition behavior during the processing busy period, the worst-case preemptive effect calculating algorithm for any given requested time length was obtained, which explains the atomic preemption behavior under the dynamical priority in detail from a more microscopic aspect. By calculating the task load for task set and considering the preemptive influence caused by the requested time length which extends to the last partition execution window for the task load, the safe partition parameters design solutions were also established for the priority based scheduling strategy in the lower scheduler. The simulation experiment shows that the safe partition parameters design algorithms have a higher efficiency than the virtual processing resource method.
-
Key words:
- aviation system engineering /
- core processor /
- safety-critical /
- partition design /
- dynamical priority
-
[1] 何锋,宋丽茹,熊华钢.航空电子双层任务分区调度设计[J].北京航空航天大学学报,2008,34(11):1364-1368 He Feng,Song Liru,Xiong Huagang.Two-level task partition scheduling design in integrated modular avionics[J].Journal of Beijing University of Aeronautics and Astronautics,2008,34(11):1364-1368(in Chinese) [2] 何锋,宋丽茹,熊华钢.基于固定优先级航天器任务分层调度研究[J].空间科学学报,2009,29(5):522-528 He Feng,Song Liru,Xiong Huagang.Spacecraft task hierarchical scheduling analysis within fixed priorities[J].Chinese Journal of Space Science,2009,29(5):522-528(in Chinese) [3] Lorente J L,Palencia J C.An EDF hierarchical scheduling model for bandwidth servers //Proceedings of the 12th Embedded and Real-Time Computing Systems and Applications.NY:IEEE,2006:261-266 [4] Lee Y H,Kim D,Younis M,et al.Resource scheduling in dependable integrated modular avionics //Dependable Systems and Networks.NY:IEEE,2000:14-23 [5] Lipari G,Bini E.A methodology for designing hierarchical scheduling systems[J].Journal of Embedded Computing,2004,1(2):257-269 [6] Enrico Bini.The design domain of real-time systems.Italy,Pisa:Scuola Superiore Sant Anna Pisa,2004 [7] Almeida L,Pedreiras P.Scheduling within temporal partitions:response-time analysis and server design //The 4th ACM International Conference on Embedded Software.Italy:Pisa,2004:95-103 [8] ARINC 653-1-2003 Avionics application software standard interface,ARINC Specification 653[S] [9] Spuri M.Holistic analysis of deadline scheduled real-time distributed systems.RR-2873,1996 [10] 宾雪莲.实时系统中的任务调度技术研究.长沙:国防科学技术大学计算机学院,2006 Bin Xuelian.Research on the scheduling technology of tasks in real-time systems.Changsha:School of Computr Science and Technology,National University of Defence Technology,2006(in Chinese) [11] Baruah S K.Dynamic-and static-priority scheduling of recurring real-time tasks[J].Real-Time Systems,2003,24(1): 93-128
点击查看大图
计量
- 文章访问数: 2423
- HTML全文浏览量: 16
- PDF下载量: 3
- 被引次数: 0