WATERS 2010 - Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

WATERS 2010 - Technical Program - Tuesday, July 6th, 2010

Please, find below the program for WATERS 2010. Also, the workshop proceedings are available for download here.

Tuesday, July 6th, 2010
8:30	9:00	Registration
9:30	16:00	Main Session
9:30	10:30	Invited Talk: Model based schedulability analysis with MAST, and The UML profile for MARTE [Presentation] Julio Medina, University of Cantabria
10:30	11:00	Coffee Break
11:00	11:30	Tutorial: The IRMOS multi-processor real-time scheduler [Presentation] Tommaso Cucinotta, Scuola Superiore Sant'Anna
11:30	12:00	Techniques For The Synthesis Of Multiprocessor Tasksets Paul Emberson, Roger Stafford and Robert Davis
12:00	12:30	A Statistical Approach to Simulation Model Validation in Timing Analysis of Complex Embedded Systems Yue Lu, Johan Kraft, Thomas Nolte and Christer Norstrm
12:30	13:30	Lunch
14:00	14:30	Fault Resilience Analysis for Real-Time Systems [Presentation] George Lima, Flavia Maristela Nascimento and Veronica Lima
14:30	15:00	Distributed Interactive Real-time Multimedia Applications: A Sampling and Analysis Framework George Kousiouris, Fabio Checconi, Alessandro Mazzetti, Zlatko Zlatev, Juri Papay, Thomas Voith and Dimosthenis Kyriazis
15:00	18:00	Demo Session
15:00	15:30	Short Presentations of Demos (5 min. each, no questions) Grasp: Tracing, Visualizing and Measuring the Behavior of Real-Time Systems Mike Holenderski, Martijn van den Heuvel, Reinder Bril and Johan Lukkien Scheduling Analysis & Tracing – an Industrially Proven Approach for Configuration and Optimization of Embedded Real-Time Systems Marek Jersak and Kai Richter A loadable task execution recorder for Linux Mikael Asberg, Shinpei Kato, Johan Kraft and Thomas Nolte
15:30	16:00	Coffee Break
16:00	18:00	Demos