Intel Architecture Embedded Software Solutions
» Download Intel Architecture datasheet (PDF)
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

Supported Processors

»
»

»
»
»
»

Intel® Atom™
Intel Core™
Duo and Quad
Intel® Celeron® Intel® EP80579
Intel® Pentium® Intel® Xeon®

Software development tools
MULTI & AdaMULTI development environments
Quickly develop, debug, test, and optimize embedded and real-time applications
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
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

» Download Intel Architecture datasheet (PDF)