Due to the recent developments of SARS-COV-2 pandemic, we decided to postpone WATERS to the next edition of ECRTS 2021 which will be held in Modena.
The goal of WATERS is to collect researchers in an unique venue where they can discuss and share ideas. The workshop therefore benefits more from the interaction and lively discussion around the presented challenge, tools and benchmarks, which will be hard to implement as a virtual event.
we hope you understand our decision and we are looking forward to your contribution and participation to next year’s edition of WATERS!
About the WATERS industrial challenge
The purpose of the WATERS industrial challenge is to share ideas, experiences and solutions to concrete timing verification problems 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.
The 2020 industrial challenge
The WATERS industrial challenge addresses the design and integration of heterogeneous hardware-software systems. The challenge is proposed by Arne Hamann, Dakshina Dasari, and Falk Wurst, Corporate Research Robert Bosch GmbH and Ignacio Sañudo, Nicola Capodieci, Paolo Burgio and Marko Bertogna, University of Modena and Reggio Emilia. The description of the 2019 industrial challenge is available on the WATERS community forum and the Amalthea model can also be found on the forum.
This year is an extension of the 2019 challenges proposed by Arne Hamann, Simon Kramer, Martin Lukasiewycz and Dirk Ziegenbein from Robert Bosch GMBH. The description and previous solutions are available on the WATERS community forum.
Industrial challenges @WATERS
A session will be devoted to the presentation of the solutions to the industrial challenges. Solutions to the 2020 challenge are welcome. Authors of accepted submissions will have the opportunity to give a short talk during that session and present their solution to the audience during the interactive demo session. Depending on the participation, a joint publication of the challenge solutions will be considered. Please note that we aim at a collaborative reviewing process: your submission implies that you agree to participate as a reviewer to the (light-weight) evaluation of contributions submitted by others.