50 likes | 156 Vues
This study involves quantitative evaluation of embedded systems running a periodic regime, focusing on eliminating jitter, controlling best-case response time, and putting a bound on self-timed execution. It presents methods to determine the minimum cycle time and choose a period, along with initializing start times for actors and ensuring timely execution for each arc.
E N D
Quantitative Evaluation of Embedded Systems Running a Periodic Regime
Running a Periodic Regime • Eliminates jitter 10ms • Controlled best-case response time • Puts a bound onself-timed execution 1ms 1ms 3ms
Running a Periodic Regime Press pause to calculate the MCM B S 10ms A C 1ms ‘μ’ ms 1ms D 3ms
Running a Periodic Regime B S 10ms A C 1ms μ ≥ 3.5 ms 1ms D 3ms
Running a Periodic Regime • Determine the MCM and choose a period μ ≥ MCM • For each actor a initialize a start-time Ta := 0 • Repeat for each arc a—i—b : Tb := Tb max (Ta + Ea – iμ)until there are no more changes • Here, i denotes the number of initial tokens on an arc, • and Ea is the execution time of an actor a