Industrial challenge

The purpose of the WATERS industrial challenge, formerly called Formal Methods for Timing Verification (FMTV) 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 2018 industrial challenge

We are glad to announce that the 2018 industrial challenge will be proposed by Emmanuel Ledinot from Dassault Aviation and an initial version will be presented and discussed at WATERS 2017.

The 2017 industrial challenge

New: Solutions are now available on the WATERS community forum!

We are glad to announce an updated version of the 2016 industrial challenge  proposed by Arne Hamann, Simon Kramer, Michael Pressler, Dakshina Dasari, Falk Wurst, and Dirk Ziegenbein from Robert Bosch GmbH.

Compared to last year’s challenge the following aspects have been added and changed:

• Detailed description of the hardware model with respect to communication costs (best- as well as worst-case models for read and write accesses to the global and local scratchpad memories)
• Explanation of two communication semantics and their role in the design of industrial embedded systems:
  • Implicit communication for maintaining data consistency at the task level
  • LET (logical execution time) communication  for ensuring temporal determinism between communicating tasks

In order to realize the mentioned communication semantics additional mechanisms are needed. These are not contained in the provided challenge model, since there are many different realization alternatives. For this reason, the challenge consists in:

• Proposing concepts for realizing implicit and LET communication (e.g. by adding additional runnables and/or tasks to the model)
• Assessment of the impact of the communication mechanisms on the end-to-end latency along event chains
• Assessment of the overhead induced by the proposed realizations

A detailed presentation of the above mentioned aspects as well as an updated model of the challenge (in Amalthea format) is available on the WATERS community forum. Prospective participants are invited to post questions, e.g. for clarification, and follow on-going discussions about the challenge. For questions which are not of general interest, feel free to contact Sophie Quinton (sophie dot quinton at inria dot fr) or Arne Hamann (arne dot hamann at de dot bosch dot com).

Consolidated version of the 2015 industrial challenge

New: Solutions are now available on the WATERS community forum!

A Papyrus model of the 2015 industrial challenge (aerial video tracking system) proposed by Rafik Henia and Laurent Rioux from Thales Research & Technology France is now available on the WATERS community forum. The model includes two sequence diagrams modeling two functional scenarios of an aerial video tracking system.

In addition to the model, a short paper provides a description of the aerial video tracking system and both functional scenarios. For each functional scenario, the paper also provides a description of the corresponding timing verification challenge.

Participants are invited to post questions, e.g. for clarification, and follow on-going discussions about the challenge in the WATERS community forum. For questions which are not of general interest, feel free to contact Rafik Henia (rafik dot henia at thalesgroup dot com) or Laurent Rioux (laurent dot rioux at thalesgroup dot com).

Industrial challenges @WATERS

A session will be devoted to the presentation of the solutions to the industrial challenges. Both, solutions to the 2017 challenge and solutions to the consolidated 2015 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 ECRTS 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.

Submission instructions

Submission instructions can be found here.