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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ac9405996d0dcb7f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!proxad.net!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Marius Amado Alves Newsgroups: comp.lang.ada Subject: Re: Would You Fly an Airplane with a Linux-Based Control System? Date: Fri, 26 Nov 2004 13:54:46 +0000 Organization: Cuivre, Argent, Or Message-ID: References: <2004112218292016807%david@bottoncom> <20619edc.0411251028.3e249bf3@posting.google.com> <41A7014E.8090803@mailinator.com> <41a731d4$0$7824$ba620e4c@news.skynet.be> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1101477285 59425 212.85.156.195 (26 Nov 2004 13:54:45 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Fri, 26 Nov 2004 13:54:45 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: <41a731d4$0$7824$ba620e4c@news.skynet.be> X-OriginalArrivalTime: 26 Nov 2004 13:54:11.0536 (UTC) FILETIME=[684DCD00:01C4D3BF] X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:6511 Date: 2004-11-26T13:54:46+00:00 > 'look, the cool Ada language prevented the whole thing to get out of > control, whereas the bad C language would have continue to fly it > without notice' This is better. Now, can you prove this? That the ship could get out of control and crash on a city for example? If C had been used instead? Or if the exception had not been catched? (Probably not invoking the backup system.) (The other replies by Rosen at al. are irrelevant.)