Chat with us, powered by LiveChat

Development Tools

Development Tools

Image Name Form factor Classification Processor Description
GNAT Pro (Enterprise)

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

Ansys Scade One

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

ANSYS Twin Builder

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

ANSYS SPEOS

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

Wind River Diab Compiler

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

ANSYS SCADE Suite

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).

ANSYS SCADE Lifecycle

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.

ANSYS SCADE Display

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 Safety-Critical

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.

GNAT GPS6

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.

GNAT Ada Compiler

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.