Search found 3 matches

by hinomk2
Fri May 20, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 24598

Re: The FMTV'16 Challenge

Thanks Arne, I think I understand the problem enough to tackle it. When I analyzed the worst case end-to-end latencies of tasks and chains, too many tasks, 6 out of 21 tasks from my result, violate deadlines even without memory access delay. Chains that have runnables in unschedulable tasks are of c...
by hinomk2
Mon May 16, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 24598

Re: The FMTV'16 Challenge

Hi, thanks arne for the previous answers. I have another questions on the memory access model: 1. What happens if preemptive task with higher priority is requested during a resource access of lower priority task? Is the preemptive task blocked until the resource access of lower priority task finishe...
by hinomk2
Mon Apr 25, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 24598

Re: The FMTV'16 Challenge

Hi, I have two simple questions. 1) What is the unit of runnable execution lowerbound and upperbound? Is it CPU cycle? 2) There are four schedulers that have 0 ns delay. Also every stimuli has 0 ms offset. I guess it means that all schedulers and stimulis start at the same time (the time system is a...