학술논문
Partially automatic generation of fault-trees with time dependencies
Document Type
Conference
Author
Source
2006 International Conference on Dependability of Computer Systems Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on. :43-50 May, 2006
Subject
Language
Abstract
In the paper, we concentrate on safety analysis of systems controlled by controller whose dynamics is expressed by UML state-chart. The idea of construction of the FT with time dependencies is as follows. The structure of the FT is created by human being. Time parameters of events and gates of the FT are determined partially automatically from UML state-charts of the controller and from dynamics of the controlled objects. The dynamics of the controlled objects is defined by UML state-charts too. Time parameters of events and gates of the FT are expressed by time intervals. Minimal and maximal values of these time intervals are given by lengths of minimal and maximal paths in the state-charts that express the controller and the controlled objects.