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.

Contact

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.

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.