To guarantee resource availability for time-critical tasks, safety-critical RTOSs utilize time partitioning. Most implementations, however, are e...