CfP: DATE 2017: Model-based Design and Verification for Embedded Systems
CALL FOR PAPERS
Topic E3: Model-based Design and Verification for Embedded Systems
at DATE 2017 | Lausanne, CH | March 27 - 31, 2017
https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E3
DATE 2017, will take place from 27 to 31 March, 2017, at the SwissTech Convention Centre in Lausanne, Switzerland.
In 2017, the DATE conference will celebrate its 20th edition!
The conference addresses all aspects of research into technologies for electronic and embedded systems engineering.
An important part of the conference is devoted to modeling, analysis, design and deployment of embedded software.
We invite you to submit papers to Topic E3: Model-based Design and Verification for Embedded Systems
Main topics of interest:
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.
Topic Chair:
- Petru Eles, Linkoping University, SE
Topic Co-Chair:
- Alain Girault, INRIA, FR,
Topic Subcommittee Members:
- Borzoo Bonakdarpour, McMaster University, CA
- Ylies Falcone, University Grenoble Alpes, FR
- Sebastian Fischmeister, University of Waterloo, CA
- Frank Slomka, Ulm University, DE
- Oleg Sokolsky, University of Pennsylvania, US
- Lothar Thiele, ETH Zurich, CH
Please note:
SUBMISSION DEADLINE: Sunday, 11 September, 2016.
All papers have to be submitted electronically via the conference web page (see www.date-conference.com/submission-instructions).