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
Quickly develop, debug, test, and optimize embedded and real-time applications
- TimeMachine debugging
Go back in time to find the most difficult bugs—in minutes
- DoubleCheck integrated
Easily pinpoint bugs early in development
- Green Hills
Generating the smallest and fastest code from C, C++, and Ada
- 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.
- 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.