Journal: Real-Time Systems

Volume 52, Issue 1

1 -- 37Pontus Ekberg, Wang Yi 0001. Schedulability analysis of a graph-based task model for mixed-criticality systems
38 -- 87Michael Zolda, Raimund Kirner. Calculating WCET estimates from timed traces
88 -- 112Daniel Thiele, Johannes Schlatow, Philip Axer, Rolf Ernst. Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks
113 -- 122Robert I. Davis, Marko Bertogna, Vincenzo Bonifaci. On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm