I have seen SysGo's PikeOS being used in Railway signalling systems. Also Threadx in Military Aerospace and Medical devices. Micrium in medical devices.