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