Intel Architecture Embedded Software Solutions

• 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

• 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

• Green Hills Probe
  High-performance real-time debugging

• 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)