The industrial challenge of WATERS 2015 is proposed by Rafik Henia and Laurent Rioux from Thales Research & Technology France.
Details about the intention of the challenge can be found here: https://waters2017.inria.fr/challenge/.
A detailed description of the challenge can be found in the attached document:
The corresponding challenge model in Papyrus (https://eclipse.org/papyrus/) is available here:
Industrial challenge 2015
The consolidated 2015 industrial challenge and its solutions to be presented at WATERS'17
Return to “Consolidated 2015 industrial challenge”
Jump to
- Forum rules and general discussion
- ↳ Information for newcomers
- ↳ News, feedback and suggestions
- Dedicated events
- ↳ WATERS
- ↳ WATERS'15
- ↳ Benchmarks
- ↳ Tools
- ↳ Verification challenge
- ↳ WATERS'16
- ↳ Verification challenge
- ↳ Regular contributions
- ↳ WATERS'17
- ↳ 2017 industrial challenge
- ↳ Regular contributions
- ↳ Consolidated 2015 industrial challenge
- ↳ WATERS'18
- ↳ Regular contributions
- ↳ 2018 industrial challenge
- ↳ WATERS'19
- ↳ 2019 industrial challenge
- ↳ Regular contributions
- ↳ WATERS'20
- ↳ TuToR
- ↳ TuToR'16
- Tools and prototypes
- ↳ Call for tools
- ↳ Measurement-based analysis
- ↳ Schedulability and response time analysis
- ↳ Simulation and trace generation
- ↳ Worst-case execution time analysis
- Benchmarks and case studies
- ↳ Call for benchmarks
- ↳ Task sets / Task set generators
- ↳ Software
- Open problems
- ↳ Open problems
- ↳ Problems raised in the keynote of Peter Zijlstra at ECRTS'17