Synchronization in Real-Time Systems

Design protocols that provide deterministic latency and bounded worst-case execution time.