Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis.

Simon Schuster, Peter Wgemann, Peter Ulbrich, Wolfgang Schrder-Preikschat

Browse the full RTAS paper archive.