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

WATERS 2011 - Technical Program - Tuesday, July 5th, 2011

Please, find below the program for WATERS 2011 (or download the printer-friendly PDF version). Also, the workshop proceedings are available for download here.

Tuesday, July 5th, 2011
8:30	9:00	Registration
9:00	9:10	Welcome Tommaso Cucinotta, Scuola Superiore Sant'Anna
9:10	9:30	Invited Talk: Integrating Real-Time Analysis into Design Flows Michael G. Harbour, University of Cantabria
9:30	10:00	Opening Talk: Tools for Real-Time and Embedded Systems - An Integration View Tommaso Cucinotta, Scuola Superiore Sant'Anna
10:00	10:30	On the Gap between Schedulability Tests and Automotive Task Model Saoussen Anssi, Stefan Kuntz, Sébastien Gérard and François Terrier
10:30	11:00	Coffee Break
11:00	11:30	Modeling Real-Time Networks with MAST2 Michael G. Harbour, J. Javier Gutiérrez, J. María Drake, Patricia López and J. Carlos Palencia
11:30	12:00	FORTAS: Framework fOr Real-Time Analysis and Simulation Pierre Courbin and Laurent George
12:00	12:30	Hardware-Assisted Energy Consumption Evaluation Tool for Multi-core Embedded Systems Shiao-Li Tsao, Jyun-Wei Lin, QuanChung Chen and Chen-Wei Huang
12:30	13:30	Launch
13:30	14:00	Modelling real-time applications based on resource reservations Laura Barros, César Cuevas, Patricia López Martínez, José María Drake and Michael G. Harbour
14:00	14:30	SimTrOS: A Heterogenous Abstraction Level Simulator for Multicore Synchronization in Real-Time Systems Jörn Schneider, Michael Bohn and Christian Eltges
14:30	15:00	Grasp: Visualizing the Behavior of Hierarchical Multiprocessor Real-Time Systems Mike Holenderski, Reinder Bril and Johan Lukkien
15:00	15:30	SMFF: System Models for Free Moritz Neukirchner, Steffen Stein and Rolf Ernst
15:30	16:00	Coffee Break
16:00	16:30	Continuous Constant-Memory Monitoring of Embedded Software Timing Johan Kraft and Thomas Nolte
16:30	17:50	Demo Session
17:50	18:00	Closing Remarks