Search found 7 matches

by rivasjm
Tue Apr 19, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 14316

Re: The FMTV'16 Challenge

Thank you very much Simon, with your thorough explanation now it makes sense.

Best
Juan
by rivasjm
Mon Apr 18, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 14316

Re: The FMTV'16 Challenge

Hello again, we are progressing with the challenge, but we are struggling with how the EventChain constraint works in the model. For example, EffectChain_2 traverse the following Runnables: Runnable_100ms_7 – Runnable_10ms_19 – Runnable_2ms_8 In our interpretation, the event chain means that Runnabl...
by rivasjm
Wed Apr 06, 2016
Forum: Verification challenge
Topic: Questions regarding the amalthea model
Replies: 7
Views: 2820

Re: Questions regarding the amalthea model

We corrected the challenge model. You can find the updated version here: http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=27&t=62&p=96#p96 Thank you for the new model. We now see that if we consider only worst-case execution times, the utilizations are now sligthly above 100%, which according to yo...
by rivasjm
Tue Mar 15, 2016
Forum: Verification challenge
Topic: Questions regarding the amalthea model
Replies: 7
Views: 2820

Re: Questions regarding the amalthea model

Thanks Simon for your answers, things are more clear now. Also thanks Sophie for contacting them, We have started working with the model, and we came up with another problem, we are measuring utilizations above 100%. We are not sure if we are interpreting the model well or not. For example, Task_1ms...
by rivasjm
Tue Mar 15, 2016
Forum: Verification challenge
Topic: Questions regarding the amalthea model
Replies: 7
Views: 2820

Re: Questions regarding the amalthea model

We just noticed that some tasks are preemptive while other are cooperative (non-preemptive).
by rivasjm
Mon Mar 14, 2016
Forum: Verification challenge
Topic: Questions regarding the amalthea model
Replies: 7
Views: 2820

Questions regarding the amalthea model

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 accesses and arbitation. Does this mean that in each Runn...