Search found 10 matches

by Simon Kramer
Thu Nov 23, 2017
Forum: 2017 industrial challenge
Topic: Updated Challenge Model
Replies: 1
Views: 213

Updated Challenge Model

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 com...
by Simon Kramer
Thu Mar 16, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 2172

Re: Industrial challenge 2017

Hi Julio, Michael, Javi, and Juan, the statement that the runnable execution time is without label access and those have to come additionally is valid for all communication semantics. The semantics (from the view of the runnable) only differ in placement of the accessed labels, and thus different ac...
by Simon Kramer
Mon Mar 13, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 2172

Re: Industrial challenge 2017

Hi Simon, Arne, We need to ask you a couple of questions/clarifications more: (1) About the LET model for synchronization, you say: "With the LET model, tasks always read data at the beginning of the activation interval and write data at the end of the activation interval." This does not state clea...
by Simon Kramer
Wed Mar 01, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 2172

Re: Industrial challenge 2017

Hi Julio,

yes that interpretation is correct. Every label has exactly one writer task, or more precisely one writer-runnable. All other tasks only read that label.
In the provided Amalthea model, the writer or reader role is attached to the label access within a runnable.

Best, Simon
by Simon Kramer
Wed Mar 01, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 2172

Re: Industrial challenge 2017-> Please clarify "Local" and "Frequency"

Hi Julio, Javi, Juan, and Michael, thanks for your questions and your participation in the challenge! :-) Please find some answers below: 1 - By looking at the last paragraph in section B. Implicit Communication, which says: "However on the memory storage front, more local storage is required, since...
by Simon Kramer
Mon Apr 25, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 8766

Re: The FMTV'16 Challenge

Hi Junchul, the unit of runnable execution is instructions. Number of instructions divided by the instructions per cycle (IPC) value from the core (HW element) results to the actual taken time in cpu cycles. In our model, the IPC is 1, so number of instructions equals the number of cycles. The 0ns d...
by Simon Kramer
Wed Apr 20, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 8766

Re: The FMTV'16 Challenge

Hi Nacho, preemptive and cooperative tasks can be located on the same core. That's possible. The scheduling policy in this case is still priority based. Preemptive tasks here have a higher priority than cooperative ones. This means that still cooperative tasks preempt each other only at runnable bor...
by Simon Kramer
Mon Apr 18, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 8766

Re: The FMTV'16 Challenge

Hello Juan, effect chains here don't have a blocking/waiting semantic. They are driven by data. In that example Runnable_100ms_7 produces data that is read by Runnable_10ms_19. As you figured out correctly, both runnables have different rates, so here the result of Runnable_100ms_7 is read multiple ...
by Simon Kramer
Tue Mar 15, 2016
Forum: Verification challenge
Topic: Questions regarding the amalthea model
Replies: 7
Views: 1969

Re: Questions regarding the amalthea model

Hello Juan, please see my answers below. Best, Simon Hello all, I am Juan M Rivas from the University of Cantabria. We are trying to solve the FMTV challenge, and we have came up with some questions. Maybe someone could help us. - The first sub-challenge states that we have to ignore the memory acce...
by Simon Kramer
Fri Jun 26, 2015
Forum: Benchmarks
Topic: Real world automotive benchmark for free
Replies: 0
Views: 3473

Real world automotive benchmark for free

Title: Real World Automotive Benchmark For Free Authors: Simon Kramer, Dirk Ziegenbein, Arne Hamann (Corporate Research, Robert Bosch GmbH, Renningen, Germany) Abstract: The progress and comparability of real-time analysis methods that are applicable to real-world is slowed by the absence of realis...