OSPERT 2007: Program

The papers for the workshop attendees are now available as a PDF pre-proceedings.

8:30 Registration

9:30 Session 1: Linux

Fitting Linux Device Drivers into an Analyzable Scheduling Framework   Theodore P. Baker

Experimental results of aperiodic fixed-priority preemptive policies in RT-Linux   Luis Burdalo, Agustin Espinosa, Andres Terrasa and Ana Garcia-Fornes

Feather-Trace: A Light-Weight Event Tracing Toolkit   Bjoern B. Brandenburg and James H. Anderson

11:00 Coffee Break

11:30 Session 2: Distribution

A Deterministic Infrastructure for Real-Time Distributed Systems   Claudiu Farcas and Wolfgang Pree

An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protocols   Guoqiang Wang, Marco Di Natale and Alberto Sangiovanni Vincentelli

Coordinated Allocation and Scheduling of Multiple Resources in Real-time Operating Systems   Kartik Gopalan and Kyoung-Don Kang

13:00 Lunch

14:30 Session 3: On Runtime Issues

Accurate Run-Time Prediction of Performance Degradation under Frequency Scaling   David Snowdon, Godfrey Van Der Linden, Stefan Petters and Gernot Heiser

Run-time mechanisms for property preservation in real-time systems   Juan Zamorano, Juan Antonio de la Puente, Jérôme Hugues and Tulllio Vardanega

Lazy Scheduling and Direct Process Switch --- Merit or Myths?   Kevin Elphinstone, David Greenaway and Sergio Ruocco

16:00 Break

16:30 Discussion