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; software 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: Kai Lampka, Elektrobit Automotive GmbH, DE, Contact

Members:

• Sebastian Altmeyer, University of Amsterdam, NL, Contact
• Iain Bate, University of York, GB, Contact
• Marko Bertogna, University of Modena, IT, Contact
• Dionisio de Niz, Carnegie Mellon University, US, Contact
• Rolf Ernst, Technische Universität Braunschweig, DE, Contact
• Gerhard Fohler, TU Kaiserslautern, DE, Contact
• Nan Guan, Hong Kong Polytechnic University, HK, Contact
• Dorin Maxim, ISEP, PT, Contact
• Florian Pölzlbauer, Virtual Vehicle, AT, Contact