1 / 11

Safety Assessment (Fault Trees)

Safety Assessment (Fault Trees). ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011. Safety Assessment. Find hazards that may lead to incidents or mishaps ,

vida
Télécharger la présentation

Safety Assessment (Fault Trees)

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 Assessment (Fault Trees) ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University August 2011

  2. Safety Assessment Find hazardsthat may lead to incidents or mishaps, analyze their relations, and estimate their consequences. May involve probabilistic reasoning (Reliability Engineering). Is PFH < 10-6 per hour (h-1 ) ?

  3. Techniques • Fault Trees • 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

  4. 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 Trees - Events

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

  6. Example – ”Woke too late” Woke too late ”Inner clock” fails Phone fails Alarm clock fails

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

  8. 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

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

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

  11. Exercise – estimate the PFD Alarm clock fails Power fails Beeper fails Button fails electronics fail SW fails Beeper not set Button read fails

More Related