Sistema Operativo de Tiempo Real, RTOS