Power Architecture Embedded Software Solutions
Real-time operating systems
- INTEGRITY
RTOS
For totally reliable and absolutely secure applications - INTEGRITY Multivisor
Securely run guest operating systems alongside native time-critical and secure applications - INTEGRITY-178B RTOS
Securely partitioned RTOS for applications containing multiple levels of safety criticality - µ-velOSity royalty-free
RTOS
Small, fast, easy-to-learn operating system for the most cost-sensitive and resource-constrained devices
Software development tools
- MULTI & 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 95
Processor probes
- SuperTrace™ Probe
The fastest trace, download, and debug - Green Hills Probe
High-performance real-time debugging
Platform solutions
- Aerospace & avionics
INTEGRITY-178B RTOS, the ARINC 653 partition scheduler, and documentation required for FAA DO-178B Level A certification - Automotive electronics
Debuggers, compilers (with built-in MISRA C checker), simulator, and profiling tools for powertrain, body, chassis, and infotainment subsystems - Industrial
safety
RTOS & integrated middleware for industrial systems requiring IEC/EN 61508 safety certification - Medical
devices
RTOS & integrated middleware including networking, file systems, USB, embedded databases, graphics and video - Mobile
devices
High-security microkernel combined with virtualization features to provide guaranteed security without compromising the user experience - Secure networking
Solutions to secure network devices at their core using integrated layer 3 routing, layer 2 switching, & 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 - Wireless
devices
RTOS and mainstream wireless chipset drivers with complete, mature supplicant agent for devices that require secure wireless connectivity


