9.00 am -   9.30 am 

Registration (Sitterson Lower Lobby)

   9.30 am - 12.30 am 

Free Papers V (Room SN014)

   9.30 am - 10.10 am 

HyOS: A Hybrid Operating System Design Approach for Real-Time Systems using Hardware Acceleration, Insop Song

 10.10 am - 10.50 am 

Hijack^{COS}_{Linux}: Practical, Predictable, and Efficient OS Co-Location using Linux, Gabriel Parmer

 10.50 am - 11.10 am 

Coffee Break

 11.10 am - 11.50 am 

Application of RT-Preempt Linux in Unmanned Aerial Systems, Karl Kufieta

 11.50 am - 12.30 pm 

Alloy: A Language for Modeling and Analyzing Software Systems, Eunsuk Kang

 12.30 pm -  1.30 pm 

Lunch Break

   1.30 pm -   3.50 pm 

Free Papers VI (Room SN014)

   1.30 pm -   2.10 pm 

Design and Implementation of a Userspace NIC Driver, Nicholas Mc Guire

   2.10 pm -   2.50 pm 

Design and Implementation of a Safety-Critical Application Targeting Modular Certification, Andreas Platschek

   2.50 pm -   3.10 pm 

Coffee Break

   3.10 pm -   3.50 pm 

SIL2LinuxMP: Certification of a Linux-based platform - approach and concepts, Nicholas Mc Guire

   3.50 pm -   4.00 pm 

Conclusion, Farewell (Room SN014)