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.

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.

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.

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