The WATERS 2018 industrial challenge is based on the RESSAC use case, μXAV: A Collaborative Development Assurance Lab.
The first description of the challenge is available .
This use case, managed by the RESSAC project at IRT St Exupery (Toulouse, France) led by Airbus, was designed as an open research lab. to explore reformation of aeronautic certification. Such a reformation was initiated by the Federal Aviation Administration in the US by fall of 2015, and supported by world aeronautic industry.
The use case is based on a small drone-like Cyber Physical System: hybrid multi-system mixing simple mechanics, hydraulics, electrical powering, flight control, mission management, fault tolerance, and distributed real-time computation.
The full use case documentation is available at https://github.com/AdaCore/RESSAC_Use_Case/
Industrial Challenge 2018
The 2018 industrial challenge and its solutions to be presented at WATERS'18
Return to “2018 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