Updated Challenge Model

The 2017 industrial challenge and its solutions to be presented at WATERS'17
Post Reply
Simon Kramer
Posts: 10
Joined: Mon Jul 13, 2015

Updated Challenge Model

Post by Simon Kramer » Thu Nov 23, 2017

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
Attachments
ChallengeModel_withCommImplementationTypev082.zip
(235.97 KiB) Downloaded 558 times

Sophie Quinton
Site Admin
Posts: 54
Joined: Tue Apr 28, 2015
Location: Inria Grenoble - Rhône-Alpes, France
Contact:

Re: Updated Challenge Model

Post by Sophie Quinton » Thu Dec 21, 2017

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
Sophie Quinton
INRIA Grenoble - Rhône-Alpes
655 Avenue de l'Europe - Montbonnot
38334 St Ismier Cedex - FRANCE
tel: +33 4 76 61 55 31
https://team.inria.fr/spades/quinton/

Post Reply