Rui CarmoQNX is probably the most successful commercial real-time OS, with a number of interesting features and a sizable development community.
I was tracking it for years, and then it got bought out and all the interesting public bits were essentially run into the ground by Research In Motion.