Designed to guarantee the completion of a task within a certain time constraint. Often used in safety-critical systems and when building IoT devices.