CfP: Embedded Systems Software Track at DATE 2015
Embedded Systems Software Track at DATE 2015
Grenoble, France - March 9-13, 2015
Submission Deadline: Sunday, September 14, 2014
http://www.date-conference.com/
Track E: Embedded Systems Software
is devoted to modelling, analysis, design and deployment of embedded software. Areas of interest include methods, tools, methodologies and development environments. Emphasis will also be on modelbased design and verification, embedded software platforms, software compilation and integration, real-time systems, cyber-physical systems, networked and dependable systems.
Track Chair: Lothar Thiele, ETH Zurich, CH, Contact Lothar Thiele
Topics
E1 Real-time, Networked, and Dependable Systems
Chair: Iain Bate, University of York, UK, Contact Iain Bate
Co-Chair: Rodolfo Pellizzoni, University of Waterloo, CA, Contact Rodolfo Pellizzoni
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; tools and design methods 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
E2 Compilers for Embedded Systems
Chair: Alain Darte, ENS Lyon - INRIA, FR, Contact Alain Darte
Co-Chair: Rodric Rabbah, IBM Research, US, Contact Rodric Rabbah
Compilers for embedded multi-core, heterogeneous, GPU, reconfigurable, or FPGA platforms; compiler-related tools for design space exploration, for iterative compilation, to complement HLS tools; just-in-time compilation and libraries for embedded and mobile devices; compiler support for enhanced debugging, profiling, and traceability; code analysis, optimization, and generation for different metrics (e.g., power, memory lifetime, WCET, etc.); compilation of domain specific or streaming languages for embedded systems; compilation tools for embedded systems as cloud services; certified compilers.
E3 Model-based Design and Verification for Embedded Systems
Chair: Saddek Bensalem, Universite Joseph Fourier, FR, Contact Saddek Bensalem
Co-Chair: Linh Thi Xuan Phan, University of Pennsylvania, US, Contact Linh Thi Xuan Phan
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.
E4 Embedded Software Architectures
Chair: Marc Geilen, Eindhoven University of Technology, NL, Contact Marc Geilen
Co-Chair: Frederic Petrot, TIMA, Grenoble Institute of Technology, FR, Contact Frederic Petrot
Software architectures for MPSoC, multi/many-core and (GP)GPU-based systems; Programming paradigms and languages for embedded MPSoCs, multi/many-core and (GP)GPU-based systems; Virtualization and middleware for embedded systems, including resource-awareness, reconfiguration, safety and security aspects; Software support for reconfigurable components and accelerators; Software architectures for low power and temperature awareness
E5 Cyber-Physical Systems
Chair: Rolf Ernst, Technical University of Braunschweig, DE, Contact Rolf Ernst
Co-Chair: Paul Pop, Technical University of Denmark, DK, Contact Paul Pop
Modeling, design, architecture, optimization, and analysis of Cyber-Physical Systems (CPS); Modeling techniques for large-scale cyber physical systems design and analysis; Verification and validation in CPS; Safety and cybersecurity in CPS systems; Internet of things and CPS: modeling, analysis, and design; Software-intensive CPS; Data-mining and CPS; Autonomous and semi-autonomous large-scale CPS and related issues; Socio-technical systems (ex. empowered consumer and organizational behavior in smart grids) and CPS; Cognitive control for CPS; Modeling and analysis of networked control, switched control, and distributed control systems in CPS; control/architecture co-design in CPS; architecture-aware controller synthesis; Case studies in CPS ranging from automotive systems, and avionics, to smart buildings and smart grids
PAPER SUBMISSION
All manuscripts must be submitted electronically before Sunday, September 14, 2014, following the instructions on the conference Web page:
The accepted file format is PDF. Any other format and manuscripts received in hard-copy form will not be processed.
Papers can be submitted for either formal oral presentation or for interactive presentation. Oral presentations require novel and complete research work supported by experimental results.
Interactive presentations are expected to articulate emerging and future design, verification and test problems including work in progress and identify open problems that merit innovative future research. These presentations are given on a laptop in a face-to-face discussion area.
Submissions should not exceed 6 pages in length for oral-presentation papers and 4 pages in length for interactive-presentation papers, and should be formatted as close as possible to the final format: A4 or letter sheets, double column, single spaced, Times or equivalent font of minimum 10pt (templates are available on the DATE Web site for your convenience). To permit blind review, submissions should not include the author names. Any submission not in line with the above rules will be discarded.
All papers will be evaluated with regard to their suitability for the conference, originality, and technical soundness. The Programme Committee reserves the right to reorient oral-presentation papers to interactive-presentation and vice versa, to obtain the most suitable presentation format.
INFORMATION
Lothar Thiele - DATE Embedded Systems Software Track Chair - thiele@ethz.ch
David Atienza - DATE Program Chair -
david.atienza@epfl.ch