Arm

Real-time operating systems

INTEGRITY RTOS and INTEGRITY-178 tuMP RTOS
For totally reliable and absolutely secure applications
INTEGRITY Multivisor
Securely run guest operating systems alongside native time-critical and secure applications
µ-velOSity RTOS
Small, fast, easy-to-learn operating system for cost-sensitive and resource-constrained devices

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

Green Hills Probe V4
Multicore hardware bring-up, low-level debugging, and trace-powered analysis toosl

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.