Procedural programming languages
Functional languages
Linux
RTAI
Standard ML
RTLinux
ML
Type safety
Scheduling
Computing
Software
Real-time operating systems