Green Hills Software, Inc.
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 for any software product. Only an EAL6+ High Robustness operating system is certified to protect high value resources at risk of attack from hostile and well-funded attackers.
Our INTEGRITY and µ-velOSity real-time operating systems, 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.
The Green Hills Optimizing Compiler
for 68K/CPU32 uses a common code generator with architecture-specific
optimizations. Each supported processor model has its own particular
pipeline and instruction set characteristics.
Green Hills Software provides complete solutions for the development of embedded and real-time applications built on ARM processors.
INTEGRITY-178B has been engineered from the ground up to provide security and determinism.
Green Hills Software’s MULTI integrated development environment (IDE) includes the industry’s most powerful and proven tools for developing embedded software with maximum reliability, maximum performance, and minimum code size. With the MULTI IDE’s sophisticated capabilities, you can develop, debug, and optimize code more quickly, significantly reducing both development cost and time.
The RAD750 is a radiation-hardened single board computer, based on IBM's PowerPC 750. The successor of the RAD6000,
the RAD750 is manufactured by BAE Systems. It is intended for use in
high radiation environments such as experienced on-board satellites and
For systems using a microprocessor with no built-in trace port, Green Hills Software’s TraceEdge trace collection solution makes it possible to tap in to the advantages of the MULTI TimeMachine
Suite without switching microprocessors.
Imagine running backward to the origin of a difficult bug. TimeMachine enables you to debug both forward and backward in time, making it easier to solve even the hardest bugs.
The Green Hills Optimizing Compiler for x86/Pentium utilizes a common
code generator with architecture-specific optimizations. Each supported
x86/Pentium model has its own particular pipeline and instruction set