Partition modeling and design in integrated avionics

[1] Kinnan L,Wlad J,Rogers P.Porting applications to an arinc653 complicant IMA platform using vxworks as an example //Proceedings of the 23rd Digital Avionics Systems Conference.Salt Cake City,Utah:IEEE Computer Society Press,2004:522-530 [2] Kim D,Lee Y H,Younis M.Software architecture supporting integrated real-time systems[J].The Journal of Systems and Software,2003,65(1):71-86 [3] Lee Y H,Kim D,Younis M,et al.Partition scheduling in APEX runtime environment for embedded avionics software //Proceedings of the Fifth International Confererue on Real-time Computing Systems and Applications.Washington,DC:IEEE Computer Society Press,1998:103-109 [4] 何锋,宋丽茹,熊华钢.航空电子双层任务分区调度设计[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 [5] Lorente J L,Palencia J C.An EDF hierarchical scheduling model for bandwidth servers //Proceeding of Real-time Computing Systems and Applications.Washington,DC:IEEE Computer Society Press,2006:261-266 [6] ARINC 653-1-2003,Avionics application software standard interface,ARINC specification 653[S] [7] Lehoczky J P,Sha L,Ding Y.The rate-monotonic scheduling algorithm:exact characterization and average case behavior //Proceedings of the Real-time Systems Symposium.Santa Monica: IEEE Computer Society Press,1989:166-171 [8] Enrico Bini,Giorgio C Buttazzo.Schedulability analysis of periodic fixed priority systems[J].IEEE Transactions on Computers,2004,53(11):1462-1473 [9] Liu C L,Layland J W.Scheduling algorithms for multiprogramming in a hard real-time environment [J].Journal of ACM,1973,20(1): 46-61