Development Tools

Development Tools

Image Name Form factor Classification Processor Description
Wind River Workbench

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.

Wind River Diab Compiler

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

SCADE Suite

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.

SCADE Solutions for ARINC 661

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.

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.

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.

CodePeer

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.