Embedded Systems · Serial buses and communication protocols
A single fully preemptive uniprocessor hosts three independent implicit-deadline…
Problem
A single fully preemptive uniprocessor hosts three independent implicit-deadline periodic tasks whose WCETs are obtained from a cycle-accurate basic-block sum, then used in RM and EDF tests. Core clock \(f=80.0\,\mathrm{MHz}\). Zero jitter, zero blocking, zero RTOS overhead beyond what is already folded into the cycle counts. Cycle WCETs: \[ \begin{array}{c|ccc} \text{task} & \tau_1 & \tau_2 & \tau_3\\ \hline \text{cycles }E_i & 80000 & 160000 & 160000\\ T_i\ (\mathrm{ms}) & 4.00 & 6.00 & 9.00 \end{array} \] Convert by \(C_i=E_i/f\). RM priorities by period. EDF by absolute deadline. RM response times use \[ R_i^{(0)}=C_i,\qquad R_i^{(k+1)}=C_i+\sum_{h\in hp(i)}\Bigl\lceil\frac{R_i^{(k)}}{T_h}\Bigr\rceil C_h \] with a pass only if the least fixed point satisfies \(R_i\le T_i\). (a) Compute each \(C_i\) in microseconds and in milliseconds. Compute \(U=\sum C_i/T_i\) as an exact rational (use fractions of a millisecond) and to four decimal places. (b) Decide the EDF test \(U\le 1\) and the RM sufficient test \(U\le U_{\mathrm{lub}}(3)\) with \(U_{\mathrm{lub}}(3)=3(2^{1/3}-1)\) to four decimal places. (c) Compute RM response-time iterates in milliseconds for every task and decide every RM deadline. (d) A late change increases \(E_3\) to \(280000\) cycles (for example a longer filter). Recompute \(C_3\) and \(U\). Redecide EDF. Recompute RM iterates of \(\tau_3\) and decide \(D_3=9.00\,\mathrm{ms}\). State which scheduler, if either, still meets every deadline under the declared model, and state that the conclusion is a uniprocessor task-level result, not a certification of a particular MCU silicon or compiler.
Hint
Convert cycle WCETs at \(80.0\,\mathrm{MHz}\) before any utilization or response-time test.
Check your work
Work the problem yourself first. Then open it in Training to check your answer and read the full worked solution.
The answer check and full solution for this problem come with ProofAnvil Practice membership ($19 USD monthly). See membership. Or start with the free Embedded Systems sample problem: Try the free sample problem.
More Embedded Systems practice problems
- GPIOA on Anvil-M0 provides three 32-bit registers that affect the same 16 output…Microcontrollers, memory-mapped I/O, and peripherals
- A 12-bit ADC with V_REF=3.300 V and V_LSB=V_REF/4096 is read sixteen times in…Microcontrollers, memory-mapped I/O, and peripherals
- USART2 is clocked by f_CK=36.00 MHzInterrupts, concurrency, and shared state
- A UART RX FIFO is 16 bytes deepInterrupts, concurrency, and shared state
- A complementary PWM pair drives one leg of an H-bridgeTimers, scheduling, and real-time constraints
- Two 16-bit timers are cascaded to form a 32-bit timestampTimers, scheduling, and real-time constraints
- A brushless-DC commutation computer runs two independent implicit-deadline periodic…Serial buses and communication protocols
- Standard-mode I^2C requires t_LOW≥ 4.70 μs and t_HIGH≥ 4.00 μs on SCL, t_r≤ 1.00 μs…Memory, energy, and reliability budgets
- A two-door airlock is modelled by Boolean variables L and R, each 1 when that door is…State-machine verification and safety boundaries