From: snarflemike@yahoo.com (Mike Silva)
Subject: Re: "Tracking the Blackout bug"
Date: 9 Apr 2004 16:47:31 -0700
Date: 2004-04-09T16:47:31-07:00 [thread overview]
Message-ID: <20619edc.0404091547.3a856dd8@posting.google.com> (raw)
In-Reply-To: c56hpq$2onduq$1@ID-69815.news.uni-berlin.de
Peter Amey <peter.amey@praxis-cs.co.uk> wrote in message news:<c56hpq$2onduq$1@ID-69815.news.uni-berlin.de>...
> sk wrote:
> > Article at "The Register" about the electricity blackout
> > in the Northeast (USA) last year.
....
> The developers did NOT do everything they could. They could have used
> the Ravenscar profile in Ada; they could use RavenSPARK; they could have
> done some model checking of the concurrent parts of the program. They
> did NOT test exhaustively because it is impossible (/exhaustingly/ I am
> willing to believe). And software doesn't HAVE to be cr*p!
I hope that you can learn enough of the details about the bug to write
up something showing how current best practice (using current best
language? :-) would have prevented the problem.
next prev parent reply other threads:[~2004-04-09 23:47 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-04-09 5:59 "Tracking the Blackout bug" sk
2004-04-09 16:08 ` Peter Amey
2004-04-09 23:47 ` Mike Silva [this message]
2004-04-10 12:32 ` Mark Lorenzen
2004-04-14 14:20 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox