WATERS Industrial Challenge proposed by Dassault


The Dassault industrial challenge is proposed by Emmanuel Ledinot from Dassault Aviation.

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.

Latest version of the challenge

  • The first version of the challenge can be found here.


For questions and comments, register on the WATERS community forum and post here.

A bit of history

Proposed solutions

  • The first solutions are expected in 2018.

Related publications

If you use the Dassault industrial challenge in a publication, please refer to this page.