Santa Barbara, CA/Nurnberg, Germany February 14 , 2006—Green Hills Software, Inc., the technology leader in operating systems and development tools for safe and secure systems, today announced that BAE Systems has selected the Green Hills GMART SPARK Ada-compliant kernel and AdaMULTI development environment for the new Hawk military trainer development aircraft.
The GMART kernel for PowerPC is being used for the next-generation Hawk Mission Systems for the aircraft consisting of two new open architecture mission computers. The second unit allows the two cockpits of the aircraft to operate independently, each being used for different purposes to fulfill the required training needs. Instructors in the rear seat can monitor the trainees in the front or configure the system for their own requirements. The second computer also provides extensive back-up capability in the event of any failure. This system provides graphics for all six cockpit display panels and a heads-up display.
"Green Hills Software is very pleased that BAE Systems selected our GMART safety critical kernel and our AdaMULTI development environment for the new Hawk program,” said Dan O’Dowd, founder and chief executive officer of Green Hills Software. “Green Hills Software offers several different kernels within our safety critical product line. These were specifically developed to meet individual program needs. The GMART kernel is a SPARK-compliant, small and deterministic kernel that is statically verifiable to be correct.”
Green Hills Software offers a complete line of safety critical products. This includes the Green Hills Minimal Ada Run-Time (GMART) product used here by BAE Systems, the Green Hills Small Tasking Ada Run-Time (GSTART) product, the INTEGRITY-178B real-time operating system (RTOS) and all the support tools necessary for safety critical development. GMART and GSTART are both small, fast and deterministic kernels for executing single applications on an embedded computer. INTEGRITY-178B is a time and memory partitioned operating system, certified to DO-178B Level A and to full ARINC 653-1 compliance. Support for ARINC 653-1 with its partitioning definition allows developers to deploy multiple applications on a single processor, at potentially multiple safety certification levels. This powerful capability enables developers to reduce the number of on-board computers needed to support multiple software systems. Further, INTEGRITY-178B is the only safety critical RTOS to be certified for multiple languages, including: Ada, C, MISRA C and Embedded C++, allowing developers to choose the language and kernel best suited to meet their development needs.
About Green Hills Software
Founded in 1982, Green Hills Software, Inc. is the technology leader for real-time operating systems and device software optimization for 32- and 64-bit embedded systems. Our royalty-free INTEGRITY® RTOS, velOSity™ microkernel, compilers, MULTI® and AdaMULTI™ integrated development environments and TimeMachine™ debugger 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. Visit Green Hills Software on the web at www.ghs.com.