This directory contains all the necessary input material for the ROSACE Case Study.

This case study was initially published in:
"The ROSACE Case Study: From Simulink Specification to Multi/Many-Core Execution"
Claire Pagetti, David Saussié, Romain Gratia, Eric Noulard, Pierre Siron
RTAS'2014

see: http://sites.onera.fr/schedmcore/ROSACE

This case study has/will evolved over time.
The current directory structure is the following:
ROSACE_CaseStudy/
├── checker
├── c_posix_implementation
├── prelude_implementations
│   ├── instructions
│   ├── prelude_c
│   └── prelude_lustre
│       └── wrapper
├── redundant
└── simulink

ROSACE_CaseStudy/README.txt
   this file
ROSACE_CaseStudy/checker/
   Contains the results from experiment and a checker script
   that may be used to verify the results.
ROSACE_CaseStudy/c_posix_implementation
   And hand-written autonomous Posix Thread implementation using
   5 threads.
ROSACE_CaseStudy/prelude_implementations/
   Contains the Prelude source of the case study in 2 versions
   prelude_c/
      Hand-written Prelude source with hand-written imported node in C
   prelude_lustre/
      Generated Prelude source with generated imported node in Lustre
   instructions/
      Contains the necessary instructions for installing and/or
      building the software used in the experiment.
ROSACE_CaseStudy/redundant/
   Contains an other specification of ROSACE that allows redundancy and fault
   tolerance
ROSACE_CaseStudy/simulink/
   Contains the Simulink models and some script files.
ROSACE_CaseStudy/giotto_implementation/
   Contains a Giotto implementation of ROSACE.