Real-time operating systems
- INTEGRITY RTOS and
INTEGRITY-178 tuMP RTOS
For totally reliable and absolutely secure applications - µ-velOSity RTOS
Small, fast, easy-to-learn operating system for cost-sensitive and resource-constrained devices
Software development tools
- MULTI and AdaMULTI development
environments
Quickly develop, debug, test, and optimize embedded and real-time applications - TimeMachine debugging
suite
Go back in time to find the most difficult bugs—in minutes - DoubleCheck integrated
static analyzer
Easily pinpoint bugs early in development - Green Hills
optimizing compilers
Generating the smallest and fastest code from C, C++, and Ada
Processor probes
- Green Hills Probe V4
Multicore hardware bring-up, low-level debugging, and trace-powered analysis toosl
Device lifecycle management and data encryption
- Device Lifecycle Management (DLM)
Monetize, manage, and protect embedded device hardware and software intellectual property. - High-Assurance Embedded Cryptographic Toolkit
FIPS 140-2 cryptography for secure OTA, boot, data storage, and networking.
Platform solutions
- Aerospace & Defense
Leading avionics-certified INTEGRITY-178 tuMP RTOS along with ARINC 653 partition scheduler, system extensions, and certification evidence that together reduce the time, cost, and risk of DO-1798B/C Level A certification. - Automotive electronics
Safety-certified INTEGRITY RTOS and safe hosting of guest operating systems, fast boot, secure OTA software updates, and advanced development tools that together lower development costs and reduce time-to-market for ADAS/AD, powertrain, body, chassis, gateway, e-Cockpit, and infotainment systems. - Industrial safety
Safety-certified RTOS & integrated middleware for industrial systems requiring IEC/EN 61508 safety certification. - Medical devices
Run-time and development solution based on certified technology with an unparalleled proven-in-use history that enables developers to design medical devices faster and at lower cost while addressing the latest regulatory and feature requirements. - Secure networking
Run-time and development solutions to secure network devices at their core using integrated layer 3 routing, layer 2 switching, and IPv4/v6 networking protocols. - Software defined radio
POSIX-conformant RTOS integrated with TCP/IP stack, CORBA, SCA core framework, waveform development solutions, and reference hardware.