Green Hills Software Products and Technology
Operating Systems
INTEGRITY® RTOS— Designed for total reliability and absolutely security, INTEGRITY uses full memory protection in a message-passing design with an extensive range of middleware and board support packages.
INTEGRITY-178B EAL6+ certified, safety-critical RTOS — Securely partitioned RTOS for demanding applications containing multiple programs with different levels of safety criticality, all executing on a single processor.
INTEGRITY Multivisor — The industry's most powerful, reliable, and flexible embedded virtualization solution for hosting guest operating systems alongside real-time applications and middleware.
µ-velOSity™ royalty-free microkernel — small, fast, easy-to-use 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++, and Embedded C++.
AdaMULTI — An integrated development environment (IDE) that is a complete software toolkit for building embedded applications in Ada and C, C++, and Embedded C++.
Green Hills Optimizing Compilers — The fastest, smallest code for C, C++, Ada, and MISRA C

TimeMachine—
Revolutionary debugging suite. Run and step an application back in time,
after a failure occurs, to find even difficult bugs in
minutes.
DoubleCheck— An integrated static analyzer tool, easy to use, fast in execution - improves
quality for mature software as well as new projects.
Communication Protocols
GHNet™ networking stack— a complete IPv4/v6 host and router stack with broad RFC conformance and an extensive suite of security protocols, wireless support, network management and internet applications.
GateD® routing/switching technology — a complete OEM software solutions for Layer 2 switching and Layer 3 router protocols, fully integrated, tested, and validated with INTEGRITY and GHNet.
Hardware Debug Devices
SuperTrace™ Probe — A high-performance trace probe that non-intrusively captures up to 4 GB of trace data at clock 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 connects to onboard debug ports (such as IEEE 1149 JTAG or BDM ) with support for more than one thousand devices from over thirty manufacturers.
Safety-Critical Products
- INTEGRITY-178B RTOS — Simultaneously satisfies DO-178B Level A and Common Criteria EAL6+ (SKPP)
- G-Cover™ code coverage analyzer — Language-independent block and branch coverage analysis on production, non-instrumented code
- GMART™ minimal Ada run-time — Multi-tasking run-time system with support for determinism and scedulability analysis
- GSTART™ safe-tasking Ada run-time — SPARK-compliant, minimal run-time system enables staic analysis of single-threaded applications





