TY - GEN
T1 - Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AU - Huang, Yanhong
AU - Ferreira, João F.
AU - He, Guanhua
AU - Qin, Shengchao
AU - He, Jifeng
PY - 2013
Y1 - 2013
N2 - AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to represent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illustrate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties.
AB - AUTOSAR, the open and emerging global standard for automotive embedded systems, offers a timing protection mechanism to protect tasks from missing their deadlines. However, in practice, it is difficult to predict when a deadline is violated, because a task missing its deadline may be caused by unrelated tasks or by the presence of interrupts. In this paper, we propose an abstract formal model to represent AUTOSAR OS programs with timing protection. We are able to determine schedulability properties and to calculate constraints on the allowed time that interrupts can take for a given task in a given period. We implement our model in Mathematica and give a case study to illustrate the utility of our method. Based on the results, we believe that our work can help designers and implementors of AUTOSAR OS programs check whether their programs satisfy crucial timing properties.
KW - AUTOSAR
KW - interrupts
KW - periodic fixed priority scheduling
KW - real-time operating systems
KW - timing protection
UR - https://www.scopus.com/pages/publications/84889593351
U2 - 10.1007/978-3-642-41202-8_12
DO - 10.1007/978-3-642-41202-8_12
M3 - 会议稿件
AN - SCOPUS:84889593351
SN - 9783642412011
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 165
EP - 181
BT - Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Proceedings
T2 - 15th International Conference on Formal Engineering Methods, ICFEM 2013
Y2 - 29 October 2013 through 1 November 2013
ER -