Topic: E3 Model-based Design and Verification for Embedded Systems

Verification techniques for embedded systems ranging from simulation, testing, model-checking, SAT and SMT-based reasoning, compositional analysis and analytical methods. Modeling, analysis and optimization of non-functional and performance aspects such as timing, memory usage, QoS and reliability. Model-based design of software architectures and deployment. Theories, languages and tools supporting model-based design flows covering software, control and physical components. Monitoring and run-time verification of embedded systems.

Chair: Petru Eles, Linköping University, SE, Contact

Co-Chair: Alain Girault, INRIA, FR, Contact

Members:

• Borzoo Bonakdarpour, McMaster University, CA, Contact
• Ylies Falcone, University Grenoble Alpes, FR, Contact
• Sebastian Fischmeister, University of Waterloo, CA, Contact
• Frank Slomka, Ulm University, DE, Contact
• Oleg Sokolsky, University of Pennsylvania, US, Contact
• Lothar Thiele, ETH Zurich, CH, Contact