Unlocking Multi-Core Potential: Robert Gifford’s Breakthroughs in Real-Time System Safety