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,11e38e162c16b469
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.236.116.74 with SMTP id f50mr11691153yhh.33.1344998912882;
        Tue, 14 Aug 2012 19:48:32 -0700 (PDT)
Path: 
 c6ni115581197qas.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nrc-news.nrc.ca!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: A new name for software failure : the glitch
Date: Sun, 12 Aug 2012 01:19:16 +0200
Organization: Ada @ Home
Message-ID: <op.wiwgeel7ule2fv@douda-yannick>
References: <2bd4ae1c-c8c7-4553-9f7f-9b6915b30c33@googlegroups.com>
 <k02vjh$sd6$1@speranza.aioe.org>
 <502512c7$0$6566$9b4e6d93@newsspool4.arcor-online.net>
NNTP-Posting-Host: SrhTjKmyRuK8xWFNU4aKmg.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.01 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-08-12T01:19:16+02:00
List-Id: <comp.lang.ada>

Le Fri, 10 Aug 2012 15:56:11 +0200, Georg Bauhaus  =

<rm.dash-bauhaus@futureapps.de> a =C3=A9crit:

> On 10.08.12 14:42, Nasser M. Abbasi wrote:
>> On 8/4/2012 1:18 PM, francois_fabien@hotmail.com wrote:
>>> In finance, software failure can be very expensive very fast.
>>> http://dealbook.nytimes.com/2012/08/02/knight-capital-says-trading-m=
ishap-cost-it-440-million/
>>>
>>>
>>
>> fyi;
>>
>> AdaCore issued statement on this error:
>>
>> August 07, 2012
>>
>> http://eon.businesswire.com/news/eon/20120807006365/en/AdaCore/Knight=
-Capital-Group/high-frequency-trading
>>
>>
>> some quotes
>>
>> "It's clear that Knight's software was deployed without adequate  =

>> verification."
>>
>> "What is needed is a change in the way that such critical software
>> is developed and deployed."
>>
>> "the aviation industry has demonstrated that safe, reliable real-time=

>> software is possible, practical, and necessary"
>>
>> May be this is a good chance for Ada to get into financial software, =
 =

>> which
>> is now dominated by weakly typed and much less robust languages.
>
> Tricky. Neither Java nor OCaml can be called weakly typed
> or not robust. APL implementations do not count as not robust
> either, AFAIK. And, as the article mentions, it is not even clear
> yet whether *any* formal verification software could have
> prevented the effect;

So the reason resides in specifications?

> from what I know, it is more likely an algorithmic error that might ha=
ve
> to do with "<=3D" and ">"

You told either too much or not enough :-D

-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity