Newsgroups: comp.lang.c
Path: utzoo!henry
From: henry@utzoo.uucp (Henry Spencer)
Subject: Re: life critical software
Message-ID: <1989Feb8.004118.5632@utzoo.uucp>
Organization: U of Toronto Zoology
References: <286@proton.UUCP> <2184@scolex.sco.COM> <1857@dataio.Data-IO.COM>
Date: Wed, 8 Feb 89 00:41:18 GMT

In article <1857@dataio.Data-IO.COM> bright@dataio.Data-IO.COM (Walter Bright) writes:
>A typical approach for software would be to have two parallel systems.
>Each system used a different microprocessor, a different algorithm,
>a different language, and different programmers. The two systems
>had to always agree...

One should remember, also, that independent development is not a guarantee
of different algorithms.  There is a strong tendency for programmers to
produce similar solutions to similar problems.  Keeping multiply-redundant
systems truly independent requires systematic attention to be sure that
the problem is indeed being tackled in different ways.
-- 
Allegedly heard aboard Mir: "A |     Henry Spencer at U of Toronto Zoology
toast to comrade Van Allen!!"  | uunet!attcan!utzoo!henry henry@zoo.toronto.edu