From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_05,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!corton!loria!khalfall From: khalfall@loria.crin.fr (Adel Khalfallah) Newsgroups: comp.lang.ada Subject: Re: vs Ada - Don't forget the prime directive! Message-ID: Date: 23 Jun 91 09:43:43 GMT References: <9106151802.AA16989@zach.fit.edu> <311@trwacs.UUCP> <1991Jun18.040142.2616@netcom.COM> <313@trwacs.UUCP> <1991Jun19.182601.8337@netcom.COM> Sender: news@loria.crin.fr Organization: CRIN, Nancy, France In-reply-to: jls@netcom.COM's message of 19 Jun 91 18:26:01 GMT List-Id: 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 | | | -------------------------------------------------------------------------------