10.1 Assessment of Real-Time Operating Systems Characteristics in Embedded Systems Design by SystemC models of RTOS Services
Sorin A. Huss - Technical Univ. of Darmstadt
Stephan Klaus - ISRA Vision Ltd.

10.2 Low Maintenance Verification
Valeria Bertacco - Univ. of Michigan

10.3 A Next-Generation Design Framework for Platform-Based Design
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu - Univ. of California, Berkeley