$500 млн за строчку кода или стоимость ошибок ПО в космосе

edx.org « : (Introduction to Aerospace Engineering: Astronautics and Human Spaceflight)». , MIT — . , , .

, , , . . . - .

Mars Polar Lander

Mars Polar Lander (MPL) 290 , NASA 3 1999 . . 3 1999 . .


MPL NASA

MPL 1.06 3.6 . , - . , .

MPL 100 ~7 /. 3 8.8 0.5 /, , (heat shield). 85 /, , .

MPL

1 1.3 , 80 /, (backshell) . , , 1 , 12 . , . 5 , . , , .

3 (cruise stage) . 20:04:00 UTC, 6 , , . MPL 6.9 / 20:10:00 UTC. 20:39:00 UTC . , .

, , — , . 40 , , , . .

:
« , , . , , , ( ) ( ). , . , , , , . , .

, , , . 40 , .

40 13 / (47 /), , 22 / (80 /) , 2.4 / (9 /). ».

, , IndicatorState FALSE , NASA 328 .

Ariane 5

4 1996 . - Ariane 5, (ESA). — 39- - .


Ariane 5

Ariane 5 — - Ariane. . Ariane 5 10 , 7 - Ariane 4.

1996 . - 720 1.2 . , , , Cluster ( 2000 . Cluster-II «»).

, (Inertial Reference System — SRI) Ariane 5 Ariane 4, , .

H0. H0 — 7 , « ». .
H0 = 12:33:59 UTC , H0 + 37 . , .


Ariane 5

: H0 + 39 . - « » , .

, , SRI 2. : , , , SRI 2. SRI 2 , , «» (exception), . SRI 1, ( 72 .) , SRI 2.

, «» SRI, 64- 16- , «Operand Error». , «» . — , . , , . , , 50 . « ». Ariane 4, Ariane 5.

«Operand Error» - BH (Horizontal Bias). BH , , Ariane 5 Ariane 4. , , SPI — , . . . , , .


Ariane 5 , 2002 .

Ariane 5 ( ), , , ESA 500 . ( ).

, Ariane 5 , . . SRI 1 SRI 2, , , . : , ( , ). , , , , .

Space Shuttle

12 1981 . «» Space Shuttle.


STS-1 —

10 1981 ., 20 , , - , . 16 .


, BFS (Backup Flight Control System) PASS (Primary Avionics Software System), . — , , PASS.

: , , , , , , . , « — , — » «FO/FS» (Fail – Operational, Fail – Safe) 4 : ( 4 ), ( , ).

: FO/FS , , . , 4 , . 5 , , . ( , , ), , , . , .

BFS , , , . (Rockwell International BFS IBM, Federal Systems Division PASS) . PASS (asynchronous and priority driven – , ). BFS , , « », .

, . BFS PASS, PASS . . PASS, . .

, 10 , , PASS : PASS BFS. «» , BFS, , «» PASS, PASS. BFS «».

, , NASA . : - — .



— , «» «» .

, , , , NASA , . , 8 .

(timer queue) , — (start time) , , (current time) ( , ). . — , . . . , .

, . , , . (delay) . : , . , , . ( ) , , - . , 1/67 , , , - , , . ( , «», 12 , «»), , .

, , , , . , , PASS, BFS . , , , … , , . NASA 4 .

, , , 30 , .

( NASA). : « , . , , , , — , . : « ». — ! «» , , … ».




0 (, , , , , , ).

, : 10 12 , , -, , , 20 . , « ».