Chat with us, powered by LiveChat

Safety Critical

Safety Critical

Image Name Form factor Classification Processor Description
ANSYS medini analyze

Ansys medini analyze implements key safety analysis methods (HAZOP, HARA, FHA, FTA, FME(C)A, FMEDA, etc.) in one integrated tool. It supports the efficient and consistent execution of the analysis activities that are required by safety standards.

Wind River VxWorks Cert Platform

An RTOS platform for safety-critical applications that require DO-178C, IEC 61508, ISO 26262, IEC 62304, or certification evidence in the avionics, industrial automation, transportation, and medical device industries.

Wind River VxWorks 653

An integrated modular avionics (IMA) platform enabling workload consolidation of safety-critical and less critical applications


Model-based development environment for reliable embedded software, with linkage to requirements management, model-based design, verification, qualifiable/certified code generation capabilities and interoperability with other development tools and platforms.

ANSYS SCADE Solutions for ARINC 661

Empowers you to prototype and design ARINC 661 compliant systems, embedded Cockpit Display Systems (CDS) and User Applications (UA).


Systems and Software Lifecycle Management software features requirements traceability via Application Lifecycle Management (ALM) tools, traceability from models, configuration and change management, and automatic documentation generation.


Design robust embedded displays for human machine interfaces with native support for the OpenGL® SC1 & SC2 (Safety Critical) and ES1 & ES2 (Embedded system) standards