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

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

Chair: Wang Yi, Uppsala University, SE, Contact

Co-Chair: Saddek Ben Salem, Verimag, FR, Contact

Members:

• Petru Eles, Linköping University, SE, Contact
• Alain Girault, INRIA, FR, Contact
• Kim Guldstrand Larsen, Aalborg University, DK, Contact
• Roychoudhury Abhik, National University of Singapore, SG, Contact
• Linh Thi Xuan Phan, University of Pennsylvania, US, Contact