Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .
Look up keyword or section
Like this
0 of .
Results for:
No results containing your search query
P. 1


Ratings: (0)|Views: 0|Likes:
Published by Rodriguez Arthurs
Application on formal method on aircraft industry
Application on formal method on aircraft industry

More info:

Categories:Types, Presentations
Published by: Rodriguez Arthurs on Sep 05, 2013
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less





 April 8, 2013 NAL, Bangalore 1
Experiences with Formal Verification inthe Design of High Integrity EmbeddedSystem & DAE Initiatives  A.K. BhattacharjeeBARC
 April 8, 2013 NAL, Bangalore 2
Computing and Control
In DAE, some regulators feel it is not right to use computer/ software for safety systems of NPPs
Fear is built by computer world jargons like
Bug, Exceptions, NaN, RMA, hacking, cyber attacks
Their fear is also aided by media hyped infamous computer systems failures
 April 8, 2013 NAL, Bangalore 3
Infamous Computer Caused Errors
July 28, 1962 -- Mariner I space probe
Blast in Trans-Siberian Soviet gas pipeline
1985-1987 -- Therac-25 medical accelerator.
1988 -- Buffer overflow in Berkeley Unix finger daemon
1988-1996 -- Kerberos Random Number Generator 
January 15, 1990 -- AT&T Network Outage (ESS-4) (DominoEffect)
1994 -- Intel Pentium floating point divide
1995/1996 -- The Ping of Death
1996 --
 Ariane 5 Flight 501…..
1999 Mars Polar Landar 
2010 Toyota Recall of 200,000 Prius

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->