|OSPERT 2007 Program|
The papers for the workshop attendees are now available as a PDF pre-proceedings.
|9:30 Session 1: Linux|
|Fitting Linux Device Drivers into an Analyzable Scheduling Framework
|Experimental results of aperiodic fixed-priority preemptive policies in RT-Linux
|Feather-Trace: A Light-Weight Event Tracing Toolkit
|11:00 Coffee Break|
|11:30 Session 2: Distribution|
|A Deterministic Infrastructure for Real-Time Distributed Systems
|An OSEK/VDX Implementation of Synchronous Reactive Semantics Preserving Communication Protocols
|Coordinated Allocation and Scheduling of Multiple Resources in Real-time Operating Systems
|14:30 Session 3: On Runtime Issues|
|Accurate Run-Time Prediction of Performance Degradation under Frequency Scaling
|Run-time mechanisms for property preservation in real-time systems
|Lazy Scheduling and Direct Process Switch --- Merit or Myths?