OSPERT 2007 Program

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