Tools and Benchmarks for Real-Time Systems

Re: Challenge 2017 Solution #2: WATERS Industrial Challenge 2017 in Prelude

2017-06-07T13:46:51+01:00

The Amalthea To Prelude translator is now available on the Prelude forge (amx2plu):
https://forge.onera.fr/projects/prelude/files

In the provided archive you will also find the Prelude program resulting from the translation (in case you cannot re-generate it).
A new Prelude distribution will be available soon. It is required if you want to compile the Prelude program resulting from the translation into C code.

Statistics: Posted by julien.forget — Wed Jun 07, 2017

Re: Challenge 2017 Solution #2: WATERS Industrial Challenge 2017 in Prelude

2017-05-22T18:16:28+01:00

Attached you can find the document with our solution for the 2017 challenge.

The translator from AMALTHEA to PRELUDE is available at:
TBD June 10th

main.pdf

Statistics: Posted by pagetti — Mon May 22, 2017

Challenge 2017 Solution #2: WATERS Industrial Challenge 2017 in Prelude

2017-05-19T16:56:17+01:00

Authors: Frédéric Boniol, Julien Forget and Claire Pagetti

Statistics: Posted by arne.hamann — Fri May 19, 2017