A reliable RTOS enables bounded behavior under different system load scenarios. However, being an enabling technology, it does not guarantee system correctness. It offers the capabilities that an application programmer uses to build the correct application.