From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: Re: Software Safety (was: Need help with PowerPC/Ada and realtime tasking)
Date: 1996/06/02
Date: 1996-06-02T00:00:00+00:00 [thread overview]
Message-ID: <522612441wnr@diphi.demon.co.uk> (raw)
In-Reply-To: dewar.833504787@schonberg
Robert Dewar writes:
>
> Bob Duff said:
>
> "> I suppose it depends on your definition of "correct". The
> > proof-of-correctness folks define "correct" to mean "correctly obeys the
> > formal specification". To me, that's a bogus definition. ..."
> What's the point of degrading this useful technical term this way. ...
So if there are two concepts, let's have two names.
I would support the formal usage for 'correct' and suggest 'high
integrity' as the ideal name for Bob Duff's needs.
This new (to this thread ;-) term can readily encompass the (striving
for) correctness that I want, the 'safe' features that Bob Duff, Ken
Garlington and Robert Eachus want and the predictability that is
required in terms of the absence of run-time errors/timing errors/
stack overflow etc.
Unfortunately (for me at least) I am going to be away from the net for
the next three weeks, so I'm going to either miss any other posts or
be very late seeing them (depending on how far back my news supply
goes) so I'll be grateful for any CC's that let me see what happens.
[However I will be at Ada-Europe and would welcome the chance to
continue the discussions there if at all possible.]
Phil Thornley
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
------------------------------------------------------------------------
next prev parent reply other threads:[~1996-06-02 0:00 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-05-17 0:00 Need help with PowerPC/Ada and realtime tasking Dave Struble
1996-05-18 0:00 ` JP Thornley
1996-05-20 0:00 ` Robert I. Eachus
1996-05-21 0:00 ` Michael Levasseur
1996-05-21 0:00 ` Richard Riehle
1996-05-25 0:00 ` JP Thornley
1996-05-27 0:00 ` Darren C Davenport
1996-05-30 0:00 ` Ralph E. Crafts
1996-05-31 0:00 ` JP Thornley
1996-06-03 0:00 ` Ken Garlington
1996-05-28 0:00 ` Tasking in safety-critical software (!) (was Re: Need help with PowerPC/Ada and realtime tasking) Kevin F. Quinn
1996-05-25 0:00 ` Need help with PowerPC/Ada and realtime tasking JP Thornley
1996-05-27 0:00 ` Robert Dewar
1996-05-28 0:00 ` JP Thornley
1996-05-29 0:00 ` Ken Garlington
1996-05-29 0:00 ` Robert A Duff
1996-05-30 0:00 ` JP Thornley
1996-05-31 0:00 ` Ken Garlington
1996-06-02 0:00 ` JP Thornley
1996-06-03 0:00 ` Ken Garlington
1996-05-30 0:00 ` Software Safety (was: Need help with PowerPC/Ada and realtime tasking) Ken Garlington
1996-05-30 0:00 ` Robert Dewar
1996-06-02 0:00 ` JP Thornley [this message]
1996-06-03 0:00 ` Robert A Duff
1996-06-05 0:00 ` Norman H. Cohen
1996-06-07 0:00 ` Ken Garlington
1996-06-12 0:00 ` Norman H. Cohen
1996-06-12 0:00 ` Ken Garlington
1996-06-08 0:00 ` Robert Dewar
1996-06-08 0:00 ` Robert A Duff
1996-05-31 0:00 ` Robert A Duff
1996-06-03 0:00 ` Ken Garlington
1996-05-28 0:00 ` Need help with PowerPC/Ada and realtime tasking Robert I. Eachus
1996-05-30 0:00 ` JP Thornley
1996-05-28 0:00 ` Robert I. Eachus
1996-05-30 0:00 ` JP Thornley
1996-06-03 0:00 ` Ken Garlington
1996-05-31 0:00 ` Robert I. Eachus
1996-06-03 0:00 ` Ralph Paul
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox