Indian Institute of Technology, Kharagpur: "Embedded System Software"

Read this article for a good synopsis of many of the commercial real-time operating systems.