没有合适的资源?快使用搜索试试~ 我知道了~
首页OpenFTA_Manual_v1
资源详情
资源评论
资源推荐
© Copyright 2005 Formal Software Construction Ltd.
Formal Software Construction Limited
CBTC, Senghenydd Road,
Cardiff CF24 4AY
Wales, UK.
Tel: +44 (0)29 2064 6080
Fax: +44 (0)29 2064 7009
Web: www.fsc.co.uk
Email: fta@fsc.co.uk
OpenFTA
Version 1.0
User Manual
Disclaimer
Formal Software Construction (FSC) Ltd provides this User Manual ‘as is’ and free of
charge. It assumes no responsibility for its correctness or for maintaining its
correctness, and assumes no liability whatsoever for any losses resulting directly or
indirectly from its use.
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
Chapter 1 - Introduction
OpenFTA Version 1.0 User Manual
© Copyright 2005 Formal Software Construction Ltd
3
Open (OpenFTA) .....................................................................................................49
Open (OpenPED) .....................................................................................................50
Page Setup................................................................................................................51
Page Setup Dialog....................................................................................................52
Paste (OpenFTA) .....................................................................................................53
Paste (OpenPED) .....................................................................................................54
Preferences...............................................................................................................55
Print... (OpenFTA)...................................................................................................56
Print... (OpenPED)...................................................................................................57
Print... (OpenFTA, Report) ......................................................................................58
Print Dialog..............................................................................................................59
Print Preview............................................................................................................60
Print Preview Dialog................................................................................................61
Printer Setup.............................................................................................................62
Report.......................................................................................................................63
Save (OpenFTA)......................................................................................................64
Save (OpenPED)......................................................................................................65
Save As... (OpenFTA)..............................................................................................66
Save As... (OpenPED)..............................................................................................67
Selected... .................................................................................................................68
Set Zoom..................................................................................................................69
Shift Left ..................................................................................................................70
Shift Right................................................................................................................71
Symbol Palette .........................................................................................................72
Tree Overview..........................................................................................................74
Undo.........................................................................................................................75
Validate ....................................................................................................................76
View.........................................................................................................................77
View (OpenFTA, Report)........................................................................................78
Zoom In....................................................................................................................79
Zoom Out .................................................................................................................80
Appendix A - Analysis Methods.................................................................................81
Overview..................................................................................................................81
Numerical Probability Analysis...............................................................................81
Monte Carlo Simulation...........................................................................................82
The P-model and the ?-model..................................................................................83
Appendix B - The Three Motor Example ...................................................................84
Overview..................................................................................................................84
Three Motor Example ..............................................................................................84
The Top Level Fault Tree ........................................................................................86
The Transferred Fault Tree ......................................................................................88
The Qualitative Analysis Report..............................................................................89
The Probability Analysis Report..............................................................................93
The Monte Carlo Report..........................................................................................97
The Primary Event Database Report......................................................................104
Chapter 1 - Introduction
OpenFTA Version 1.0 User Manual
© Copyright 2005 Formal Software Construction Ltd
4
Chapter 1 - Introduction
Overview
This manual describes how OpenFTA is used for the drawing and analysis of fault trees. It includes a
step-by-step tutorial and a reference section describing each of the tool’s facilities.
What is OpenFTA?
OpenFTA is a sophisticated engineering tool for drawing, analysing and printing fault trees. The task of
the analyst is aided by the tool’s many facilities and features, which include:
• a point-and-click graphical user interface enabling rapid drawing of fault trees
• support for the full set of fault tree symbols in accordance with NUREG-0492
• a database for storing primary event definitions
• qualitative analysis of fault trees to determine minimal cut sets
• quantitative analysis of fault trees (including a Monte Carlo Simulation facility).
Pre-Requisites
This manual assumes that the user is familiar with modern software packages that have graphical user
interfaces (GUIs).
This manual is not intended to be a textbook on fault tree analysis. It is assumed that the user is familiar
with the methodologies involved in the drawing and analysis of fault trees and the terminology
employed in the discipline.
This Manual
This manual is divided into two main sections:
• the OpenFTA Tutorial introduces the facilities offered by OpenFTA by working through the
process of drawing and analysing a fault tree
• the OpenFTA Reference provides a comprehensive description of each of the facilities and
functions provided by OpenFTA.
Throughout the document, when a new term is introduced in the text, it is highlighted in a bold font.
Text that is in an italic font is text that is displayed by the OpenFTA user interface.
Chapter 2 - OpenFTA Tutorial
OpenFTA Version 1.0 User Manual
© Copyright 2005 Formal Software Construction Ltd
5
Chapter 2 - OpenFTA Tutorial
Overview
This chapter introduces key concepts and provides a guide to the facilities offered by OpenFTA. For
more detailed information on any particular facility of OpenFTA, refer to Chapter 3.
This tutorial describes:
• how to start OpenFTA
• getting on-line help from OpenFTA
• how to create and modify fault tree drawings
• how to specify primary event definitions
• how to analyse fault trees
• exporting data to other packages.
Starting OpenFTA
OpenFTA is started by selecting OpenFTA from the windows “Start” menu. The default location for
this is inside a group called “Formal Software Construction -> OpenFTA”
Figure 1: OpenFTA’s Initial Display.
剩余106页未读,继续阅读
crownclown0
- 粉丝: 0
- 资源: 1
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- ExcelVBA中的Range和Cells用法说明.pdf
- 基于单片机的电梯控制模型设计.doc
- 主成分分析和因子分析.pptx
- 共享笔记服务系统论文.doc
- 基于数据治理体系的数据中台实践分享.pptx
- 变压器的铭牌和额定值.pptx
- 计算机网络课程设计报告--用winsock设计Ping应用程序.doc
- 高电压技术课件:第03章 液体和固体介质的电气特性.pdf
- Oracle商务智能精华介绍.pptx
- 基于单片机的输液滴速控制系统设计文档.doc
- dw考试题 5套.pdf
- 学生档案管理系统详细设计说明书.doc
- 操作系统PPT课件.pptx
- 智慧路边停车管理系统方案.pptx
- 【企业内控系列】企业内部控制之人力资源管理控制(17页).doc
- 温度传感器分类与特点.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0