Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He. Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. In Lindsay Groves, Jing Sun 0002, editors, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings. Volume 8144 of Lecture Notes in Computer Science, pages 165-181, Springer, 2013. [doi]
Abstract is missing.