1 / 10

Safety Analysis – A quick introduction

Safety Analysis – A quick introduction. RTS February 2006 Anders P. Ravn Aalborg University. Safety Assessment. Find faults that may lead to mishaps, analyze their relations , and estimate their consequences. May involve probabilistic reasoning (Reliability Engineering).

keanu
Télécharger la présentation

Safety Analysis – A quick introduction

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Safety Analysis – A quick introduction RTS February 2006 Anders P. Ravn Aalborg University

  2. Safety Assessment Find faults that may lead to mishaps, analyze their relations, and estimate their consequences. May involve probabilistic reasoning (Reliability Engineering).

  3. Primary Events: Basic event – fault in atomic component Undeveloped Event – fault in composite component (may be analyzed later) External event – expected event from environment Intermediate event: Nodes inside a fault-tree Fault Tree - Events

  4. ... ... Fault Tree - Gates condition Inhibit gate

  5. Example – ”Wake too late” Wake too late ”Inner clock” fails Phone fails Alarm clock fails

  6. Example ”Alarm clock fails” Alarm clock fails Power fails Beeper fails electronics fail Button fails SW fails Beeper not set Button read fails

  7. Cut Set A cut set is a set of events that causes a top level event A singleton cut set is a single point of failure

  8. Example – ”Wake too late” Wake too late ”Inner clock” fails Phone fails Alarm clock fails

  9. Example ”Alarm clock fails” Alarm clock fails Power fails Beeper fails electronics fail Button fails SW fails Beeper not set Button read fails

  10. Extensions etc. • Probabilities on edges • Event tree (forward analysis from initiating event) • Combinations (cause-consequence diagrams) • Many tools Kirsten M. Hansen, Anders P. Ravn and Victoria Stavridou, From Safety Analysis to Formal Specification, IEEE Trans. Softw. Eng.24,pp. 573-584, July 1998

More Related