Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser. Timing Analysis of a Protected Operating System Kernel. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011. pages 339-348, IEEE Computer Society, 2011. [doi]
Abstract is missing.