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
- The challenge was presented at WATERS 2017.
- A first version of the challenge is proposed at WATERS 2018.
- The first solutions are expected in 2018.
If you use the Dassault industrial challenge in a publication, please refer to this page.