Call for Papers and Challenge Solutions:WATERS 2017
CALL FOR PAPERS - Submission deadline March 31st, 2017
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017)
June 27th, 2017 | Dubrovnik, Croatia | http://waters2017.inria.fr
In conjunction with ECRTS'17
The goal of the WATERS workshop series is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems.
SCOPE
Areas of interest include, but are not limited to:
- Tools and methods for the analysis of real-time systems
- Realistic case studies and reusable data sets
- Comparative evaluation of existing algorithms and techniques
- Modelling, analysis and simulation of, possibly mixed-criticality, real-time, distributed, and embedded systems running on multi-core, many-core, massively parallel, or distributed systems
- Modelling, analysis and simulation of the various components of the run-time environment, including the operating system, the hypervisor, or complex middleware components
- Instrumentation, tracing methods and overhead analysis, including proper accounting of the overheads due to various virtualization technologies
- Power consumption models and experimental data for real-time power-aware systems
- Simulation, instrumentation and analysis of complex distributed systems infrastructures such as Cloud Computing infrastructures, when supporting real-time and QoS-aware applications
FOCUS OF THE 2017 EDITION
Modern embedded systems (e.g. ADAS in automotive or mobile robotics) are characterized by the fusion of several application domains (e.g. control, cognition, high-level planning, etc.) onto the same digital HW platform. Each of these application domains is characterized by different execution requirements and follows different models of computation. As a consequence, classical models in isolation are not sufficient to predict real-time and performance properties. This year we particularly encourage submissions proposing novel models or combining existing models for analyzing real-time and performance properties for such heterogeneous systems.
CALL FOR CHALLENGE SOLUTIONS
We propose a consolidated version of last year's industrial challenge by *Bosch GmbH* highlighting additional system-level aspects that are of interest for the real-time research community. In addition new solutions to the 2015 challenge by *Thales Research and Technology* which is now modeled in CAPELLA are still welcome.
The purpose of the challenge is to share ideas, experiences and solutions to a concrete timing verification problem issued from real industrial case studies. It also aims at promoting discussions, closer interactions, cross fertilization of ideas and synergies across the breadth of the real-time research community, as well as attracting industrial practitioners from different domains having a specific interest in timing verification.
A session will be devoted to the presentation of the solutions to the challenges. Authors of accepted submissions will have the opportunity to give a short talk during that session and present their solution to the ECRTS audience during the interactive demo session (see below).
More information about this is available on the WATERS website: http://waters2017.inria.fr/challenge/
DEMO SESSION AT THE ECRTS MAIN CONFERENCE
Together with the Work-in-Progress poster session and reception, authors of contributions accepted at WATERS (regular contributions and challenge solutions) will have the opportunity to show demonstrations of their work to all ECRTS participants on June 28th. This is one of the most attractive and interactive events at the conference. All prospective authors are very much encouraged to consider this opportunity. Technical requirements regarding demos must be provided at the same time as paper final versions.
SUBMISSION INSTRUCTIONS
Again this year, we offer a flexible submission format, allowing both regular papers (6 pages IEEE format) and proposals for a technical presentation (1 page IEEE format).
We also welcome proposals for panel discussions. If you are interested please contact the WATERS'17 chairs.
All submitted contributions will be reviewed by the workshop program committee. The accepted contributions will be made available online via the community forum at least one week before the workshop so that contributions can be examined prior to the event. The copyright remains with the authors.
By submitting a contribution, the authors agree and confirm that, if accepted, at least one author will register for WATERS 2017 by the special registration deadline set in the notification of acceptance, and present the contribution at the workshop in person.
Forum link: http://ecrts.eit.uni-kl.de/forum/
WORKSHOP CHAIRS
- Arne Hamann, Bosch GmbH, Germany
- Sophie Quinton, Inria Grenoble - Rhone-Alpes, France
PROGRAM COMMITTEE
- Alessandro Biondi, Scuola Superiore Sant'Anna, Pisa, Italy
- Laura Carnevali, University of Florence, Italy
- Benoit Dupont de Dinechin, Kalray, France
- Laurent George, Universite Paris-Est, LIGM /ESIEE, France
- Leandro Soares Indrusiak, University of York, UK
- Giuseppe Lipari, University of Lille, France
- Martina Maggio, Lund University - Lund, Sweden
- Julio Medina, University of Cantabria, Spain
- Jorn Migge, RealTime-at-Work, France
- Saad Mubeen, Malardalen University, Sweden
- Claire Pagetti, Onera, France
- Marco Panunzio, Thales Alenia Space, France
- Marco Di Natale, Scuola Superiore Sant'Anna, Pisa, Italy
- Simon Schliecker, Volkswagen AG, Germany
- Tullio Vardanega, University of Padua, Italy
FMTV CHALLENGE COMMITTEE
- Rafik Henia, Thales Research and Technology, France
- Simon Kramer, Bosch GmbH, Germany
- Julio Medina, University of Cantabria, Spain
- Dirk Ziegenbein, Bosch GmbH, Germany
Participants to the challenge will also be invited to the challenge committee.