| |
| Operating Systems |
 |
INTEGRITY® - A modern, certified POSIX conformant, real-time operating systems (RTOS) designed for total reliability and absolute security. INTEGRITY uses full memory protection in a message-passing design with an extensive range of middleware and board support packages. |
 |
INTEGRITY-178B - Securely partitioned real-time operating systems (RTOS) for demanding safety critical applications containing multiple programs with different levels of safety criticality, all executing on a single processor. |

|
INTEGRITY Secure Virtualization – The industry's most powerful, reliable, and flexible embedded virtualization solution for hosting guest operating systems alongside real-time applications and middleware. |
 |
velOSity™ kernel is a small footprint RTOS with full range of middleware and board support packages.
|

|
µ-velOSity™ real-time kernel is small, fast, easy-to-learn operating system for the most cost-sensitive and resource-constrained devices. |
| Integrated Development Environments |
|
MULTI® - An integrated development environment (IDE) that is a complete software environment for building embedded applications in C, C++, Embedded C++, and FORTRAN.
AdaMULTI - An integrated development environment (IDE) that is a complete software toolkit for building embedded applications in Ada 95 and mixed languages(C, C++, Embedded C++, FORTRAN, Ada 95).
|
 |
DoubleCheck - An integrated static analyzer tool, easy to use, fast in execution - improves quality for mature software as well as new projects. |
 |
TimeMachine - The world's first 4-D debugger. Run and step an application back in time, after a failure occurs, to find the most outrageously difficult bugs in minutes.
|
| Communications Software |

|
GHNet – a standards-based dual mode IPv4/v6 host and router stack with broad RFC conformance and an extensive suite of security protocols, wireless support, network management and internet applications. It’s BSD v4.4 and NetLink socket API provide the foundation for this modular, scalable networking stack. |

|
GateD – a proven, fielded family of processor-neutral, comprehensive data-plane and control-plane solutions that provide complete support and RFC conformance for Layer 2 switching and Layer 3 routing protocols, fully integrated, tested and validated with INTERGITY and GHNet. |
| Target Debug Devices |
|
SuperTrace Probe - A high-performance trace probe that non-intrusively captures up to one gigabyte of trace data in real-time at processor speeds up to 1.2 GHz, providing unprecedented visibility into a system's run-time behavior. |
|
Green Hills Probe - an advanced hardware debug device that enables the MULTI debugger to load, control, debug, and test a target system without the need for prior board initialization. Through a JTAG or BDM test port, the Probe can debug and control the core state (such as cpu internal registers) as well as the system state (external ram and flash memory).
|
| Optimizing Compilers |
|
» Ada Optimizing Compilers
» C/MISRA C Optimizing Compilers
» C++/EC++ Optimizing Compilers
» FORTRAN Optimizing Compilers
|
| Safety Critical Products |
|
» Safety Critical Overview
» INTEGRITY-178B
» GMART
» GSTART
» G-cover
|