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

akb-nal-blr-2013

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

Availability:

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

04/04/2014

pdf

text

original

 
 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
1982
 –
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

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