10 Pages

13.trusting.computer

Course: CS 4001, Fall 2008
School: Georgia Tech
Rating:
 
 
 
 
 

Word Count: 672

Document Preview

We Can Trust the Computer? FIRE, Chapter 4 What Can Go Wrong? What are the risks and reasons for computer failures? How much risk must or should we accept? If errors are inescapable in complex computer systems, how can we distinguish between those that are acceptable as trade-offs for benefits received and those that are due to inexcusable carelessness, incompetence, or dishonesty? Are computers ever too risky to...

Register Now

Unformatted Document Excerpt

Coursehero >> Georgia >> Georgia Tech >> CS 4001

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
We Can Trust the Computer? FIRE, Chapter 4 What Can Go Wrong? What are the risks and reasons for computer failures? How much risk must or should we accept? If errors are inescapable in complex computer systems, how can we distinguish between those that are acceptable as trade-offs for benefits received and those that are due to inexcusable carelessness, incompetence, or dishonesty? Are computers ever too risky to use? Are computers special in the errors they produce or the risks they entail? Or are they similar to other complex systems? What Roles Do We Play? Computer user. We should understand the limitations of computers and the need for proper training and responsible use. We must recognize that, as in other areas, there are good products and bad products. Computer professional. Studying computer failures can help us become better professionals (e.g., systems designer, programmers, technical support professional, etc.). Even if we are not in these fields, we will benefit from understanding the sources and consequences of failures. Educated member of society. Many personal decisions or social, legal, and political decisions may depend on our understanding of the risks of computer system failures. We could face issues of computing technology on a jury, lobbying for legislation, or deciding whether to use an experimental medical device. Categories of Computer Errors and Failures Computer problems can be organized in many different ways. FIRE uses the following categories: Problems for individuals System failures that affect large numbers of people Problems in Safety-Critical Applications that could injure or kill people Professional Techniques The field of software engineering has grown up around the principles of developing safe, efficient, and reliable software systems. Software engineers working on safety-critical applications need special training (Leveson--we can learn from engineers' experience in building safe electromechanical systems). Most software is not safe enough for safety-critical applications. Accidents will not be prevented from technological fixes alone (no complete automated system will work). For safetycritical systems, expert control of development and operation is necessary. Redundancy and Self-Checking Critical applications be should redundant. (The space shuttle used four identical by independent computer systems that were checked against each other.) Most network infrastructures are highly redundant. Complex systems can collect information on their own activity for use in diagnosing and correcting errors. (In software engineering parlance, this is called "instrumenting" the application.) But sometimes the collection systems themselves can fail. Testing Adequate and well-planned testing is essential. Test suites should be developed that exercise a program in all likely ways it will be used (and even unusual ways). However, it follows that an unusual activity (some unforeseen set of circumstances) could cause a failure. This is hard to test against! A Deeper Problem.... There is a deeper problem of "underengineered systems" Such systems are so complex, use such new techniques, or are operating in such new ways that significant risk is inevitable. One such system is the Space Shuttle. These systems are, in a real sense, experimental systems. Although good management and design practices must be followed with these systems, risk cannot be eliminated. Law and Regulation Criminal and civil penalties are always available for computing systems that fail and cause harm. But this is after the fact and often a pretty blunt instrument. Retail sellers of comput...

Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Dallas - VRR - 051000
VENKAT RAGHAVENDRA RAMACHANDRAN2700 WATERVIEW PARKWAY, APT. 5138 (972) 437 1832 RICHARDSON, TX 75080 Ramachandran@student.utdallas.edu _ OBJECTIVE Research-oriented intern/co-op in the areas of Wireless Communications and Signal Processing. EDUCATIO
UCLA - CHICANOM - 103
CS/TA M103D Midterm Study Guide Winter 2006I. What do I need to bring? 1. Minimum of 1 Blue Book (2 recommended) 2. Pen 3. Regular class materials for second half of class! What will the exam cover? 1. Texts: I Don't Have to Show You No Stinkin' Ba
UCF - LY - 176644
Lynn Grabenhorst 1Apple Computers Inc.Found on page 8.21Founded in 1976, Apple Computers has been on the cutting edge of technology since its inception. Established by co-founders Steve Jobs and Stephen Wozniak, they built their company from the
Bridgeport - ENGR - 400
University of Bridgeport, School of Engineering Colloquium Series: Fall 2008Re-Creating 3-D Sounds Using HRTFsSpeaker: Prof. Navarun Gupta Assistant Professor, Department of Electrical and Computer Engineering University of Bridgeport Time and Ven
Bridgeport - ENGR - 400
University of Bridgeport, School of Engineering Colloquium Series: Fall 2008MEMS and Nanotechnology Think Small and Dream BigSpeaker: Prof. Xingguo Xiong Assistant Professor, Department of Electrical and Computer Engineering University of Bridgepo
Bridgeport - ENGR - 400
University of Bridgeport, School of Engineering Colloquium Series: Fall 2008Wireless Sensors Networks: Current and Future ChallengesSpeaker: Prof. Magdy A. BayoumiDirector of CACS, Department Head of Computer Science, Edmiston Professor of Comput
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 1, Due: August 27, 2007 1. Consider the initial value problem y = |y|, y(0) = 0, t 0. Assumethat y is a single real variable. Find as many solutions as you can. Are they continuous? Are their first derivatives c
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 10, Due: November 17, 2008 1. Page 168, #5. 2. Page 171, #7. 3. Page 177, #4.
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 11, Due: December 17, 2007 1. For the so-called Lienard equation y +g(y)y +f (y) = 0 assume that f (0) = 0 so that y(t) = 0 is a solution. Find conditions on f and g which guarantee that the zero solution is asympt
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 2, Due: September 5 , 2007 - 1. Prove Schwarz's inequality. That is, show that if - , b En , then a - - |- b | |- | b | a a where - - = |- |2 . Give necessary and sufficient conditions for equality to
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 3, Due: September 14, 2007 1. Find an integral equation equivalent to the (scalar) initial value problem: y case y (n) = f (t, y) where n is a positive integer. 2. Let f (x, y) = xe-y and find L such that |f (x, y)
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 4, Due: September 21,2007 1. Write down the Pickard iteration scheme for y = 3y 2/3 with y(0) = 0 and an arbitrary starting function y0 (t) = (t) with (0) = 0. Generate the sequence for each of the following two ch
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 5 , Due: September 28, 2007 1. Suppose that q(t) is continuous on [0, . Let (t, ) be the unique solution of y + y = -q(t)y with y(0, ) = y (0, - 1 = 0. Show that on this interval sin( t) (t, ) = + M1 and (t, )
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 7 , Due: October 22, 2007 1. Prove from the definition of similarity that 2 1 -0 2 are not similar. 2. Find out how to obtain eigenvalues and eigenvectors of a matrix in MATLAB (Try >help eig). Using MATLAB as much
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 8 , Due: October 31, 2007 This set of exercises is to give you some practice working with Floquet's Theorem and its consequences. 1. 60 pts. Page 100, Problem 6. 2. 30 pts. Page 101, Problem 7.
Iowa State - MATH - 557
MATH 557, Fall 2007, Homework set # 9 , Due: November 7, 2008 1. Prove the criterion for the case k = 2. Use the criterion for problem 13, p 155, a, b, c. 2. Work Problem 17 on page 159 of the text. 3. Work problem 19 on page 159 of the text.
Bowling Green - EDCI - 367
Microbiology 3rd Hour Student Name Ralph Clancy Barney Plexico Johnny Rod Todd Bart Homer Moe Hans Franz Pat Lisa Maggie Marge Abe Points Possible Average Score Mode ID Number 1234 2345 3456 4567 5678 6789 7890 8901 9012 9876 8765 7654 6543 5432 432
Bowling Green - EDCI - 367
Personal Learning Project~Jim Zubricky~Lesson Title: Discovery of the Structure of DNA Grade Level: 10-12 (specifically for Honors (or Accelerated) Biology, Advanced Biology, AP Biology, Chemistry II or Advanced Chemistry, AP Chemistry Purpose: To
Bowling Green - EDCI - 367
For the first part of the assignment, I interviewed Leanne Fritch, district computer technician for Perrysburg Exempted Village School District. She is in charge of the entire school district (8 buildings). The following interview was conducted in a
Bowling Green - EDCI - 367
Wednesday, 28 August 2002: Today was the first day of class. We began by making a concept map from a program called "Inspirations". I don't quite know what to think, so far. The message that I'm getting from the students in here with me is that this
Wisconsin - ENGR - 428
Long Term 2 Enhanced Surface Water Treatment Rule (IESWTR) This rule does not yet exist and is not expected in its final form until the year 2002. However, since our plants would be subject to the rule at that time it is important to prepare for its
Sveriges lantbruksuniversitet - PHYS - 326
Spring 2009PHYSICS 326-4 Electronics and InstrumentationTEXTBOOK:"Electronic Principles", 7th edition Author: P. Malvino Publishers: McGraw Hill (2007)COURSE DESCRIPTION:Circuits and circuit theory, passive and active devices, amplifiers, feed
Sveriges lantbruksuniversitet - PHYS - 326
Electronics LaboratoryIntroductionThe experiments in this lab manual are designed to introduce various aspects of analog electronics starting from the simplest concepts such as Ohm's law and leading to practical electronic circuits including ampli
Sveriges lantbruksuniversitet - PHYS - 326
ASSIGNMENT #1PHYS 326 - Electronics and InstrumentationDue Thursday, January 22PROBLEMS:1. Wheatstone bridge: A bridge circuit below is build with three identical resistors R 1 = R 2 = R 3 = R and one that has a slightly different value R 4 = R
Sveriges lantbruksuniversitet - PHYS - 326
Lab 5Physics 326 Laboratory Manual5.1LAB 5 Field Effect TransistorsReading: Malvino, Ch. 13 and 14 Hayes and Horowitz, Class 7, worked example and Lab 7 This lab introduces Field Effect Transistors and their applications.1. Junction FET
Sveriges lantbruksuniversitet - PHYS - 326
ASSIGNMENT #3PHYS 326 - Electronics and InstrumentationDue Thursday, February 26PROBLEMS:1. MOSFET headphone amplifier: Here is an example of a simple amplifier you could use to drive your headphones. Unlike stuff we build in the lab, this one
Sveriges lantbruksuniversitet - PHYS - 326
Lab 6Physics 326 Laboratory Manual6.1LAB 6Differential and Operational AmplifiersReading: Malvino, Chapters 17 and 18 First we will construct a differential amplifier and measure its properties. Many of the characteristics of the different
Sveriges lantbruksuniversitet - PHYS - 326
Lab 7Physics 326 Laboratory Manual7.1LAB 7 Operational Amplifiers IIReading: Malvino, Chapters 19 and 20 and section 21-1 Hayes and Horowitz, Class 8, Lab 8 and Ch. 4 Worked examples on pp175, 176.This week's experiment will use the ideal pr
Sveriges lantbruksuniversitet - PHYS - 326
Lab 8Physics 326 Laboratory Manual8.3LAB 8 Positive Feedback and OscillatorsReading: Malvino, Sections 21-2, 21-3, 21-9, chapter 22 Hayes and Horowitz, Class 10, Lab 10 and Ch. 4 worked examples on pp 227ff.1. Comparators a) Connect a LF4
Sveriges lantbruksuniversitet - PHYS - 326
ASSIGNMENT #4PHYS 326 - Electronics and InstrumentationDue Thursday, March 19PROBLEMS:1. FM transmitter: Next week we are building a mini-FM transmitter on a printed circuit board, which runs on AA battery, and broadcasts tunable FM radio signa
Sveriges lantbruksuniversitet - PHYS - 326
10.1Physics 331 Laboratory ManualLab 10LAB 10 TTL and CMOS Logic GatesReading: Hayes and Horowitz, Class 13 and Lab 13. Today you will be introduced to the circuits of digital electronics. We will start with some circuits made with discrete
Sveriges lantbruksuniversitet - PHYS - 326
Sveriges lantbruksuniversitet - PHYS - 326
Electronics LaboratoryIntroductionThe experiments in this lab manual are designed to introduce various aspects of analog electronics starting from the simplest concepts such as Ohm's law and leading to practical electronic circuits including ampli
Wisconsin - ME - 363
Glendale Community College - MAT - 220
30 Problems from Precalculus that all Calculus students should be able to do. 1. f ( x ) = 3 - f ( x - 1) , f ( 0 ) = 5 What is f ( -2 ) ?2. If the point ( -2,3) lies on the graph of y = f ( x ) , what point will definitely lie on the graph of y =
Glendale Community College - MAT - 220
Answers to the 30 Practice Problems 1. 5 2. ( 2,5 ) 3.25 3 or 8 1 34. A) 032B) 22C) -1, 389D) ( - , )E) ( - ,3) x 5. - + ( y + 1) = 4 2 , 6. - [ 2, ) 3 27. 5 8. 3 9. Your equation should end up being( y - 2)1 1 22-
Glendale Community College - MAT - 220
MAT220 Spring 2008 Quiz #2 (Due Tuesday January 22nd)The following 25 problems come from classes that are prerequisite to MAT220. It should be the case that every student entering MAT220 should be able to do all 25 of these problems without the use
Glendale Community College - MAT - 220
Answers to MAT220 Test1 Spring 2007 1. A) 2 B) 0 B) + C) DNE D) 0 E) D) 1 -2,1, 4 E) 12. A) - 3. 4. 3 1 4 k= -6 0 x=2 2 4 3C) DNE5. 6. 7. 8. 9.10. YES. f ( x ) does have a zero in the interval [ 0,1, ] . Since f ( 0 ) is negative ( -2 ) and f
Glendale Community College - MAT - 220
Answers to MAT220 Test2 2 3 - 4 (MANY mistakes on finding the value of the slope which of course means you x+ 2 8 won't get the correct value for b either!) 2. 15 x 4 + 3 x 2 + 2 x - 2 (Product rule. Did you make careless mistakes? Rules of exponents
Glendale Community College - MAT - 220
MAT220 Test #3 Answers 1. Min = - 1 2. x = Max = 16 3 7 11 , , , 2 2 6 63. No this does not contradict Rolle's Theorem because the function is not differentiable on ( -1,1) 4. Since f is a polynomial it is continuous and differentiable everywhere
Glendale Community College - MAT - 220
Answers to MAT220 Test #4 1. A) 0 because deg top < deg botx3 1 B) + because deg top > deg bot AND 2 = x which has odd deg and + coeff 2x 2C) D)3 because deg top = deg bot so ratio of lead coeffs 2 -2 (did you show all of the steps like I did in
Glendale Community College - MAT - 220
Answers to MAT220 Test #5 1. x3 -x2 + x+c 22. - cos x - 2sin x + c 3. A) 2 seconds B) 70 feet 4.19 29 < A< 2 25. A) -5 6. -1 2B) -107. -8 8.5 29. 2 10. x 2 - 2 x
Glendale Community College - MAT - 220
Answers to MAT220 Test #6 1.1 1 + x4 + C 2 cos3 x +C 3 1 332. -3. - e- x + C 4.5 3 2 4 ( x + 2) 2 - ( x + 2) 2 + C 5 3or3 2 ( x + 2 ) 2 ( 3x - 4 ) + C 155. - ( 1 - x ) 2 + ( 1 - x ) 2 - ( 1 - x ) 2 + C or - 6. 1 7. ln 8. 9. 10.7 3 3 arc
Glendale Community College - MAT - 220
MAT220 What to expect on Test #1 Always review over your class notes before the test. Find examples that I did in class that are "like" the suggested problems below. #1, 2 pg 75 # 21,22 pg 98 #1,3,5 pg 108 # 1,3 (also be able to tell what the roots o
Glendale Community College - MAT - 220
MAT220 What to expect on Test2 Always review over your class notes before the test. Find examples that I did in class that are "like" the suggested problems below. 1. pg 180 # 45 2. Use the product rule to findf xbg Pg 147 .# 133. Use the quot
Glendale Community College - MAT - 220
MAT220 What to expect on Test3 Always review over your class notes before the test. Find examples that I did in class that are "like" the suggested problems below. 1. pg 209 # 23, 25 2. pg 209 # 17 3. pg 216 # 1, 11 pg 217 # 61 4. pg 217 # 43, 49 5.
Glendale Community College - MAT - 220
MAT220 What to expect on Test4 Always review over your class notes before the test. Find examples that I did in class that are "like" the suggested problems below. 1. pg 245 # 17, 21, 25, 27 2 4 Like example 5 pg 253 (except factors easily). #2 find
Glendale Community College - MAT - 220
MAT220 What to expect on Test5 Always review over your class notes before the test. Find examples that I did in class that are "like" the suggested problems below. 1. pg 291 # 17 2. pg 291 # 31 3. pg 293 # 77,79,83 (note numbers on your test will be
BU - BI - 547
BI 547 Marine Invertebrates Oral presentation guidelines and grading criteria. THE PRESENTATION Length: Your talk should be 20-30 minutes long. Five minutes of questioning will follow each talk. Contributions from team members: Delivering the talk: E
BU - BI - 547
Marine InvertebratesCAS BI 547I. Course Description: This course will examine animal diversity with an emphasis on (1) major evolutionary innovations that occurred during animal evolution and (2) their ecological consequences. Topics to be covered
BU - BI - 547
Marine InvertebratesCAS BI 547I. Course Description: This course will examine animal diversity with an emphasis on (1) major evolutionary innovations that occurred during animal evolution and (2) their ecological consequences. Topics to be covered
BU - BI - 547
Project SummaryI. Intellectual Merits A. Background-NF-B is one of the most intensively studied animal proteins-over 23,000 publications are indexed in PubMed under the keyword `NF-kappaB'. NF-B is of such great interest because it mediates cellular
BU - BI - 547
Vol 452 | 10 April 2008 | doi:10.1038/nature06614LETTERSBroad phylogenomic sampling improves resolution of the animal tree of lifeCasey W. Dunn1{, Andreas Hejnol1, David Q. Matus1, Kevin Pang1, William E. Browne1, Stephen A. Smith2, Elaine Seaver
Glendale Community College - MAT - 220
Section 5.6 HW pg 350 # 3, 5, 9, 17, 29, 51 #3. Eqn: y = x +1 xIntervalinterval isdy 1 x2 -1 =1- 2 = dx x x2 -1 . 1 5 x= y= 2 2 x =1 y = 2 3 13 x= y= 2 6()1 3 2 , 2 Critical numbers are 0, - 1, 1 but the only one in ourSo, #5standa
Glendale Community College - MAT - 220
Solution to the handout problem section 3.7 (conical tank related rates) a)V= 1 2 r h 3is the formula for the volume of a cone. This problem wants anexpression for the volume of water in the conical tank as a function of h ONLY. Using similar tr
BU - BI - 547
"Do Parasites Rule the World" 2000 by Carl Zimmer Discover, August 2000 pp 80-85
BU - BI - 547
Pechenik, 2001, Biology of the Invertebrates [this is copyrighted material]
BU - BI - 547
Invertebrate Biology 126(2): 99112. r 2007, The Authors Journal compilation r 2007, The American Microscopical Society, Inc. DOI: 10.1111/j.1744-7410.2007.00081.xComparison of developmental trajectories in the starlet sea anemone Nematostella vecte