+ All Categories
Home > Technology > Bodkociarka

Bodkociarka

Date post: 19-Jun-2015
Category:
Upload: marian-such
View: 510 times
Download: 0 times
Share this document with a friend
Description:
Short presentat
Popular Tags:
62
How much is a $emicolon?; or how important bug-free software is
Transcript
Page 1: Bodkociarka

How much is a $emicolon?;or how important bug-free software is

Page 2: Bodkociarka

Delta II in 1997

Page 3: Bodkociarka

cost

$40 million GPS satellite

$55 million rocket

+ some $$ for launch

~ $100 million

Page 4: Bodkociarka

is ; that expensive?

Page 5: Bodkociarka

no

that one was cheap

Page 6: Bodkociarka

people KILLED

Page 7: Bodkociarka

...and besides, crack in the engine was to blame...

Page 8: Bodkociarka

6-meter crack

Page 9: Bodkociarka

the computer functioned OK

Page 10: Bodkociarka

autodestroyed rocket in 1 sec

Page 11: Bodkociarka

saving many lives

Page 12: Bodkociarka

, but

Page 13: Bodkociarka

Nedelin in 1960

Page 14: Bodkociarka

80-150 dead

Page 16: Bodkociarka

safety blocks were disabled because of

testing

Page 17: Bodkociarka

one switch

Page 18: Bodkociarka

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
Page 20: Bodkociarka

This minus sign cost $18.5 million.

"The most expensive hyphen in history"

Page 21: Bodkociarka
Page 22: Bodkociarka
Page 23: Bodkociarka

Phobos 1 & Phobos 2

Page 24: Bodkociarka

Co-operation of 14 nations

Page 25: Bodkociarka

The failure was traced to an error in the software uploaded,

which had deactivated the attitude thrusters...

Page 26: Bodkociarka

...a single character error in an upload sequence resulted

subsequent loss of the spacecraft

Page 27: Bodkociarka

Phobos 2

Page 28: Bodkociarka
Page 29: Bodkociarka
Page 30: Bodkociarka
Page 31: Bodkociarka

...failure was determined to be a malfunction of the on-board

computer.

Page 32: Bodkociarka
Page 33: Bodkociarka
Page 34: Bodkociarka
Page 35: Bodkociarka
Page 36: Bodkociarka

Ariane 5$500 million

Page 37: Bodkociarka

Ariane 5$500 million

converting 64-bit integer to 16-bit integer

Page 38: Bodkociarka

Ariane 5$500 million

converting 64-bit integer to 16-bit integer

priceless

Page 39: Bodkociarka

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

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

meet...

Page 42: Bodkociarka

Mars Climate Orbiter $328 million

Page 43: Bodkociarka

why do I mention it?

Page 44: Bodkociarka
Page 45: Bodkociarka

feet meters

Page 46: Bodkociarka

Northeast blackout$7 - $10 billion

Page 47: Bodkociarka

if (condition); /* statement */

Page 48: Bodkociarka

if (condition) if(condition 2) /* statement */ else /*statement */

Page 49: Bodkociarka

Solutions?

Page 50: Bodkociarka

formally verified error proof

language

Page 51: Bodkociarka

ADA!

Page 52: Bodkociarka

and

Page 53: Bodkociarka
Page 54: Bodkociarka

ADA!

Page 55: Bodkociarka

450 in 198337 by 1996

1983

1996

# of languages in DoD

Page 56: Bodkociarka

Boeing 777

Page 57: Bodkociarka

Ariane 4Ariane 5

Page 58: Bodkociarka

ATC

Page 59: Bodkociarka

TGV

Page 60: Bodkociarka

NY metro

Page 61: Bodkociarka

Software bugs are costing the U.S.

economy an estimated $60 billion each year

Page 62: Bodkociarka

any questions?