Wikipedia
OpenComRTOS
OpenComRTOS is a commercial network-centric, formally developed real-time operating system, aimed primarily at the embedded systems market.