Title: The ROSACE Case study
Authors:
- Thomas Loquen, Eric Noulard, Claire Pagetti, David Saussié (ONERA, Toulouse, France)
- David Saussié (Polytechnique Montréal, Canada)
Abstract: ROSACE - for Research Open-Source Avionics and Control Engineering - goes from a baseline flight controller, developed in MATLAB/SIMULINK, to a multi-periodic controller executing on a multi/many-core target. The interactions between control and computer engineers are highlighted during the development steps, in particular by investigating several multi-periodic configurations. We deduced ways to improve the discussion between engineers in order to ease the integration on the target. The whole case study is made available to the community under an open-source license.
To follow the evolution of this case study please check this topic.
Slides
The ROSACE case study
Benchmarks presented at WATERS'15
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