TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
X-To: Peter Hermann <[log in to unmask]>
Date: Fri, 20 May 2005 16:26:39 +0100
Reply-To: Rod Chapman <[log in to unmask]>
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="iso-8859-1"
From: Rod Chapman <[log in to unmask]>
Parts/Attachments: text/plain (21 lines)
> can someone point me to "fly by wire" projects in Ada
> or to a survey on real projects?

1) EuroFighter Typhoon - almost all critical flight systems are SPARK Ada

2) BAE Systems HEAT (Helicopter Electronic Actuation Technology) - also SPARK Ada

3) AerMacchi M346 primary flight controls - yup - you guessed it - SPARK Ada
- Rod Chapman, Praxis




**********************************************************************

This email is confidential and intended solely for the use of the individual to whom it is addressed.  If you are not the intended recipient, be advised that you have received this email in error and that any use, disclosure, copying or distribution or any action taken or omitted to be taken in reliance on it is strictly prohibited.  If you have received this email in error please contact the sender.  Any views or opinions presented in this email are solely those of the author and do not necessarily represent those of Praxis High Integrity Systems Ltd (Praxis HIS). 

 Although this email and any attachments are believed to be free of any virus or other defect, no responsibility is accepted by Praxis HIS or any of its associated companies for any loss or damage arising in any way from the receipt or use thereof.  The IT Department at Praxis HIS can be contacted at [log in to unmask]

**********************************************************************

ATOM RSS1 RSS2