Optimal safety partition design for integrated core processor under 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 12^th 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