HOLD V Ada

Home Products Sales Support Contacting Us Library Search

GCC-1750 Update
GCC-ERC32 Update
Coriolis
ERC32 Ada
HOLD V Ada
ERC32 Ada
HOLD III Ada
DS1
HOLD V Ada
GCC-1750
GCC-ERC32

 

Product Release: HOLD V Ada Version 1.0

Tornado GR1 : Crown Copyright
March 23, 1999 -- HOLD V Ada Version 1.0 was shipped to Lucas Aerospace, part of TRW Inc. (NYSE: TRW), today. This first version includes the safety-critical Ada compiler, run-time system, libraries, with on-line and printed user documentation.

HOLD (High Order Language Demonstrators) are a series of projects that explore the use of Ada programming technology within the development processes of Lucas Aerospace's, digital engine controls business. This activity is centred at the electronics centre of excellence at York Road, Birmingham, England.

The development of safety critical software for such control systems is the focus of the software engineering department. HOLD project objectives are to develop software tools and methods that support the certification or qualification of Ada based software at the highest criticality levels. This means RTCA/D0-178B and DEF STD 0055/56.

For the majority of the systems/software work undertaken by Lucas Aerospace, the Lucas proprietary LAPSE technology is used. This technology is considered state of the art and easily allows projects to achieve level 'A' certification ratings.

HOLD projects seek to develop the Ada tools necessary to achieve the same certification ratings for Ada 95 built software. All HOLD projects have been part funded by the UK Ministry of Defence Procurement Executive MOD(PE) and act on their behalf as stimuli to the RAPIDE Future systems programme operated by MoD.

HOLD III and V deal specifically with Ada compilation issues surrounding the implementation of Ada 95 on safety critical engine controllers. HOLD III uses customised XGC Ada 95 (A safety critical subset) for implementation of a control system for an RB199 aero engine based on the MC68020 processor. HOLD V builds on this technology and has delivered an Ada 95 compilation system (again a safety critical subset) targeted at Lucas Aerospace's new proprietary Microprocessor, the LAe2000.

HOLD V feature list:

bulletLAe2000 Target, Ada 95 compilation system
bulletSafety critical Ada subset
bulletHosted on Solaris or Linux machines
bulletEmploys a RISC based instruction architecture
bulletXGC derived compilation engine (based on GNAT)
bulletAda test suite validation possible
bulletInterfaces to Lucas APSE (Ada Program Support Environment)

HOLD V is currently a "live" project and is under test and development.

For More Information Contact:

Jon Speer
Lucas Aerospace
York Road, Hall Green, Birmingham B28 8LN, United Kingdom

Email: js2@liyorkrd.li.co.uk

 
Updated May 11, 2005
Copyright XGC Software