Real time OS (time-deterministic environment)