Real-time Operating Systems and Microkernels

Read this article for a good overview of real-time operating systems.