224 Therac PPTs View free & download

Therac-25 - Fehler in medizinischen Ger ten Therac-25 & Co Guy Kuam Markus Rieger Christian Tr bswetter Die Therac-Serie Therac-25 war die 3. Baureihe von medizinischen ...

Fehler in medizinischen Ger ten Therac-25 & Co Guy Kuam Markus Rieger Christian Tr bswetter Die Therac-Serie Therac-25 war die 3. Baureihe von medizinischen ...

| PowerPoint PPT presentation | free to download

THERAC 25 - December 1985 patient in Yakima Wa receives overdose. 21 March 1986 - Tyler TX accident ... 17 JANUARY 1987 YAKIMA WA. all systems shutdown complete ...

December 1985 patient in Yakima Wa receives overdose. 21 March 1986 - Tyler TX accident ... 17 JANUARY 1987 YAKIMA WA. all systems shutdown complete ...

| PowerPoint PPT presentation | free to view

Therac 25 - Medical device capable of producing x-rays or electrons. Accidents occurred between 1985 ... Cryptic 'Malfunction 54' Cause of malfunction typing too quickly ...

Medical device capable of producing x-rays or electrons. Accidents occurred between 1985 ... Cryptic 'Malfunction 54' Cause of malfunction typing too quickly ...

| PowerPoint PPT presentation | free to view

THERAC 25 - December 1985 patient in Yakima Wa receives overdose. 21 March 1986- Tyler TX accident ... 17 January 1987- Second Yakima WA Accident. Why? The turntable was ...

December 1985 patient in Yakima Wa receives overdose. 21 March 1986- Tyler TX accident ... 17 January 1987- Second Yakima WA Accident. Why? The turntable was ...

| PowerPoint PPT presentation | free to view

THERAC 25 - 3 June 1985 patient at Marietta GA received overdose ... 3 JUNE 1985 MARIETTA GA. not recognised as overdose until after tyler incident ...

3 June 1985 patient at Marietta GA received overdose ... 3 JUNE 1985 MARIETTA GA. not recognised as overdose until after tyler incident ...

| PowerPoint PPT presentation | free to view

Therac 25 Incident PowerPoint PPT Presentation

Therac 25 Incident - This is a medical machine that fires high energy radiation to destroy tumors. ... Therac 25 was created by the Canadian firm Atomic Energy Comission Limited (AECL) ...

This is a medical machine that fires high energy radiation to destroy tumors. ... Therac 25 was created by the Canadian firm Atomic Energy Comission Limited (AECL) ...

| PowerPoint PPT presentation | free to view

Therac25 and Exception Handling PowerPoint PPT Presentation

Therac25 and Exception Handling - Therac-25 design based on the Therac-24. Was a mix of hardware and software ... a message from an underlying function or subsystem to further explain the result ...

Therac-25 design based on the Therac-24. Was a mix of hardware and software ... a message from an underlying function or subsystem to further explain the result ...

| PowerPoint PPT presentation | free to view

An Investigation of the Therac-25 Accidents PowerPoint PPT Presentation

An Investigation of the Therac-25 Accidents - Between June 1985 and January 1987, 6 known accidents involving massive ... June 3 1985: First overdose ... 'There is always another software bug' ...

Between June 1985 and January 1987, 6 known accidents involving massive ... June 3 1985: First overdose ... 'There is always another software bug' ...

| PowerPoint PPT presentation | free to view

CSCI 5230: Project Management Software Reuse Disasters: Therac-25 and Ariane 5 Flight 501 David Sumpter 12/4/2001 PowerPoint PPT Presentation

CSCI 5230: Project Management Software Reuse Disasters: Therac-25 and Ariane 5 Flight 501 David Sumpter 12/4/2001 - June 1985 January 1987. Software was adapted from earlier models ... June 1996. Loss traced to software carried over virtually unchanged from ... bug found ...

June 1985 January 1987. Software was adapted from earlier models ... June 1996. Loss traced to software carried over virtually unchanged from ... bug found ...

| PowerPoint PPT presentation | free to view

A Gift of Fire Third edition Sara Baase PowerPoint PPT Presentation

A Gift of Fire Third edition Sara Baase - Case Study: The Therac-25. Increasing Reliability and Safety. Dependence, Risk, and Progress ... Case Study: The Therac-25 (cont.) Software and Design problems: ...

Case Study: The Therac-25. Increasing Reliability and Safety. Dependence, Risk, and Progress ... Case Study: The Therac-25 (cont.) Software and Design problems: ...

| PowerPoint PPT presentation | free to view

Can We Trust the Computer? PowerPoint PPT Presentation

Can We Trust the Computer? - Can We Trust the Computer? Quick Quiz Name List and briefly describe two cases, discussed in the chapter (other than the Therac case), where insufficient testing was ...

Can We Trust the Computer? Quick Quiz Name List and briefly describe two cases, discussed in the chapter (other than the Therac case), where insufficient testing was ...

| PowerPoint PPT presentation | free to download

Software Failures PowerPoint PPT Presentation

Software Failures - Software Failures Ron Gilmore, CMC Edmonton April 2006 Software Failures Santayana The software sector Observations Case Study: Therac 25 Lessons Engineering ...

Software Failures Ron Gilmore, CMC Edmonton April 2006 Software Failures Santayana The software sector Observations Case Study: Therac 25 Lessons Engineering ...

| PowerPoint PPT presentation | free to view

Real-Time Design PowerPoint PPT Presentation

Real-Time Design - There is NO forbearance to malfunction or restart. Example: Car brake system (ABS). Medical radiotherapy systems. (Therac 25) Missile control system / navigator ...

There is NO forbearance to malfunction or restart. Example: Car brake system (ABS). Medical radiotherapy systems. (Therac 25) Missile control system / navigator ...

| PowerPoint PPT presentation | free to view

SafetyCritical Software: Status Report PowerPoint PPT Presentation

SafetyCritical Software: Status Report - Jorge Favela. Therac 25: A Study Case. Radiation Therapy machine ... 2002. Quality Council of Indiana. Questions. Presented by: Julio Munoz. Jorge Favela ...

Jorge Favela. Therac 25: A Study Case. Radiation Therapy machine ... 2002. Quality Council of Indiana. Questions. Presented by: Julio Munoz. Jorge Favela ...

| PowerPoint PPT presentation | free to view

Verifying Compilers with Heifer PowerPoint PPT Presentation

Verifying Compilers with Heifer - Therac-25: five people killed from overdoses of radiation. MIM-104 Patriot missile: failed to shoot down scuds in first Iraq war. What if Software Fails? ...

Therac-25: five people killed from overdoses of radiation. MIM-104 Patriot missile: failed to shoot down scuds in first Iraq war. What if Software Fails? ...

| PowerPoint PPT presentation | free to view

SwE 2642 Professional Practices and Ethics PowerPoint PPT Presentation

SwE 2642 Professional Practices and Ethics - ... operator error'...overdose by Therac-25 was impossible...there have been no ... Memorial Hospital, January, 1987 (death from complications of radiation overdose) ...

... operator error'...overdose by Therac-25 was impossible...there have been no ... Memorial Hospital, January, 1987 (death from complications of radiation overdose) ...

| PowerPoint PPT presentation | free to view

A Gift of Fire Third edition Sara Baase - Third edition Sara Baase Chapter 8: Errors, Failures, and Risks What We Will Cover Failures and Errors in Computer Systems Case Study: The Therac-25 Increasing ...

Third edition Sara Baase Chapter 8: Errors, Failures, and Risks What We Will Cover Failures and Errors in Computer Systems Case Study: The Therac-25 Increasing ...

| PowerPoint PPT presentation | free to download

SEG3550 - Between June 1985 and January 1987, a computerized radiation therapy machine ... Concurrent programming errors played an important ... Just like the DOS age. ...

Between June 1985 and January 1987, a computerized radiation therapy machine ... Concurrent programming errors played an important ... Just like the DOS age. ...

| PowerPoint PPT presentation | free to view

References: - Between June 1985 and January 1987, 6 known accidents involve massive overdoses ... the new machine (discovered after a bug related to one Therac-25 accidents was ...

Between June 1985 and January 1987, 6 known accidents involve massive overdoses ... the new machine (discovered after a bug related to one Therac-25 accidents was ...

| PowerPoint PPT presentation | free to view

CS 430530 Formal Semantics Paul Hudak Yale University Department of Computer Science PowerPoint PPT Presentation

CS 430530 Formal Semantics Paul Hudak Yale University Department of Computer Science - ... leaked from a temporary storage space in memory, and the error ... The result: the Yorktown was dead in the water for more than two hours.' Therac-25 ...

... leaked from a temporary storage space in memory, and the error ... The result: the Yorktown was dead in the water for more than two hours.' Therac-25 ...

| PowerPoint PPT presentation | free to view

desastres de la ingeniera del software PowerPoint PPT Presentation

desastres de la ingeniera del software - El Therac-25, una m quina de terapia por radiaci n para el c ncer, provoca la ... Patriot iraqu alcanza Jerusal n tras fallar los dispositivos antia reos Scud ...

El Therac-25, una m quina de terapia por radiaci n para el c ncer, provoca la ... Patriot iraqu alcanza Jerusal n tras fallar los dispositivos antia reos Scud ...

| PowerPoint PPT presentation | free to view

Engineering Disasters PowerPoint PPT Presentation

Engineering Disasters - ... overlooked the bar, and so used R and therefore the code to compute R-smoothed ... AECL sold 11 Therac-25 units to hospitals in the US (5) and Canada (6) ...

... overlooked the bar, and so used R and therefore the code to compute R-smoothed ... AECL sold 11 Therac-25 units to hospitals in the US (5) and Canada (6) ...

| PowerPoint PPT presentation | free to view

Software Failures - 'Those who cannot remember the past are condemned to repeat it' Lots ... Chinook helicopter. Missile detection systems. Constructive Notions. Awareness efforts ...

'Those who cannot remember the past are condemned to repeat it' Lots ... Chinook helicopter. Missile detection systems. Constructive Notions. Awareness efforts ...

| PowerPoint PPT presentation | free to view

?Current paperless DRE PowerPoint PPT Presentation

?Current paperless DRE - Current paperless DRE's are unable to adequately protect the integrity of our elections. ... Status quo: Keep using paperless. DRE's. Ban paperless DREs. Move ...

Current paperless DRE's are unable to adequately protect the integrity of our elections. ... Status quo: Keep using paperless. DRE's. Ban paperless DREs. Move ...

| PowerPoint PPT presentation | free to download

Developing Medical Software: Pitfalls and Prophylactics PowerPoint PPT Presentation

Developing Medical Software: Pitfalls and Prophylactics - Developing Medical Software: Pitfalls and Prophylactics Elliot Jaffe Seminar in Computer Assisted-Surgery, Medical Robots and Medical Imaging Fall 2002

Developing Medical Software: Pitfalls and Prophylactics Elliot Jaffe Seminar in Computer Assisted-Surgery, Medical Robots and Medical Imaging Fall 2002

| PowerPoint PPT presentation | free to view

Software Errors: Funny and Fatal PowerPoint PPT Presentation

Software Errors: Funny and Fatal - none

none

| PowerPoint PPT presentation | free to download

Reliability%20and%20Safety PowerPoint PPT Presentation

Reliability%20and%20Safety - Bugs in software that controlled machines. Inadequate system of reporting and investigating accidents and deaths. Specific Problems ...

Bugs in software that controlled machines. Inadequate system of reporting and investigating accidents and deaths. Specific Problems ...

| PowerPoint PPT presentation | free to download

CM602 Effective systems development PowerPoint PPT Presentation

CM602 Effective systems development - We interpret the the physical world from our different but intersecting social worlds ... Determining information systems requirements is a 'hot spot' within ...

We interpret the the physical world from our different but intersecting social worlds ... Determining information systems requirements is a 'hot spot' within ...

| PowerPoint PPT presentation | free to view

Current paperless DREs are unable to adequately protect the integrity of our elections' PowerPoint PPT Presentation

Current paperless DREs are unable to adequately protect the integrity of our elections' - Status quo: Keep using paperless. DRE's. Ban paperless DREs. Move to non-DRE ... paperless DRE's are unable to adequately protect the integrity of our elections. ...

Status quo: Keep using paperless. DRE's. Ban paperless DREs. Move to non-DRE ... paperless DRE's are unable to adequately protect the integrity of our elections. ...

| PowerPoint PPT presentation | free to download

Critical Software PowerPoint PPT Presentation

Critical Software - Critical Software 1b Software Engineering Ross Anderson

Critical Software 1b Software Engineering Ross Anderson

| PowerPoint PPT presentation | free to download

A Gift of Fire Third edition Sara Baase - ... into police custody because of a computer error precipitated by government carelessness. ... system)-helps prevent plans from crashing into mountains ...

... into police custody because of a computer error precipitated by government carelessness. ... system)-helps prevent plans from crashing into mountains ...

| PowerPoint PPT presentation | free to download

Computer-Aided Verification Introduction PowerPoint PPT Presentation

Computer-Aided Verification Introduction - Computer-Aided Verification Introduction Pao-Ann Hsiung National Chung Cheng University

Computer-Aided Verification Introduction Pao-Ann Hsiung National Chung Cheng University

| PowerPoint PPT presentation | free to download

Object Oriented Programming PowerPoint PPT Presentation

Object Oriented Programming - 4 uml uml

4 uml uml

| PowerPoint PPT presentation | free to view

CS444A: Software for Critical Systems PowerPoint PPT Presentation

CS444A: Software for Critical Systems - Increased use of critical software is irresistable ... Gargantuan-scale 24x7 mission critical systems: Wal-Mart financial exchanges, ...

Increased use of critical software is irresistable ... Gargantuan-scale 24x7 mission critical systems: Wal-Mart financial exchanges, ...

| PowerPoint PPT presentation | free to download

Automating Commutativity Analysis at the Design Level PowerPoint PPT Presentation

Automating Commutativity Analysis at the Design Level - commutativity properties for each pair of operations. OCL Spec ... post: -- BeamRequest is not inside the pending requests queue ...

commutativity properties for each pair of operations. OCL Spec ... post: -- BeamRequest is not inside the pending requests queue ...

| PowerPoint PPT presentation | free to view

Why Projects Fail PowerPoint PPT Presentation

Why Projects Fail - Developing dependable software is difficult because of the size and complexity ... The software industry is amateurish and immature. ...

Developing dependable software is difficult because of the size and complexity ... The software industry is amateurish and immature. ...

| PowerPoint PPT presentation | free to view

Tutorial%204:%20Case%20Study PowerPoint PPT Presentation

Tutorial%204:%20Case%20Study - Accident Analysis and Fault Trees. Mappings and Affordances. Gulfs of Execution and Evaluation ... Control. Human-Computer Interaction. Usability Testing. Automation ...

Accident Analysis and Fault Trees. Mappings and Affordances. Gulfs of Execution and Evaluation ... Control. Human-Computer Interaction. Usability Testing. Automation ...

| PowerPoint PPT presentation | free to download

Ethical Issues: Computer Safety PowerPoint PPT Presentation

Ethical Issues: Computer Safety - Computers are either a part of or impacted the production of just about every ... Toni D. Holm. New Jersey: Pearson Education, Inc. 2003 ...

Computers are either a part of or impacted the production of just about every ... Toni D. Holm. New Jersey: Pearson Education, Inc. 2003 ...

| PowerPoint PPT presentation | free to view

Software Reliability PowerPoint PPT Presentation

Software Reliability - Software Reliability 25 September 2006 About the Evening Lectures Viewing is required All lectures will be recorded and shown during a regular class period Working on ...

Software Reliability 25 September 2006 About the Evening Lectures Viewing is required All lectures will be recorded and shown during a regular class period Working on ...

| PowerPoint PPT presentation | free to download

Social Implications of a Computerized Society PowerPoint PPT Presentation

Social Implications of a Computerized Society - Have we become too dependent on computers? Should we use them less? ... Poor management and poor communication among customers, designers, programmers, etc. ...

Have we become too dependent on computers? Should we use them less? ... Poor management and poor communication among customers, designers, programmers, etc. ...

| PowerPoint PPT presentation | free to download

Tutorial 4: Case Study PowerPoint PPT Presentation

Tutorial 4: Case Study - Tutorial 4: Case Study Set Phasers on Stun SY DE 142 June 7, 2004 Introduction to Human Systems Engineering Waterloo, Ontario, Canada Outline Case Study ...

Tutorial 4: Case Study Set Phasers on Stun SY DE 142 June 7, 2004 Introduction to Human Systems Engineering Waterloo, Ontario, Canada Outline Case Study ...

| PowerPoint PPT presentation | free to view

The Linear Accelerator PowerPoint PPT Presentation

The Linear Accelerator - The Linear Accelerator Matt Barbin BME 181 Produces radiation that is referred to as a high-energy x-ray for patients with cancer In 1928, R. Wideroe demonstrated ...

The Linear Accelerator Matt Barbin BME 181 Produces radiation that is referred to as a high-energy x-ray for patients with cancer In 1928, R. Wideroe demonstrated ...

| PowerPoint PPT presentation | free to download

Infamous Software Failures PowerPoint PPT Presentation

Infamous Software Failures - The bug had not been detected in operational tests of the rover on Earth because ... (Reuters) June 28, 2002 According to a study by the U.S. Department of ...

The bug had not been detected in operational tests of the rover on Earth because ... (Reuters) June 28, 2002 According to a study by the U.S. Department of ...

| PowerPoint PPT presentation | free to download

Software Quality PowerPoint PPT Presentation

Software Quality - Title: PowerPoint Presentation Last modified by: Kenrick Mock Created Date: 1/1/1601 12:00:00 AM Document presentation format: On-screen Show Other titles

Title: PowerPoint Presentation Last modified by: Kenrick Mock Created Date: 1/1/1601 12:00:00 AM Document presentation format: On-screen Show Other titles

| PowerPoint PPT presentation | free to download

Comp 380 Computers and Society PowerPoint PPT Presentation

Comp 380 Computers and Society - Stop me about 15 minutes early so that we can talk about the term ... http://www5.in.tum.de/~huckle/bugse.html. http://www.baddesigns.com/ 41. Administrative ...

Stop me about 15 minutes early so that we can talk about the term ... http://www5.in.tum.de/~huckle/bugse.html. http://www.baddesigns.com/ 41. Administrative ...

| PowerPoint PPT presentation | free to view

CSE 403, Software Engineering Lecture 6 PowerPoint PPT Presentation

CSE 403, Software Engineering Lecture 6 - CSE 403, Software Engineering Lecture 6 Non-functional specification

CSE 403, Software Engineering Lecture 6 Non-functional specification

| PowerPoint PPT presentation | free to download

A Gift of Fire: Social, Legal, and Ethical Issues for Computers and the Internet PowerPoint PPT Presentation

A Gift of Fire: Social, Legal, and Ethical Issues for Computers and the Internet - Error-free software is not possible. Errors are often caused by more than one factor. Errors can be reduced by following good procedures and ... (Election! ...

Error-free software is not possible. Errors are often caused by more than one factor. Errors can be reduced by following good procedures and ... (Election! ...

| PowerPoint PPT presentation | free to view

Book%20Chapter%201 PowerPoint PPT Presentation

Book%20Chapter%201 - A concurrent program has multiple threads of control allowing it perform ... Mars Rover. Problems with interaction between concurrent tasks ...

A concurrent program has multiple threads of control allowing it perform ... Mars Rover. Problems with interaction between concurrent tasks ...

| PowerPoint PPT presentation | free to download

FAILURES IN COMPLEX SYSTEMS: case studies, causes, and potential remedies from artificial intelligence research PowerPoint PPT Presentation

FAILURES IN COMPLEX SYSTEMS: case studies, causes, and potential remedies from artificial intelligence research - potential remedies from artificial intelligence research Abstract: Computers are the pervasive technology of our time. It is also clear that we allow computers to be ...

potential remedies from artificial intelligence research Abstract: Computers are the pervasive technology of our time. It is also clear that we allow computers to be ...

| PowerPoint PPT presentation | free to download

Introduction to Software Engineering and the Software Lifecycle PowerPoint PPT Presentation

Introduction to Software Engineering and the Software Lifecycle - ... territory; wrong turns, long travel at end of shift ... Prototyping should be a relatively cheap process. Use rapid prototyping languages and tools ...

... territory; wrong turns, long travel at end of shift ... Prototyping should be a relatively cheap process. Use rapid prototyping languages and tools ...

| PowerPoint PPT presentation | free to download

Software%20Engineering%20CST%201b PowerPoint PPT Presentation

Software%20Engineering%20CST%201b - Many large projects fail in that they're late, over budget, don't work well, or ... It's also worth putting extra effort into getting the specification right, as it ...

Many large projects fail in that they're late, over budget, don't work well, or ... It's also worth putting extra effort into getting the specification right, as it ...

| PowerPoint PPT presentation | free to download

Debriefing on Ethics Bowl PowerPoint PPT Presentation

Debriefing on Ethics Bowl - Exploring Confidentiality (right/duty grounded in property) Difficulty with tension between ... You presented forcefully, courageously, and eloquently ...

Exploring Confidentiality (right/duty grounded in property) Difficulty with tension between ... You presented forcefully, courageously, and eloquently ...

| PowerPoint PPT presentation | free to download

Safety-Critical Software as Social Experimentation - How Will Software Engineers Internalize Risk Concerns? PowerPoint PPT Presentation

Safety-Critical Software as Social Experimentation - How Will Software Engineers Internalize Risk Concerns? - Social expectations on experimentation are well known ... [Par90] Parnas, 'Evaluation of safety-Critical Software,' CACM June, 1990 ...

Social expectations on experimentation are well known ... [Par90] Parnas, 'Evaluation of safety-Critical Software,' CACM June, 1990 ...

| PowerPoint PPT presentation | free to download

M - Desenvolvimento Formal de Software Vis o geral Motiva o Um Modelo para Desenvolvimento Formal de Software Estilos de Especifica o Considera es Finais ...

Desenvolvimento Formal de Software Vis o geral Motiva o Um Modelo para Desenvolvimento Formal de Software Estilos de Especifica o Considera es Finais ...

| PowerPoint PPT presentation | free to view

??? ????? - ... * * EMC Symmetrix Business-critical: ...

... * * EMC Symmetrix Business-critical: ...

| PowerPoint PPT presentation | free to download

Software Engineering Background PowerPoint PPT Presentation

Software Engineering Background - Decade long project with many cost overruns. ... the computer controlled guided-missile cruiser USS Yorktown mistakenly entered a ...

Decade long project with many cost overruns. ... the computer controlled guided-missile cruiser USS Yorktown mistakenly entered a ...

| PowerPoint PPT presentation | free to download

Therac PowerPoint PPT Presentations