Vxworks, IME, is the option of choice for hard real time components. For other (e.g., soft real time) critical components a solid Linux distribution works bette

Vxworks, IME, is the option of choice for hard real time components. For other (e.g., soft real time) critical components a solid Linux distribution works better -- smaller code, easier checks. I have seen implementations as Linux systems with a few dedicated vxworks boards for specific small components.