67

Software errors in space

Embed Size (px)

DESCRIPTION

This is the presentation which was given to very broad audience about software errors in designing and controlling space missions. It covers some of Soviet, American, European and Russian missions. Recent SpaceX Dragon SW and HW design concluded the presentation.

Citation preview

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