Green Hills Software Kernel and Development Environment Selected for New Hawk Military Trainer Aircraft
Market Wire, February, 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(TM) microkernel, compilers, MULTI® and AdaMULTI(TM) integrated development environments and TimeMachine(TM) 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.
Green Hills Software, the Green Hills logo, MULTI, INTEGRITY, velOSity, AdaMULTI, TimeMachine, and Padded Cell are trademarks or registered trademarks of Green Hills Software, Inc. in the U.S. and/or internationally. All other trademarks are the property of their respective owners.
Contact: Green Hills Software, Inc. Barbel French 805-965-6044 Email Contact
Most Recent Business Articles
- Multiple criteria evaluation and optimization of transportation systems
- Multi-criteria analysis procedure for sustainable mobility evaluation in urban areas
- A two-leveled multi-objective symbiotic evolutionary algorithm for the hub and spoke location problem
- Multi-criteria analysis for evaluating the impacts of intelligent speed adaptation
- The development of Taiwan arterial traffic-adaptive signal control system and its field test: a Taiwan experience
Most Recent Business Publications
Most Popular Business Articles
- 7 tips for effective listening: productive listening does not occur naturally. It requires hard work and practice - Back To Basics - effective listening is a crucial skill for internal auditors
- FAS 109: a primer for non-accountants - Financial Accounting Standards Board's "Statement 109: Accounting for Income Taxes"
- Design a commission plan that drives sales - Sales Commissions
- Too Young to Rent a Car? - 25-years-old the minimum age for car renting - Brief Article
- LIFO vs. FIFO: a return to the basics



