comp.lang.ada
 help / color / mirror / Atom feed
From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: A new name for software failure : the glitch
Date: Fri, 10 Aug 2012 07:42:23 -0500
Date: 2012-08-10T07:42:23-05:00	[thread overview]
Message-ID: <k02vjh$sd6$1@speranza.aioe.org> (raw)
In-Reply-To: 2bd4ae1c-c8c7-4553-9f7f-9b6915b30c33@googlegroups.com

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-mishap-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.

--Nasser



  parent reply	other threads:[~2012-08-15  2:48 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-08-04 18:18 A new name for software failure : the glitch francois_fabien
2012-08-04 19:58 ` Maciej Sobczak
2012-08-04 21:38   ` F. Fabien
2012-08-05  7:41   ` Dmitry A. Kazakov
2012-08-05 10:58     ` Georg Bauhaus
2012-08-05 12:45       ` Britt
2012-08-10 12:42 ` Nasser M. Abbasi [this message]
2012-08-10 13:56   ` Georg Bauhaus
2012-08-10 14:16     ` Nasser M. Abbasi
2012-08-10 16:14       ` Georg Bauhaus
2012-08-11 23:19     ` Yannick Duchêne (Hibou57)
2012-08-11  0:30   ` Randy Brukardt
2012-08-11 19:22   ` Florian Weimer
2012-08-11 21:25     ` jpwoodruff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox