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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,3ef3e78eacf6f938 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!not-for-mail From: Cesar Rabak Newsgroups: comp.lang.eiffel,comp.lang.ada Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3? Date: Wed, 22 Jul 2009 11:54:28 -0300 Organization: Aioe.org NNTP Server Message-ID: References: <4a65eff6$0$30235$9b4e6d93@newsspool1.arcor-online.net> NNTP-Posting-Host: xrijvtPb6x0VD3jpDlCJGA.user.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org X-Antivirus-Status: Clean X-Notice: Filtered by postfilter v. 0.7.9 X-Antivirus: avast! (VPS 090513-0, 13/05/2009), Outbound message Cancel-Lock: sha1:G9H7on5WIte+890MVpwmgaIr0Tk= User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) Xref: g2news2.google.com comp.lang.eiffel:392 comp.lang.ada:7275 Date: 2009-07-22T11:54:28-03:00 List-Id: Colin Paul Gloster escreveu: > On Tue, 21 Jul 2009, Cesar Rabak wrote: > > |------------------------------------------------------------------------------| > |"[..] | > | | > |Yes, but this is subject to another thread. But before you get too much hope, | > |remember an int overflow did blow an Arianne rocket..." | > |------------------------------------------------------------------------------| > > An Ariane 5 rocket which was running flawless software for an Ariane 4 > rocket which was misapplied to the Ariane 5 by a manager despite > objections from the software developers. Furthermore, Ada could have > had an exception handler there, but it has not yet proven to be > necessary for an Ariane 4. Yes, however the exception on Ariane 5 happened and it blew (or had to be blown): no technology saves us from mismanagement, but a wrong feel of safety helps managers to make bad calls... > > |------------------------------------------------------------------------------| > |"[..] | > | | > |As I mentioned in this thread, the error about measurement systems that costed| > |NASA a Mars mission was coded in type safe system's language, wasn't it? | > | | > |[..]" | > |------------------------------------------------------------------------------| > > I do not know. Some hints... Nor I either, and probably if we dig in the issue, some account similar to the Arianne will surface where managers would be behind the root cause. It has to be that way, right!? They're better paid, can afford to make more expensive mistakes :-D