Product category:
Design and Development Software
News Release from: Green Hills Software
Edited by the Electronicstalk Editorial
Team on 16 February 2006
Ada compliant kernel to fly in new Hawk
trainer
BAE Systems has selected the Green Hills GMART Spark Ada compliant kernel and AdaMulti development environment for the new Hawk military trainer development aircraft.
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
This article was originally published on Electronicstalk on 21 Mar 2001 at 8.00am (UK)
Related stories
IDE and compiler optimised for latest PowerPC
The latest version of the Green Hills MULTI 2000 integrated development environment is aimed at Motorola's new MPC7450 PowerPC microprocessor.
Green Hills has the lot for Cirrus Crystal
The latest IDE, RTOS and embedded internet connectivity products from Green Hills Software are for the Cirrus Logic Crystal CS89712 32bit RISC commmunications processor.
The second unit allows the two cockpits of the aircraft to operate independently, each being used for different purposes to fulfil the required training need.
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.
Further reading
Easier real-time high-availability embedding
Green Hills Software has integrated its MULTI 2000 integrated development environment and fault-tolerant Integrity RTOS with Rational Software's visual development environment.
Development environment for embedded Linux
A new version of the MULTI 2000 IDE from Green Hills Software will help simplify the development of sophisticated applications for embedded target systems running the Linux operating system.
This system provides graphics for all six cockpit display panels and a head-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 programme", 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 onboard 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. Request free introductory details about products from Green Hills Software ...
• Green Hills Software: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
