Real-time operating system