Tools and Benchmarks for Real-Time Systems

2017 industrial challenge • Re: Updated Challenge Model

2017-12-21T20:56:03+01:00

Hi Simon,

I have moved your post to the 2017 Industrial challenge subforum to centralize the info related to the challenge here. I hope that's OK for you.

Best,
Sophie

Statistics: Posted by Sophie Quinton — Thu Dec 21, 2017

2017 industrial challenge • Updated challenge model

2017-12-05T09:02:21+01:00

An updated version of the 2017 challenge can be found here: https://www.ecrts.org/forum/viewtopic.p ... 421789ceeb

Statistics: Posted by arne.hamann — Tue Dec 05, 2017

2017 industrial challenge • Updated Challenge Model

2017-11-23T12:38:57+01:00

Dear WATERS Community,

due to multiple requests, we enhanced our provided 2017 challenge model with specified communication types.

This model is now based on the latest APP4MC https://www.eclipse.org/app4mc/ release 0.8.2. which supports the specification of the used implementation type for each communication. This specification is attached to each LabelAccess in the attribute "Implementation", which accepts values from the LabelAccessImplementation enum. The possible values are explicit, implicit, and timed, each according to corresponding communciation semantic.

In the given model, some labels are always accessed with explicit semantics. The other labels are using buffered communication, which again splits into implicit and timed. Which one is used is determined on the period of the accessing runnable. If the period is short, below or equal 10ms, then access is performed timed. If the period is longer than 10ms, the access will be implicit.

If you have any questions/remarks/suggestions ... feel free to contact me or post here on the forum.

Best,
Simon

ChallengeModel_withCommImplementationTypev082.zip

Statistics: Posted by Simon Kramer — Thu Nov 23, 2017

2017 industrial challenge • Re: Challenge 2017 Solution #1: Logical Execution Time Implementation and Memory Optimization Issues in AUTOSAR applicat

2017-06-27T08:32:35+01:00

Dear colleagues,

please find attached a revision of our solution to the challenge (fixed some typos and minor things).

Best regards,
Alessando Biondi, Paolo Pazzaglia, Alessio Balsini and Marco Di Natale

FMTV17_def.pdf

Statistics: Posted by p.pazzaglia — Tue Jun 27, 2017

2017 industrial challenge • Re: Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017

2017-06-09T14:31:25+01:00

Dear colleagues,

we updated our effect chain analysis to correctly handle non harmonic task periods and fixed a bug that led to unnecessary pessimistic reaction time results.

FMTV_2017_Solution_4_2.pdf

The pyCPA implementation on bitbucket is updated accordingly

Regards
Kai

Statistics: Posted by Kai Gemlau — Fri Jun 09, 2017

2017 industrial challenge • 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

2017 industrial challenge • Re: Challenge 2017 Solution #5

2017-06-01T11:31:41+01:00

Dear colleagues,

We have just updated our paper since we identify some typos.
The mathematical and formal characterization remains the same.

See you in Dubrovnik!

Nacho, Jorge, Paolo and Marko.

FMTV_WATERS_2017.pdf

Statistics: Posted by Nacho_S — Thu Jun 01, 2017

2017 industrial challenge • Re: Challenge 2017 Solution #1: Logical Execution Time Implementation and Memory Optimization Issues in AUTOSAR applicat

2017-05-26T14:15:29+01:00

Dear colleagues,

Please find in attachment the paper that contains our solution to the Challenge.
Questions and comments are welcome.

Best Regards,
Alessando Biondi, Paolo Pazzaglia, Alessio Balsini and Marco Di Natale

FMTV_submission.pdf

Statistics: Posted by p.pazzaglia — Fri May 26, 2017

2017 industrial challenge • Re: Challenge 2017 Solution #5

2017-05-24T14:47:58+01:00

Dear colleagues,

Please find attached our solution for the challenge :)

Nacho, Jorge, Paolo and Marko.

FMTV_WATERS_2017.pdf

Statistics: Posted by Nacho_S — Wed May 24, 2017

2017 industrial challenge • Re: Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017

2017-05-22T18:54:11+01:00

Dear colleagues,

attached you can find our contribution to the WATERS Challenge 2017

FMTV_2017_Solution_4.pdf

.

Our implementation based on pyCPA is available at:
https://bitbucket.org/pycpa/waters2017

We all welcome your suggestions and comments and Kai is looking forward to meet and discuss with you at Dubrovnik.

Best Regards,
Mischa Möstl
(in representation of Kai-Björn Gemlau, Johannes Schlatow, myself and Rolf Ernst)

Statistics: Posted by Mischa Moestl — Mon May 22, 2017

2017 industrial challenge • 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

2017 industrial challenge • Re: Challenge 2017 Solution #3: Comparison of Memory Access Strategies in Multi-core Platforms Using MAST

2017-05-22T16:35:11+01:00

Dear colleagues,

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

The workspace and files that we have generated and used for this work will be available as soon as we can at the following address (also indicated in the paper): http://www.istr.unican.es/members/rivas ... ublic.html

Comments are welcome.

Best regards,

Javi, Juan, Julio and Michael

FMTV-2017-MAST.pdf

Statistics: Posted by gutierjj — Mon May 22, 2017

2017 industrial challenge • Challenge 2017 Solution #5: End-To-End Latency Characterization of Implicit and LET Communication Models

2017-05-19T16:59:14+01:00

Authors: Jorge Luis Martinez, Ignacio Sañudo, Paolo Burgio and Marko Bertogna

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

2017 industrial challenge • Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017

2017-05-19T16:58:14+01:00

Authors: Kai-Björn Gemlau, Johannes Schlatow, Mischa Möstl and Rolf Ernst

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

2017 industrial challenge • Challenge 2017 Solution #3: Comparison of Memory Access Strategies in Multi-core Platforms Using MAST

2017-05-19T16:57:19+01:00

Authors: Juan M Rivas, J. Javier Gutiérrez, Julio Medina and Michael González Harbour

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