DATE 2017
Date: Mar 27, 2017 12:00 am – Mar 31, 2017 12:00 pm
Location: Lausanne, Switzerland
Design, Automation and Test in Europe (DATE 2017)
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, Linköping 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
Submitted by Anonymous
on
Design, Automation and Test in Europe (DATE 2017)
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, Linköping 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