Re: vs Ada - Don't forget the prime directive!

[khalfall@loria.crin.fr (Adel Khalfallah)]

To: jls@netcom.COM (Jim Showalter)
In-reply-to: jls@netcom.COM's message of 19 Jun 91 18:26:01 GMT
Subject: Re: vs Ada - Don't forget the prime directive!
--text follows this line--
The following is extracted from a paper published  at Ada-Europe
international conference Athens, Greece May 1991. it appeared in LNCS
499. The title of the paper is: "Ada in Safety Critical Applications." 
by A. Welz. It's the conclusion of a study as part of the development
of the Inertial Measurement Unit, a flight control subsystem of the
European Fighter Aircraft(EFA):

	The language Ada is no less safe than other languages. Because
	of its strong typing, the predefined exception mechanism and
	the standard tasking features, it has an even greater
	advantage compared to other languages. There are reasonable
	alternatives to restricting Ada to a 'Pascal subset' as
	required in the EFA Safe Ada Study. With some precise rules,
	Ada  fulfills all requirements of safety critical avionic
	applications. The adherence to these safety rules can be
	controlled with appropriate tools and methods.
 
--
-------------------------------------------------------------------------------
| Adel KHALFALLAH  |                       | Insert here your favourite motto |
| CRIN BP239       | e-mail:               |                                  |
| 54500 VANDOEUVRE | khalfall@loria.crin.fr|                                  |
| FRANCE           |                       |                                  |
-------------------------------------------------------------------------------