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: Giuseppe Lipari, ENS-Cachan, FR, Contact

Co-Chair: Stefan M. Petters, CISTER-ISEP, IPP, PT, Contact

Members:

• Luis Almeida, University of Porto, PT, Contact
• Sebastian Fischmeister, University of Waterloo, CA, Contact
• Marc Geilen, TU Eindhoven, NL, Contact
• Gregor Gössler, INRIA, FR, Contact
• Joel Goossens, Universite Libre de Bruxelles, BE, Contact
• Armin Groesslinger, Passau University, DE, Contact
• Raimund Kirner, University of Hertfortshire, UK, Contact
• Chang-Gun Lee, Seoul National University, KR, Contact
• Xue Liu, McGill University, CA, Contact
• Michael Paulitsch, EADS, DE, Contact
• Binoy Ravindran, Virginia Tech, US, Contact
• Dakai Zhu, University of Texas at San Antonio, US, Contact