Topic: E1 Real-time, Networked, and Dependable Systems

Real-time programming languages and software; formal models for real-time systems; software performance analysis; worst case execution time analysis; scheduling and software timing estimation; real-time system optimization; tools and design methods for real-time, networked and dependable systems; adaptive real-time systems; dependable systems including safety and criticality; software for safety critical systems; network control and QoS for embedded applications; software for sensor networks and networked applications.

Chair: Rodolfo Pellizzoni, University of Waterloo, CA, Contact

Co-Chair: Jan Reineke, Informatik, Universität des Saarlandes, DE, Contact

Members:

• Iain Bate, University of York, GB, Contact
• Marko Bertogna, University of Modena, IT, Contact
• Liliana Cucu, INRIA, FR, Contact
• Dionisio de Niz, Carnegie Mellon University, US, Contact
• Raimund Kirner, University of Hertfortshire, GB, Contact
• Kai Lampka, Uppsala University, SE, Contact
• Benjamin Lesage, University of York, GB, Contact
• Giuseppe Lipari, Scuola Superiore Sant'Anna, IT, Contact
• Dorin Maxim, ISEP, PT, Contact
• Florian Pölzlbauer, Virtual Vehicle, AT, Contact