From: Simon Wright <simon@pogner.demon.co.uk>
Subject: Re: Help Me Please :)
Date: 2000/03/29
Date: 2000-03-29T00:00:00+00:00 [thread overview]
Message-ID: <x7v4s9p4mh3.fsf@pogner.demon.co.uk> (raw)
In-Reply-To: 8brgcd$5kp$1@nnrp1.deja.com
Robert Dewar <robert_dewar@my-deja.com> writes:
> In that case it is way way off base. Any safety critical
> software is validated and verified at the object level. You
> never depend on the correctness of the compiler, or the
> correctness of understanding of the high level language
> semantics.
That may well be true of SIL4 software, but I believe not normally so
for SIL(n<4). In any case it all depends on the safety case and the
independent safety authority ..
next prev parent reply other threads:[~2000-03-29 0:00 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-29 0:00 Help Me Please :) Will Mann
2000-03-01 0:00 ` Robert Dewar
2000-03-03 0:00 ` Florian Weimer
2000-03-03 0:00 ` tmoran
2000-03-04 0:00 ` Richard D Riehle
2000-03-05 0:00 ` Steve Arnold
2000-03-17 0:00 ` Robert A Duff
2000-03-18 0:00 ` Richard D Riehle
2000-03-18 0:00 ` James S. Rogers
2000-03-19 0:00 ` Robert A Duff
2000-03-20 0:00 ` Brian Rogoff
2000-03-20 0:00 ` Tucker Taft
2000-03-20 0:00 ` Florian Weimer
2000-03-22 0:00 ` Mats Weber
2000-03-27 0:00 ` Robert A Duff
2000-03-27 0:00 ` Hyman Rosen
2000-03-28 0:00 ` Robert Dewar
2000-03-30 0:00 ` Mats Weber
2000-04-06 0:00 ` Exceptions (was: " Wes Groleau
2000-04-07 0:00 ` Mats Weber
2000-03-28 0:00 ` reason67
2000-03-28 0:00 ` Robert Dewar
2000-03-29 0:00 ` Simon Wright [this message]
2000-03-29 0:00 ` reason67
2000-04-06 0:00 ` Simon Pilgrim
2000-04-07 0:00 ` Robert Dewar
2000-04-10 0:00 ` r_c_chapman
2000-03-29 0:00 ` Richard D Riehle
2000-03-29 0:00 ` Robert Dewar
2000-03-31 0:00 ` Richard D Riehle
2000-03-31 0:00 ` Jean-Pierre Rosen
2000-03-31 0:00 ` Pascal Obry
2000-03-30 0:00 ` Mats Weber
2000-03-31 0:00 ` Richard D Riehle
2000-04-06 0:00 ` Wes Groleau
2000-03-30 0:00 ` Tucker Taft
2000-03-30 0:00 ` Mats Weber
[not found] ` <2000Mar3.183321.69279@ludens>
2000-03-03 0:00 ` Larry Kilgallen
2000-03-04 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
2000-02-29 0:00 Will Mann
2000-02-29 0:00 ` Stanley R. Allen
2000-02-29 0:00 ` Al Johnston
2000-03-01 0:00 ` Robert Dewar
2000-03-01 0:00 ` tmoran
2000-03-01 0:00 ` Al Johnston
2000-03-02 0:00 ` Aidan Skinner
2000-03-01 0:00 ` Robert Dewar
2000-03-01 0:00 ` Al Johnston
2000-03-01 0:00 ` Stanley R. Allen
2000-03-01 0:00 ` tmoran
2000-03-01 0:00 ` James Bean
[not found] <df481109.0106140310.5d923746@posting.google.com>
[not found] ` <9gb1uu$87u7o$1@ID-52877.news.dfncis.de>
2001-06-19 2:59 ` help me please! Ken Garlington
2001-06-16 10:20 ` C.D.Damron
2001-06-20 6:06 ` John Keeney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox