An operating system designed to provide predictable and deterministic timing behavior for time-critical applications.