-- Sensitivity analysis on sporadic, implicit deadline tasks

-- We use the periodic task model (ptask) with implicit deadline
-- Thus we can use the ctime as a parameter

-- Compute the response time of every task

ptask name=tau1, period=8, ctime=[0..6]

ptask name=tau2, period=12, ctime=[0..10]

ptask name=tau3, period=15, ctime=2

ptask name=tau4, period=18, ctime=3 

-- The FP scheduler automaton
idlesched CPU1, tau1, tau2, tau3, tau4