Chapter 1 - Introduction
OpenFTA Version 1.0 User Manual
© Copyright 2005 Formal Software Construction Ltd
2
Chapter 1 - Introduction...............................................................................................4
Overview....................................................................................................................4
What is OpenFTA? ....................................................................................................4
Pre-Requisites ............................................................................................................4
This Manual...............................................................................................................4
Chapter 2 - OpenFTA Tutorial.....................................................................................5
Overview....................................................................................................................5
Starting OpenFTA......................................................................................................5
Getting Help ...............................................................................................................7
Drawing A Fault Tree ................................................................................................7
Preferences.................................................................................................................8
File Storage ................................................................................................................8
Printing.......................................................................................................................9
Providing Primary Event Information.....................................................................10
Connecting Trees With Databases ...........................................................................12
Validation.................................................................................................................12
Analysing The Fault Tree ........................................................................................12
Decomposing Fault Trees ........................................................................................14
Chapter 3 - OpenFTA Reference................................................................................16
Overview..................................................................................................................16
Analysis....................................................................................................................17
Apply (OpenPED)....................................................................................................18
Clear (OpenPED) .....................................................................................................19
Copy(OpenFTA) ......................................................................................................20
Copy(OpenPED) ......................................................................................................21
Constant Failure Rate/Unit Time .............................................................................22
Cut (OpenFTA)........................................................................................................23
Cut (OpenPED)........................................................................................................24
Database...................................................................................................................25
Delete (OpenFTA) ...................................................................................................26
Delete Event (OpenPED).........................................................................................27
Dormant ...................................................................................................................28
Edit (OpenFTA) .......................................................................................................29
Edit (OpenPED) .......................................................................................................30
Exit...........................................................................................................................31
Export Image............................................................................................................32
Export Text File... ....................................................................................................33
File (OpenFTA)........................................................................................................34
File (OpenPED)........................................................................................................35
File Selection Dialog................................................................................................36
Help ..........................................................................................................................37
Link ..........................................................................................................................38
Minimal Cut Sets... ..................................................................................................39
Monte Carlo Simulation...........................................................................................41
New (OpenFTA)......................................................................................................44
New (OpenPED)......................................................................................................45
Numerical Probability..............................................................................................46
