| |
| 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 PC™ – Operating system technology provides secure management of data and applications from multiple security domains on a single workstation. |
 |
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. |
 |
ThreadX® - Express Logic's RTOS is available from and supported by Green Hills Software. Includes kernel-aware graphical interface with advanced source-level and multi-task debugging with the MULTI development environment.
|
| 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.
|
| 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
|
| Communications Software |
|
» Networking Overview
» Networking Stacks
» Wireless
» Network Management
» Security Protocols
» Internet Applications |
