Article View: comp.lang.modula2
Article #2633Re: Report on defect in M2 vs C (Was Modula-2, Modula-3, C or C++)
From: Tucker Taft
Date: Wed, 18 Oct 1995 13:39
Date: Wed, 18 Oct 1995 13:39
33 lines
2202 bytes
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!sttReferences:
<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