CfP: WATERS 2015: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems

6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'15)

http://waters2015.inria.fr
July 7, 2015 in Lund, Sweden
In conjunction with ECRTS'15

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.

WATERS 2015 is a satellite workshop of the 27th Euromicro Conference on Real-Time Systems (ECRTS 2015, http://control.lth.se/ecrts2015/), the premier European venue for presenting research into the broad area of 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 2015 EDITION

This year, WATERS will focus more closely on the following topics.

• Benchmarking: Lack of a common ground for experimentation is still an issue in many areas of real-time and embedded systems analysis. This makes evaluation and comparison of tools and methods difficult. Therefore, we particularly encourage authors to share data that can be used for benchmarking. Real-life problems from the industry dealing with real-time are of course especially welcome. In addition, theoretical and practical results about test case generation, e.g. for schedulability analysis, are of interest. Finally, we also welcome surveys on currently existing benchmarks and test cases.
• Case studies: In parallel, we emphasize the need for sharing experience with real-life examples. Therefore, we encourage authors to submit case studies in which they may describe not only the results they have achieved but also possibly the difficulties they faced in adapting their approach to practical applications.

CALL FOR CHALLENGE SOLUTIONS

This year, we additionally propose a verification challenge for which authors may submit solutions. The 2015 challenge is an industrial case study proposed by THALES. Its purpose 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 challenge. Authors of accepted submissions will have the opportunity to give a short talk and present their solution to the audience in an interactive demo session.

More information about this is available on the WATERS website:
http://waters2015.inria.fr/challenge/

DEMO SESSIONS

Prospective authors are encouraged to consider the following options.

• At WATERS: The authors of accepted papers will have the opportunity of showing demonstrations of their work in a dedicated hands-on session at the workshop.
• At ECRTS: Together with the Work-in-Progress poster session and reception, demonstrations and material can be made available to all ECRTS participants. This is one of the most attractive and interactive events at the conference.

SUBMISSION INSTRUCTIONS

Submitted papers should follow the IEEE conference format (2 columns, 10 pt, single-line spacing) and should not exceed 6 pages in length. Papers must be submitted in PDF format. The papers will be reviewed by the workshop program committee and all accepted papers will be made available to all participants one week before the workshop so that contributions can be examined prior to the event. Papers should be submitted via the EasyChair conference management system using the link provided on the workshop website.

By submitting a paper, the authors agree and confirm that: neither this paper nor a version close to it is under submission or will be submitted elsewhere before notification by WATERS 2015. If accepted, at least one author will register for WATERS 2015 by the special registration deadline set in the notification of acceptance, and present the paper at the workshop in person.

IMPORTANT DATES

• Submission deadline: 24th April 2015
• Acceptance notification: 22nd May 2015
• Final version deadline: 12th June 2015
• Workshop: 7th July 2015

WORKSHOP CHAIRS

• Sophie Quinton, Inria Grenoble - Rhone-Alpes, France
• Tullio Vardanega, University of Padua, Italy

PROGRAM COMMITTEE

• Laura Carnevali, University of Florence, Italy
• Antonio Cicchetti, Malardalen University, IDT, Vasteras, Sweden
• Laurent George, INRIA Paris-Rocquencourt, France
• Arne Hamann, Bosch GmbH, Germany
• Giuseppe Lipari, University of Lille, France
• Martina Maggio, Lund University, Sweden
• Silvia Mazzini, Intecs, Italy
• Julio Medina, University of Cantabria, Spain
• Marco Di Natale, Scuola Superiore Sant'Anna, Pisa, Italy
• Marco Panunzio, Thales Alenia Space, France
• Simon Schliecker, Symtavision GmbH, Germany
• Wang Yi, Uppsala University, Sweden

FMTV CHALLENGE COMMITTEE

• Rafik Henia, Thales Research and Technology, France
• Julio Medina, University of Cantabria, Spain
• Sophie Quinton, Inria Grenoble - Rhone-Alpes, France
• Laurent Rioux, Thales Research and Technology, France
• Tullio Vardanega, University of Padua, Italy

Participants to the challenge will also be invited to the FMTV challenge committee.