RSS
Operating
Systems
Systems
- INTEGRITY® RTOS
Safe and secure operating system certified for multicore embedded systems - INTEGRITY-178 tuMP™ RTOS
Leading operating system for multicore airborne safety and security - µ-velOSity™ RTOS
Small, fast, and easy-to-use RTOS
Hypervisors
- INTEGRITY Multivisor®
Embedded hypervisor to safely and securely host guest OS - µ-visor ® Hypervisor
Virtualization for safety & critical microcontroller-based systems
Hardware
Debugging
Debugging
- Green Hills Probe V4
Green Hills fastest and most capable JTAG and trace probe
Development
Tools
Tools
- MULTI® IDE
Integrated tools to develop, analyze, and debug C/C++ programs - AdaMULTI IDE
Integrated tools to develop, analyze, and debug C/C++ and Ada programs - Optimizing Compilers
Generating the smallest, fastest code for C, C++, and Ada - TimeMachine® Debug Suite
Back-in-time execution to find the most difficult bugs - DoubleCheck™ Code Analysis
Integrated static source code analyzer
Cybersecurity
- Cryptographic Toolkit
FIPS 140-2 cryptography for secure OTA, boot, data storage, and networking - Device Lifecycle Management (DLM)
Monetize, manage and protect embedded device hardware and software intellectual property
Supported
Architectures
Architectures
Platform
Solutions
Solutions
