TY - GEN
T1 - Schedulability analysis for independent partitions in integrated modular avionics systems
AU - Chen, Jinchao
AU - Du, Chenglie
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2016/6/10
Y1 - 2016/6/10
N2 - Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. In this paper, we analyze the schedulability of independent partitions and provide proper schedules for multi-core IMA systems. We first calculate the maximum scaling factor, by which the execution times of all partitions can be multiplied without violating the timing requirements of the systems. Then, we use the scaling factor obtained to determine whether all partitions are schedulable and produce a valid allocation for each partition. Finally, simulation experiments are conducted to show the efficiency and reliability of our approach in terms of time consumption and acceptance ratio.
AB - Recently the integrated modular avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong partition mechanism. Although the IMA architecture can achieve effective cost reduction and reliability enhancement in the development of avionics systems, it results in a complex allocation and scheduling problem. In this paper, we analyze the schedulability of independent partitions and provide proper schedules for multi-core IMA systems. We first calculate the maximum scaling factor, by which the execution times of all partitions can be multiplied without violating the timing requirements of the systems. Then, we use the scaling factor obtained to determine whether all partitions are schedulable and produce a valid allocation for each partition. Finally, simulation experiments are conducted to show the efficiency and reliability of our approach in terms of time consumption and acceptance ratio.
KW - integrated modular avionics (IMA)
KW - scaling factor
KW - schedulability analysis
KW - schedulability condition
KW - strictly periodic partition
UR - http://www.scopus.com/inward/record.url?scp=84979691958&partnerID=8YFLogxK
U2 - 10.1109/PIC.2015.7489902
DO - 10.1109/PIC.2015.7489902
M3 - 会议稿件
AN - SCOPUS:84979691958
T3 - Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015
SP - 521
EP - 525
BT - Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015
A2 - Xiao, Liang
A2 - Wang, Yinglin
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 3rd IEEE International Conference on Progress in Informatics and Computing, PIC 2015
Y2 - 18 December 2015 through 20 December 2015
ER -