Here you can find the slides of our presentation:
Search found 7 matches
- Tue Jul 12, 2016
- Forum: Verification challenge
- Topic: Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST
- Replies: 1
- Views: 8460
- Tue Apr 19, 2016
- Forum: Verification challenge
- Topic: The FMTV'16 Challenge
- Replies: 33
- Views: 48391
Re: The FMTV'16 Challenge
Thank you very much Simon, with your thorough explanation now it makes sense.
Best
Juan
Best
Juan
- Mon Apr 18, 2016
- Forum: Verification challenge
- Topic: The FMTV'16 Challenge
- Replies: 33
- Views: 48391
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...
- Wed Apr 06, 2016
- Forum: Verification challenge
- Topic: Questions regarding the amalthea model
- Replies: 7
- Views: 11754
Re: Questions regarding the amalthea model
We corrected the challenge model. You can find the updated version here: https://www.ecrts.org/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 your pr...
- Tue Mar 15, 2016
- Forum: Verification challenge
- Topic: Questions regarding the amalthea model
- Replies: 7
- Views: 11754
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...
- Tue Mar 15, 2016
- Forum: Verification challenge
- Topic: Questions regarding the amalthea model
- Replies: 7
- Views: 11754
Re: Questions regarding the amalthea model
We just noticed that some tasks are preemptive while other are cooperative (non-preemptive).
- Mon Mar 14, 2016
- Forum: Verification challenge
- Topic: Questions regarding the amalthea model
- Replies: 7
- Views: 11754
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...