Founded in 1982, Green Hills Software is the largest independent vendor of embedded software solutions spanning from embedded to enterprise. Green Hills is the only company with an operating system certified and deployed to IEC 61508 SIL 3 (industrial), FDA Class III (medical), EN 51028 SWSIL 4 (railway), EAL6+ High Robustness (security), and DO-178B Level A (avionics).
Green Hills Software provides industry-optimized software development platforms that address deeply embedded, absolute security, and high reliability applications for secure networking, secure wireless devices, medical, industrial, software-defined radio, railway, automotive and avionics markets. These highly integrated Green Hills platforms, built with the INTEGRITY® RTOS, include all of the core software and documentation required to develop and deploy a targeted device.
There are no discussions here currently, but as they appear they might have answers you need.