🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.modula2
Article #2633

Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)

#2633
From: Tucker Taft
Date: Wed, 18 Oct 1995 13:39
33 lines
2202 bytes
Viet-Trung Luu (vluu@lagrange.uwaterloo.ca) wrote:
: On 12 Oct 1995, Robert I. Eachus wrote:

: >    In point of fact the shuttle uses three computers, programmed
: > independently and constantly checks them against one another.  If two
: > of the three agree fine, if no pair agrees, ask the FOURTH computer,
: > and don't compare it to anything.

: Then why not add the fourth computer as an additional voter? Why should 
: it be any more trusted than the others?

There are (were?) five computers on the Shuttle.  At least during
critical phases of a mission, four of the computers run the
same program, and the fifth is used to compare the outputs of the
other four.  If it finds a problem, it can shut down one of the main
computers, or shut them all down and take over, running a "backup" 
version of the software which was written by a different company 
(ours, it turns out -- IBM wrote the main computer software).  The backup
software is sufficient to get the shuttle safely back home.

I believe they chose to have 4 main computers so that if one
failed, they could disable it and then continue the mission while 
still having at least enough main computers so that there was still 
a notion of a well defined majority.  Having only 2 computers makes
any kind of voting meaningless ;-).

During non-critical phases of a mission, the responsibilities of
the computers are a little more flexible, I believe.

: - Trung

-Tucker Taft   stt@inmet.com
Intermetrics, Inc.
Technical Details
Message-ID: <DGnCM3.L03.0.-s@inmet.camb.inmet.com>
Path: arc1-ca.pugleaf.net!news.bu.edu!inmet!blackstone!stt
References: <Pine.SUN.3.91.951013210115.12001L-100000-100000@lagrange.uwaterloo.ca>

Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.modula2,comp.lang.modula3,comp.lang.c,comp.lang.c++,comp.lang.ada
Path: arc1-ca.pugleaf.net!news.bu.edu!inmet!blackstone!stt
From: stt@blackstone.camb.inmet.com (Tucker Taft)
Subject: Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++) 
X-Nntp-Posting-Host: blackstone.camb.inmet.com
Message-ID: <DGnCM3.L03.0.-s@inmet.camb.inmet.com>
Followup-To: comp.lang.modula2,comp.lang.modula3,comp.lang.c,comp.lang.c++,comp.lang.ada
Sender: news@inmet.camb.inmet.com (USENET news)
Organization: Intermetrics, Inc.
X-Newsreader: TIN [version 1.1 PL8]
References: <Pine.SUN.3.91.951013210115.12001L-100000-100000@lagrange.uwaterloo.ca>
Date: Wed, 18 Oct 1995 13:39:38 GMT