Welcome to the repository of the 

WATERS Industrial Challenge

Satellite Event to

Intl. Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems
(WATERS)

The purpose of the WATERS industrial challenge is to share ideas, experiences and solutions to concrete timing design and verification problems issued from real industrial case studies. Our goal is to promote discussions, closer interactions and cross fertilization of ideas within the real-time research community but also together with industrial practitioners from different application domains.

Recent news and discussions on the WATERS industrial challenges can be found on the WATERS community forum.


WATERS 2018 - 9th International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems

  • Challenge proposed by Dassault (Emmanuel Ledinot)
  • The challenge is based on a small drone-like cyber-physical system and consists in contributing the concepts, models, candidate technologies, and analyses of the proposed use case's middleware layer. Contributions are expected on timing-contract languages, suitable abstractions of the concrete technological solutions, compositionality and genericity of the correctness arguments.

WATERS 2017 - 8th International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems

  • Challenge proposed by Bosch (Arne Hamann, Simon Kramer, Michael Pressler, Dakshina Dasari, Falk Wurst, and Dirk Ziegenbein)
  • The challenge, which extends the 2016 challenge, consists in providing concepts for realizing implicit and LET communication, then assessing their impact on the end-to-end latency along a set of given cause-effect chains in a full blown engine management software.

WATERS 2016 - 7th International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems

  • Challenge proposed by Bosch (Arne Hamann, Simon Kramer, Martin Lukasiewycz and Dirk Ziegenbein)
  • The challenge consists in determining tight end-to-end latency bounds for a set of given cause-effect chains in a full blown engine management software.

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

  • Challenge proposed by Thales (Rafik Henia and Laurent Rioux)
  • The challenge consists of an aerial video tracking system used in intelligence, surveillance, reconnaissance, tactical and security applications. The system is characterized by strict and less strict constraints on timing. Two timing verification problems are proposed to the community, which consist in calculating various timing latencies and optimizing priority assignments.