Safety Certified Real-Time Operating Systems