From: andy.ashworth@gecm.com (Andy Ashworth)
Subject: Re: Ada and Automotive Industry
Date: 1996/12/03
Date: 1996-12-03T00:00:00+00:00 [thread overview]
Message-ID: <32a442b1.2110383@news.geccs.gecm.com> (raw)
In-Reply-To: uL5x4AAhDzoyEwka@phaedsys.demon.co.uk
FWIW my two-penn'orth on the issue of safety and languages. Safety is
a property of a system, i.e. the combination of software, hardware,
hydraulics, and other bits you can kick. I agree with Chris that the
safety of a language is a moot point if the tool support is buggy -
while the code source file may be inherently "safer" (i.e. perception
of correctness is higher) for Ada or Modula 2 than for C or C++, when
compiled with buggy tools the safety of the overall system is
degraded.
Having spent a number of years assessing real industrial safety
critical systems, I have come to the conclusion that the language used
is not an issue; rather, it is how it is used that can significantly
affect the ultimate safety levels. How the language is used is one
function of management and IMHO it is weak management that is the
greatest threat to public safety where software is concerned and not
the use of a language with weak semantics. I believe that ADA, Modula
2 and other so called safe languages can produce and unsafe result
just as the unsafe languages like C can be used to produce a safe
system.
#define rant=off
Andy Ashworth
Senior Software Safety Engineer
Opinions are mine and not GEC's - they don't pay me enough to make
policy!
next prev parent reply other threads:[~1996-12-03 0:00 UTC|newest]
Thread overview: 163+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-11-01 0:00 Ada and Automotive Industry ETHoierman
1996-11-05 0:00 ` Stanley R. Allen
1996-11-06 0:00 ` Stanley R. Allen
1996-11-06 0:00 ` James Thiele
1996-11-06 0:00 ` Stanley R. Allen
1996-11-07 0:00 ` Dale Stanbrough
1996-11-11 0:00 ` Ken Tindell
1996-11-11 0:00 ` Matthew Heaney
1996-11-11 0:00 ` Philip Brashear
1996-11-11 0:00 ` Robert Dewar
1996-11-07 0:00 ` Frank Manning
1996-11-11 0:00 ` Norman H. Cohen
1996-11-11 0:00 ` Frank Manning
1996-11-13 0:00 ` Ken Tindell
1996-11-13 0:00 ` Richard Riehle
1996-11-14 0:00 ` Jack Patteeuw
1996-11-16 0:00 ` David Taylor
1996-11-20 0:00 ` Richard Riehle
1996-11-21 0:00 ` Dave Wood
1996-11-21 0:00 ` Art Schwarz
1996-11-22 0:00 ` Robert B. Love
1996-11-22 0:00 ` Ken Tindell
1996-11-24 0:00 ` "Paul E. Bennett"
1996-11-18 0:00 ` David Taylor
1996-11-17 0:00 ` Robert Dewar
1996-11-18 0:00 ` Ken Tindell
1996-11-22 0:00 ` Richard Kenner
1996-11-23 0:00 ` James Thiele
1996-11-27 0:00 ` Richard Kenner
1996-11-22 0:00 ` Robert Dewar
1996-12-05 0:00 ` Michael Warner
1996-11-20 0:00 ` Richard Riehle
1996-11-23 0:00 ` Robert Dewar
1996-11-25 0:00 ` Ken Tindell
1996-11-25 0:00 ` Richard Riehle
1996-11-27 0:00 ` Robert Dewar
1996-11-27 0:00 ` Robert Dewar
1996-11-29 0:00 ` Richard Riehle
1996-12-02 0:00 ` Chris Hills
1996-12-04 0:00 ` Jon S Anthony
1996-11-27 0:00 ` Ken Garlington
1996-12-01 0:00 ` Richard Riehle
1996-11-24 0:00 ` Richard Kenner
1996-11-25 0:00 ` Ken Tindell
1996-11-26 0:00 ` John Dammeyer
1996-11-26 0:00 ` Ken Garlington
1996-11-25 0:00 ` Richard Riehle
[not found] ` <Pine.GSO.3.95.961120154239.3 <Pine.GSO.3.95.961201100430.21598A-100000@nunic.nu.edu>
1996-12-01 0:00 ` James Thiele
1996-11-27 0:00 ` Jon S Anthony
1996-12-03 0:00 ` Richard A. O'Keefe
1996-12-03 0:00 ` Ted Dennison
1996-12-11 0:00 ` Richard Riehle
1996-12-13 0:00 ` Ted Dennison
1996-11-14 0:00 ` Robert I. Eachus
1996-11-15 0:00 ` William P. Milam
1996-11-08 0:00 ` Ken Garlington
1996-11-08 0:00 ` Robert I. Eachus
1996-11-08 0:00 ` James Thiele
1996-11-08 0:00 ` nasser
1996-11-09 0:00 ` Robert Dewar
1996-11-22 0:00 ` Dirk Dickmanns
1996-11-10 0:00 ` Matthew Heaney
1996-11-11 0:00 ` Robert Dewar
1996-11-11 0:00 ` James Thiele
1996-11-12 0:00 ` Robert Dewar
1996-11-12 0:00 ` Richard A. O'Keefe
1996-11-12 0:00 ` Robert Dewar
1996-11-13 0:00 ` Richard A. O'Keefe
1996-11-14 0:00 ` William P. Milam
1996-11-19 0:00 ` Richard A. O'Keefe
1996-11-15 0:00 ` Robert Dewar
1996-11-16 0:00 ` Adam Beneschan
1996-11-22 0:00 ` Robert Dewar
1996-11-16 0:00 ` Geert Bosch
1996-11-21 0:00 ` Robert Dewar
1996-11-15 0:00 ` Robert Dewar
1996-11-11 0:00 ` Ken Tindell
1996-11-11 0:00 ` Robert Dewar
1996-11-11 0:00 ` Matthew Heaney
[not found] ` <847341612snz@transcontech.co.uk>
1996-11-10 0:00 ` Robert Dewar
1996-11-12 0:00 ` "Paul E. Bennett"
1996-11-15 0:00 ` Robert I. Eachus
1996-11-15 0:00 ` John Howard
1996-11-15 0:00 ` Robert Dewar
1996-11-18 0:00 ` Ken Tindell
1996-11-18 0:00 ` Robert Dewar
1996-11-19 0:00 ` Richard A. O'Keefe
1996-12-05 0:00 ` Michael Warner
1996-12-06 0:00 ` Robert Dewar
1996-11-15 0:00 ` William P. Milam
1996-11-21 0:00 ` James Weaver
1996-11-21 0:00 ` Robert I. Eachus
1996-11-22 0:00 ` Jon S Anthony
1996-11-22 0:00 ` Chris Hills
1996-11-23 0:00 ` Ralph Paul
1996-11-24 0:00 ` Otto Lind
1996-11-25 0:00 ` Richard Kenner
1996-11-28 0:00 ` Eyal Ben-Avraham
1996-11-29 0:00 ` Richard Kenner
1996-11-25 0:00 ` Robert I. Eachus
1996-11-26 0:00 ` Jon S Anthony
1996-11-26 0:00 ` Jon S Anthony
1996-11-27 0:00 ` Jon S Anthony
1996-11-27 0:00 ` Jon S Anthony
1996-12-01 0:00 ` Chris Hills
1996-12-01 0:00 ` Robert Dewar
1996-12-01 0:00 ` Robert Dewar
1996-12-02 0:00 ` Robert A Duff
1996-12-02 0:00 ` Chris Hills
1996-12-03 0:00 ` Andy Ashworth [this message]
1996-12-03 0:00 ` Ian Ward
1996-12-03 0:00 ` George Romanski
1996-12-05 0:00 ` Ken Tindell
1996-12-03 0:00 ` Ken Garlington
1996-12-03 0:00 ` Ted Dennison
1996-12-04 0:00 ` Jon S Anthony
1996-12-11 0:00 ` Robert I. Eachus
1996-12-13 0:00 ` Ted Dennison
1996-12-13 0:00 ` Robert Dewar
1996-12-14 0:00 ` Chris Hills
1996-12-19 0:00 ` Ian Ward
1996-12-17 0:00 ` Robert I. Eachus
1996-12-18 0:00 ` Robert Dewar
1996-12-19 0:00 ` Robert I. Eachus
-- strict thread matches above, loose matches on Subject: below --
1996-11-11 0:00 James Thiele
1996-11-12 0:00 James Thiele
1996-11-12 0:00 James Thiele
1996-11-13 0:00 ` Ken Garlington
1996-11-13 0:00 ` Frank Manning
1996-11-13 0:00 ` Robert Dewar
1996-11-15 0:00 ` Ken Garlington
1996-11-13 0:00 Marin David Condic, 561.796.8997, M/S 731-93
1996-11-13 0:00 ` Ken Garlington
1996-11-24 0:00 Ingemar Persson
1996-11-25 0:00 Ada and automotive industry W. Wesley Groleau (Wes)
1996-11-27 0:00 Ada and Automotive Industry W. Wesley Groleau (Wes)
[not found] <1996Nov30.130532.522@decus.org.nz>
1996-12-02 0:00 ` Ken Garlington
[not found] <1996Dec2.221233.523@decus.org.nz>
1996-12-02 0:00 ` Ken Garlington
1996-12-05 0:00 Franco Mazzanti
1996-12-06 0:00 ` Robert Dewar
1996-12-11 0:00 ` Robert I. Eachus
1996-12-13 0:00 ` Ted Dennison
1996-12-15 0:00 ` Robert Dewar
1996-12-17 0:00 ` Tucker Taft
1996-12-18 0:00 ` Robert A Duff
1996-12-18 0:00 ` Robert Dewar
1996-12-18 0:00 ` Robert A Duff
1996-12-18 0:00 ` Ken Garlington
1996-12-19 0:00 ` Robert A Duff
1996-12-20 0:00 ` Philip Brashear
1996-12-20 0:00 ` Robert Dewar
1996-12-22 0:00 ` Robert Dewar
1996-12-23 0:00 ` Ken Garlington
1996-12-18 0:00 ` Geert Bosch
1996-12-18 0:00 ` Keith Thompson
1996-12-18 0:00 ` Keith Thompson
1996-12-17 0:00 ` Robert I. Eachus
1996-12-10 0:00 Franco Mazzanti
[not found] <1996Dec11.220521.525@decus.org.nz>
1996-12-11 0:00 ` Ken Garlington
1996-12-11 0:00 Franco Mazzanti
1996-12-11 0:00 ` Robert Dewar
1996-12-13 0:00 ` Robert I. Eachus
1996-12-13 0:00 Franco Mazzanti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox