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

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.