loading...
Partially automatic generation of fault-trees with time dependencies
Szklarska Poreba, Poland May 25-May 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.40International Conference on Dependabi ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Jan Magott, Pawel Skrobanek, "Partially automatic generation of fault-trees with time dependencies," Dependability of Computer Systems, International Conference on, pp. 43-50, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/DEPCOS-RELCOMEX.2006.40,
author = {Jan Magott and Pawel Skrobanek},
title = {Partially automatic generation of fault-trees with time dependencies},
journal ={Dependability of Computer Systems, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2565-2},
pages = {43-50},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.40},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Dependability of Computer Systems, International Conference on
TI - Partially automatic generation of fault-trees with time dependencies
SN - 0-7695-2565-2
SP43
EP50
A1 - Jan Magott,
A1 - Pawel Skrobanek,
PY - 2006
KW - null
VL - 0
JA - Dependability of Computer Systems, International Conference on
ER -
 
Jan Magott, Technical University of Wroclaw, Poland
Pawel Skrobanek, Technical University of Wroclaw, Poland
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.
Citation:
Jan Magott, Pawel Skrobanek, "Partially automatic generation of fault-trees with time dependencies," depcos-relcomex, pp.43-50, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.