Re: Need help with PowerPC/Ada and realtime tasking

[eachus@spectre.mitre.org (Robert I. Eachus)]

In article <355912560wnr@diphi.demon.co.uk> JP Thornley <jpt@diphi.demon.co.uk> writes:

  > My view is that code can never be judged as safe or unsafe - only
  > correct or incorrect.  However my usage of the words "safe" - and
  > "safety-critical" carries a lot of additional baggage, and it is
  > possible that we are differing over the meaning of these words
  > rather than anything fundamental...

  > So safety is measured by (usually) small but definitely non-zero 
  > numbers; software is either correct or not, with no numeric scale.

   You must work with a different type of software than I do.  With a
restricted input set, such analysis can be right.

   But I (and a lot of other people) find that some system
requirements delegated to the software do have percentages or failure
tolerances attached.  For example, in a target rich environment, what
is the probability that two detections of a target from a pulse
doppler radar will not be correlated?  There are failure rates for the
sensors, some tied to the geometry of the radar or the signatures of
the target, and some failures due to the algorithms (and software)
used. 

   This is not just a military issue.  Many years ago, there were
several planes that crashed using radar altimeters.  It turned out
that under certain circumstances the bottom return off of a lake was
read instead of the surface reflection.  (Usually at night, when a
thin skin of ice resulted in very smooth surfaces which was read at
the wrong angle for specular reflections.)  Oops!  Pilots would adjust
their barometric barometers to match, then crash on final approach.
Once the problem was known, it was possible to "smarten up" the radar.

   Similarly, in a C3I system, what is the probability that incorrect
inputs will be detected?  The original error may be an operator error,
but the error detection software gets tagged with the error budget for
undetected errors.

    Last but not least, there is the ugly ghost of Godel.  Systems
below a certain level of complexity can be 100% right or 100% wrong.
Above that line, software systems look a lot more like hardware.

--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...