This resource is no longer available
Wind River Studio offers tools for developing safety-critical software that meets certification standards. VxWorks Cert Edition is certified for avionics, automotive, and industrial use. VxWorks 653 supports ARINC 653-compliant avionics, while the Helix Virtualization Platform is a certified hypervisor for multiple OSes. Safety and certification services are also available.
The cloud-native platform aids in building certified operating systems, supporting standards like DO-178C, IEC 61508, ISO 26262, and EN 50128. Available resources include product overviews, safety certificates, and case studies.
For more information on Wind River's safety-critical software solutions, access this resource.