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

Wind River® Linux enables you to develop, deploy, and operate robust, reliable, and secure embedded solutions running on a purpose-built Linux operating system.

The World’s Leading Real-Time Operating System for the Intelligent Edge.

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

GNAT Pro Enterprise is a complete development environment for producing critical software systems where reliability, efficiency and maintainability are essential.

Scade One is a model-based solution for developing embedded applicative software, enabling a seamless Model-Based Systems Engineering (MBSE) process.

Ansys Twin Builder is an open solution that allows engineers to create simulation-based digital twins with Hybrid Analytics.

Predicts the illumination and optical performance of systems to save on prototyping time and costs while improving product’s efficiency.

A highly optimizing compiler toolchain to build fast and tight code for safety-certified use cases.

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

Based on the DDS standard, Connext Secure is the trusted software framework for architecting and securing systems of systems.

Software framework designed to meet the demanding connectivity requirements of smart-world systems.

The first software framework for resource-constrained real-world applications.

The first safety-certifiable software framework for safety and mission-critical real-world systems.