Abstract
Fault Tree Analysis (FTA) is a formalised deductive technique allowing the investigation of possible causes of undesired system states, referred to as Top Events. In doing so, these states are associated with abnormal system behaviours caused by failures at component level and/or by external events. A Top Event can be any system state considered critical from the risk viewpoint. One can think of an explosion in an industrial plant, the release of radionuclides in a nuclear reactor, the derailment of a high-speed train. Top Events can also represent unavailability of an alarm sub-system.
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
Amendola, A., Clarotti, C.A., Contini, S., Spizzichino, F. (1980): Analysis of Complete Logical Structures in System Reliability Assessment, JRC-Ispra, EUR 6886 EN
Bryant, R. (1987): Graph Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computer, 35 (8), pp. 677–691
Caldarola, L., Wichenhauser, W. (1981): The Boolean Algebra with Restricted Variables as a Tool for Fault Tree Modularization, JRC-Karlsruhe, KfK 3190/EUR 7056e
Clarotti, C.A., De Cola, G., (1983): The Markan Code, in: Proc. Eurodata Conference, Venice, Italy
Contini, S. (1998): ASTRA Theoretical Handbook. JRC-Ispra, SP-report, under publication
Contini, S., Cojazzi, G., Sardellia, R. (1995): Technical Specifications and Algorithms to Adapt ISPRA-FTA for Nuclear Applications, ISEI/IE/2936/95, JRC-Ispra, Technical Note, TN. I.95.6
Coudert, J.C., Madre, P. (1994): Metaprime: An Interactive Fault Tree Analyser with Binary Decision Diagrams, IEEE Transactions on Reliability, Vol. 43
Gianotti, P. (1997): Rassegna dei metodi per la determinazione delle caratteristiche affidabilistiche di sistemi non coerenti. JRC-Ispra, Technical Note, TN. I. 97. 131
Leveson, N., Harvey, P. (1983): Analysing Software Safety, IEEE Transactions on Software Engineering, SE-9, Vol. 5
Liu, J.C., Pan, Z.J. (1990): A new Method to Calculate the Failure Frequency of Not Coherent Systems. IEEE Transactions on Reliability, Vol. 39 (3)
Rauzy, A. (1993): New Algorithms for Fault Tree Analysis. Reliability Engineering and Safety (40), pp. 203–211
Rauzy, A (1995) Aralia Version 1.0: Developers’ Guide. Technical report, Univers. Bordeaux, LaBRI-URA CNRS 1304
Scheer, S., Maier, T. (1997): Towards Dependable Software Requirement Specifications, in: Proc. SAFECOMP’97 (ed.: Scheer, S., Maier, T), pp. 37–47, York
Wilikens, M., Vallero, D., Masera, M. (1997): Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems, in: Proc. SAFECOMP’97 (ed.: P. Daniel), pp. 83–97, York
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Wien
About this paper
Cite this paper
Contini, S., Scheer, S., Wilikens, M., de Cola, G., Cojazzi, G. (1999). ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. In: Berghammer, R., Lakhnech, Y. (eds) Tool Support for System Specification, Development and Verification. Advances in Computing Science. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6355-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6355-9_6
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83282-0
Online ISBN: 978-3-7091-6355-9
eBook Packages: Springer Book Archive