A Graphic Tool for Two-Frame-Based Safety Analysis Techniques
碩士 === 元智工學院 === 電機與資訊工程研究所 === 84 === Two Frame Model (TFM) is a new analytical framework for analyzing computercontrolled systems.Several analysis techniques (FFTA/FETA) under TFM have beenproposed. However, due to lack of tools, these te...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Online Access: | http://ndltd.ncl.edu.tw/handle/65451664423253298175 |
| Summary: | 碩士 === 元智工學院 === 電機與資訊工程研究所 === 84 === Two Frame Model (TFM) is a new analytical framework for
analyzing computercontrolled systems.Several analysis techniques
(FFTA/FETA) under TFM have beenproposed. However, due to lack of
tools, these techniques can not be widelyused. This thesis
refines the old Frame-Based FTA and ETA (FFTA/FETA)techniquesand
constructs a tool called A Graph Tool for Two-Frame-Based Safety
AnalysisTechniques . This tool implements the refined frame-
based fault tree and eventtree algorithms and provides
visualization for analysis results. This systemprovides
generalization of FFTA/FETA algorithms and increases the
readabilityof the analytical results so as to save analysis
efforts.A case studies hasbeen performed to demonstrate the
effectiveness of the tool.
|
|---|