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.

An efficient web-based project requirements management tool for complex systems providing a scalable solution to optimize communication, collaboration and verification of requirements.

Predictive validation of vehicle systems such as intelligent headlamp units, sensors, human-machine interfaces (HMIs) for ADAS and AD with a visually realistic, real-time and interactive driving simulator, sound dimension and physics-based simulation.

Complete suite of developer tools for software running on Wind River platforms, including end-to-end, open standards–based suite for device software design, development, debugging, test, and management.

Boosts application performance, reduces memory footprint, and produces high-quality, object code in environments where conformance and compliance to safety standards is a must.

Integrated design environment for critical applications including requirements management, model-based design, simulation, verification, qualifiable/certified code generation and interoperability with other development tools and platforms.

Design and prototype of ARINC 661 compliant systems, embedded Cockpit Display Systems (CDS) and User Applications (UA) with the SCADE Solutions for ARINC 661 and significantly decrease overall avionics software development and modifications costs.

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

Ideal environment for any high-reliability / safety-critical embedded application, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards like RTCA DO-178B / DO-178C.

Powerful and simple-to-use Integrated Development Environment (IDE) with extensive navigation and analysis tools to generate a variety of useful information including call graphs, source dependencies, project organization, and complexity metrics.

Includes an Ada front-end, the GCC code generator, the binder, linker, and run-time library. The software has the ability to build standalone static and dynamic libraries ad provides interfacing to C, C++, and Java.

Automated Code Review and Validation Software that assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle.