Founded in 1982, Green Hills Software, Inc. is the technology leader in device software optimization (DSO) and real-time operating systems (RTOS) for 32- and 64-bit embedded systems. In 2008, the Green Hills INTEGRITY-178B RTOS was the first and only operating system to be certified by the NSA to EAL6+ High Robustness, the highest level of security ever achieved. The INTEGRITY and velOSity? real-time operating systems, -velOSity? microkernel, compilers, IPv6-ready TCP/IP networking stacks, GateD Layer 2 switching and Layer 3 routing, MULTI and AdaMULTI? integrated development environments, DoubleCheck? integrated static analyzer and TimeMachine? tool suite offer a complete development solution that addresses both deeply embedded and high-reliability applications. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom.