bodkociarka
DESCRIPTION
Short presentatTRANSCRIPT
![Page 1: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/1.jpg)
How much is a $emicolon?;or how important bug-free software is
![Page 2: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/2.jpg)
Delta II in 1997
![Page 3: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/3.jpg)
cost
$40 million GPS satellite
$55 million rocket
+ some $$ for launch
~ $100 million
![Page 4: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/4.jpg)
is ; that expensive?
![Page 5: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/5.jpg)
no
that one was cheap
![Page 6: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/6.jpg)
people KILLED
![Page 7: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/7.jpg)
...and besides, crack in the engine was to blame...
![Page 8: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/8.jpg)
6-meter crack
![Page 9: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/9.jpg)
the computer functioned OK
![Page 10: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/10.jpg)
autodestroyed rocket in 1 sec
![Page 11: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/11.jpg)
saving many lives
![Page 12: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/12.jpg)
, but
![Page 13: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/13.jpg)
Nedelin in 1960
![Page 14: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/14.jpg)
80-150 dead
![Page 15: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/15.jpg)
FuelDevil’s venom
nitric acid and hydrazine
extremely efficient
extremely toxic
![Page 16: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/16.jpg)
safety blocks were disabled because of
testing
![Page 17: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/17.jpg)
one switch
![Page 18: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/18.jpg)
The Mariner I space probe was launched from Cape Canaveral on 28 July 1962 towards Venus. After 13 minutes' flight a booster engine would give acceleration up to 25,820 mph; after 44 minutes 9,800 solar cells would unfold; after 80 days a computer would calculate the final course corrections and after 100 days the craft would cirlce the unknown planet, scanning the mysterious cloud in which it is bathed. However, with an efficiency that is truly heartening, Mariner I plunged into the Atlantic Ocean only four minutes after takeoff. Inquiries later revealed that a minus sign had been omitted from the instructions fed into the computer. "It was human error", a launch spokesman said.
![Page 19: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/19.jpg)
![Page 20: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/20.jpg)
This minus sign cost $18.5 million.
"The most expensive hyphen in history"
![Page 21: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/21.jpg)
![Page 22: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/22.jpg)
![Page 23: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/23.jpg)
Phobos 1 & Phobos 2
![Page 24: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/24.jpg)
Co-operation of 14 nations
![Page 25: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/25.jpg)
The failure was traced to an error in the software uploaded,
which had deactivated the attitude thrusters...
![Page 26: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/26.jpg)
...a single character error in an upload sequence resulted
subsequent loss of the spacecraft
![Page 27: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/27.jpg)
Phobos 2
![Page 28: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/28.jpg)
![Page 29: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/29.jpg)
![Page 30: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/30.jpg)
![Page 31: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/31.jpg)
...failure was determined to be a malfunction of the on-board
computer.
![Page 32: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/32.jpg)
![Page 33: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/33.jpg)
![Page 34: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/34.jpg)
![Page 35: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/35.jpg)
![Page 36: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/36.jpg)
Ariane 5$500 million
![Page 37: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/37.jpg)
Ariane 5$500 million
converting 64-bit integer to 16-bit integer
![Page 38: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/38.jpg)
Ariane 5$500 million
converting 64-bit integer to 16-bit integer
priceless
![Page 39: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/39.jpg)
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 40: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/40.jpg)
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)));
$500 000 000 mistake
![Page 41: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/41.jpg)
meet...
![Page 42: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/42.jpg)
Mars Climate Orbiter $328 million
![Page 43: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/43.jpg)
why do I mention it?
![Page 44: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/44.jpg)
![Page 45: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/45.jpg)
feet meters
![Page 46: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/46.jpg)
Northeast blackout$7 - $10 billion
![Page 47: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/47.jpg)
if (condition); /* statement */
![Page 48: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/48.jpg)
if (condition) if(condition 2) /* statement */ else /*statement */
![Page 49: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/49.jpg)
Solutions?
![Page 50: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/50.jpg)
formally verified error proof
language
![Page 51: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/51.jpg)
ADA!
![Page 52: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/52.jpg)
and
![Page 53: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/53.jpg)
![Page 54: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/54.jpg)
ADA!
![Page 55: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/55.jpg)
450 in 198337 by 1996
1983
1996
# of languages in DoD
![Page 56: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/56.jpg)
Boeing 777
![Page 57: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/57.jpg)
Ariane 4Ariane 5
![Page 58: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/58.jpg)
ATC
![Page 59: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/59.jpg)
TGV
![Page 60: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/60.jpg)
NY metro
![Page 61: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/61.jpg)
Software bugs are costing the U.S.
economy an estimated $60 billion each year
![Page 62: Bodkociarka](https://reader033.vdocuments.us/reader033/viewer/2022052904/55837c80d8b42a88578b4bfa/html5/thumbnails/62.jpg)
any questions?