Abstract: Real-time cyber-physical systems in aerospace and other safety-critical domains require deterministic task execution under strict certification constraints. Although static time-triggered ...