Operating systems that guarantee tasks run within fixed time limits, used in control and embedded equipment.