I think the logical answer is QNX.
http://www.qnx.com/It's micro-kernal architecture is very efficient and fast and the stability level is amazing. It's not used for controlling nuclear power plants because it crashes. It's used because it never crashes.
I like to think the AmigaOS would have become like QNX if it had continued.
