| Real-time operating systems |
 |
INTEGRITY RTOS
For totally reliable and absolutely secure applications |
|
INTEGRITY Secure Virtualization
Securely run guest operating systems alongside native time-critical and secure applications |
|
velOSity RTOS
Small footprint with full range of middleware and board support packages |
|
µ-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++, Ada 95 and Fortran
|
|
| Processor probes |
|
| 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
|
|
|
| Supported Cores |
»
»
»
»
»
»
»
»
»
»
»
»
|
ARM7™
ARM9™
ARM9E™
ARM11™
ARM11T2
StrongARM®
XScale™
Cortex-M3™
Cortex-R4™
Cortex-A8™
Cortex-A9™
MPCore™ |
| Supported Processors |
»
»
»
»
»
»
»
»
»
»
|
Texas Instruments
- OMAP
- DaVinci
- Stellaris
Freescale
- i.MX family
- Kinetis
Marvell
- Sheeva
- PXA
NXP
Atmel
Broadcom
Fujitsu
Samsung
Sharp
Cirrus Logic |
|
RSS