Abstract
Safety is one of the biggest concerns in the design of computer-aided control systems. In order to make the system as safe as possible a number of analysis techniques has been developed. One of them is Fault Tree Analysis. Fault tree (FT) represents causal and generalization relations between events (e.g. between hazard and its causes). However, original FT cannot express either time relations between events or times of: detection of a danger situation and protection. A new method based on systems of inequalities and equalities for analysis of FTs with time dependencies is proposed in the paper. The method can be used for analysis of protections too. FT analysis and modelling of protection using systems of inequalities and equalities will be illustrated by an example. Formal models of FT gates used in the paper have the same expressive power as Timed Petri Net (TPN) models of FT gates from the paper [5]. However, present analysis method has greater decision power than classic TPN analysis method because the present method can be applied for much greater FTs. Additionally, the present approach results in more clear final conclusions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. BERTHOMIEU, M. DIAZ, Modelling and Verification of Time Dependent Systems Using Time Petri Nets, IEEE Transaction of Software Engineering, vol. 17, no. 3, March 1991
B. BERTHOMIEU, M. MENASCHE, A State Enumeration Approach for Analyzing Time Petri Nets, 3. European Workshop on Applications and Theory of Petri Nets, Varenna (Italy), September 1982
J. GÓRSKI, Extending Safety Analysis Techniques With Formal Semantics, In Technology and Assessment of Safety Critical Systems, (F.J. Redmill, Ed.), Springer-Verlag, 1994
J. GÓRSKI, J. MAGOTT, A. WARDZIŃSKI, Modelling Fault Trees Using Petri Nets, SAFE COMP.95, Belgirate (Italy), 1995
J. GÓRSKI, A. WARDZIŃSKI, Formalising Fault Trees, Safety Critical Symposium, Brighton (UK), February 1995
N. LEVESON, J. STOLZY, Safety Analysis Using Petri Nets, IEEE Transaction of Software Engineering, vol. SE-13, no. 3, March 1987
P. SKROBANEK, Fault trees with time relations applied for introduction of protections into the systems (In Polish), Real-Time Systems.97, Szklarska Porêba, Poland, 1997
W. E. Vesely et el., Fault Tree Handbook, NUREG 0492, US Nucleary Regulatory Commission, 1981
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Magott, J., Skrobanek, P. (2000). A Method of Analysis of Fault Trees with Time Dependencies. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_16
Download citation
DOI: https://doi.org/10.1007/3-540-40891-6_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41186-4
Online ISBN: 978-3-540-40891-8
eBook Packages: Springer Book Archive