Download pdf - Software errors in space

Transcript
Page 1: Software errors in space
Page 2: Software errors in space
Page 3: Software errors in space
Page 4: Software errors in space

Nedelin 1960

Page 5: Software errors in space

R-16 ICBM

Page 6: Software errors in space

R-16 ICBMDIABLOV JED (HYPERGOLICKÝ ASYMETRICKÝ DIMETHYLHYDRAZIN A OKYSLIČOVADLO AK27I)

PO NATANKOVANÍ DO RAKETY NEJDE VYPUSTIŤ

AK27I84% HNO3

13% N2O4

1–2% H2O }EXTRÉMNE KOROZÍVNEEXTRÉMNE JEDOVATÉEXTRÉMNE ÚČINNÉ

UDMHC2H8N2

Page 7: Software errors in space
Page 8: Software errors in space
Page 9: Software errors in space

80-150 mŕtvych

Page 10: Software errors in space

safety blocks were disabled because of

testing

všetky bezpečnostné poistky vypnuté

Page 11: Software errors in space

zle navrhnutá elektronika

Page 12: Software errors in space

zlá pyrotechnika

Page 13: Software errors in space

jeden spínač

Page 14: Software errors in space
Page 15: Software errors in space
Page 16: Software errors in space
Page 17: Software errors in space
Page 18: Software errors in space

Mariner 1

Atlas LV-3

Agena-B

Mariner

Page 19: Software errors in space

¯̇Rn ;VS

Page 20: Software errors in space

Cena preklepu = $18.5 mil.

(cca $200 mil. v 2013)

"The most expensive hyphen in history"

Page 21: Software errors in space

Pri ICBM vždy veľa chýb

Page 22: Software errors in space

intermezzo

Page 23: Software errors in space

NOAA N-Prime

Page 24: Software errors in space

cena opravy$135 000 000

Page 25: Software errors in space

Phobos 1 & Phobos 2

Page 26: Software errors in space
Page 27: Software errors in space
Page 28: Software errors in space

spolupráca14 krajín

Page 29: Software errors in space

Phobos-1 prestala odpovedať

Page 30: Software errors in space

Chyba bola nájdená v poslanom programe, ktorý deaktivoval trysky na

ovládanie orientácie...

Page 31: Software errors in space

...chyba spôsobená jedným chybným znakom v poslanej riadiacej sekvencii

spôsobila stratu celej sondy

Page 32: Software errors in space
Page 33: Software errors in space
Page 34: Software errors in space
Page 35: Software errors in space
Page 36: Software errors in space
Page 37: Software errors in space
Page 38: Software errors in space
Page 39: Software errors in space
Page 40: Software errors in space

Mars 4 & 7

Page 41: Software errors in space
Page 42: Software errors in space
Page 43: Software errors in space
Page 44: Software errors in space
Page 45: Software errors in space

Ariane 5$500 million

Page 46: Software errors in space

Ariane 5$500 million

converting 64-bit float to 16-bit integer

Page 47: Software errors in space

priceless

Ariane 5$500 million

converting 64-bit float to 16-bit integer

Page 48: Software errors in space
Page 49: Software errors in space

L_M_BV_32  :=  TBD.T_ENTIER_32S  ((1.0/C_M_LSB_BV)  *  G_M_INFO_DERIVE(T_ALG.E_BV));if  L_M_BV_32  >  32767  then P_M_DERIVE(T_ALG.E_BV)  :=  16#7FFF#;elsif  L_M_BV_32  <  -­‐32768  then P_M_DERIVE(T_ALG.E_BV)  :=  16#8000#;else P_M_DERIVE(T_ALG.E_BV)  :=  UC_16S_EN_16NS(TDB.T_ENTIER_16S(L_M_BV_32));end  if;

P_M_DERIVE(T_ALG.E_BH)  :=  UC_16S_EN_16NS  (TDB.T_ENTIER_16S  ((1.0/C_M_LSB_BH)  *  G_M_INFO_DERIVE(T_ALG.E_BH)));

Page 50: Software errors in space

L_M_BV_32  :=  TBD.T_ENTIER_32S  ((1.0/C_M_LSB_BV)  *  G_M_INFO_DERIVE(T_ALG.E_BV));if  L_M_BV_32  >  32767  then P_M_DERIVE(T_ALG.E_BV)  :=  16#7FFF#;elsif  L_M_BV_32  <  -­‐32768  then P_M_DERIVE(T_ALG.E_BV)  :=  16#8000#;else P_M_DERIVE(T_ALG.E_BV)  :=  UC_16S_EN_16NS(TDB.T_ENTIER_16S(L_M_BV_32));end  if;

P_M_DERIVE(T_ALG.E_BH)  :=  UC_16S_EN_16NS  (TDB.T_ENTIER_16S  ((1.0/C_M_LSB_BH)  *  G_M_INFO_DERIVE(T_ALG.E_BH)));

} KONTROLA PRETEČENIA AJ PODTEČENIA

Page 51: Software errors in space

chyba za $500 000 000

L_M_BV_32  :=  TBD.T_ENTIER_32S  ((1.0/C_M_LSB_BV)  *  G_M_INFO_DERIVE(T_ALG.E_BV));if  L_M_BV_32  >  32767  then P_M_DERIVE(T_ALG.E_BV)  :=  16#7FFF#;elsif  L_M_BV_32  <  -­‐32768  then P_M_DERIVE(T_ALG.E_BV)  :=  16#8000#;else P_M_DERIVE(T_ALG.E_BV)  :=  UC_16S_EN_16NS(TDB.T_ENTIER_16S(L_M_BV_32));end  if;

P_M_DERIVE(T_ALG.E_BH)  :=  UC_16S_EN_16NS  (TDB.T_ENTIER_16S  ((1.0/C_M_LSB_BH)  *  G_M_INFO_DERIVE(T_ALG.E_BH)));

Page 52: Software errors in space

Mars Climate Orbiter

$328 million

Page 53: Software errors in space

lbf×svs

N×s

Page 54: Software errors in space
Page 55: Software errors in space
Page 56: Software errors in space

Phobos Grunt

Page 57: Software errors in space

$64.4 million

Page 58: Software errors in space
Page 59: Software errors in space
Page 60: Software errors in space

Cygnus & ISS

10 vs 13 bit

Page 61: Software errors in space

10 vs 13 bit

0 (000000000000 in bits) 1023 (111111111111 in bits)

1980

August 1999

Page 62: Software errors in space

10 vs 13 bit

0 (000000000000000 in bits) 1023 (000111111111111 in bits)

0 (000000000000 in bits) 1023 (111111111111 in bits)

Page 63: Software errors in space
Page 64: Software errors in space
Page 65: Software errors in space
Page 66: Software errors in space
Page 67: Software errors in space

6-metrová prasklina