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
Updated Challenge Model
-
- Posts: 10
- Joined: Mon Jul 13, 2015
Updated Challenge Model
- Attachments
-
- ChallengeModel_withCommImplementationTypev082.zip
- (235.97 KiB) Downloaded 557 times
-
- Site Admin
- Posts: 54
- Joined: Tue Apr 28, 2015
- Location: Inria Grenoble - Rhône-Alpes, France
- Contact:
Re: Updated Challenge Model
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
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/
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/