ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies

  • S. Contini
  • S. Scheer
  • M. Wilikens
  • G. de Cola
  • G. Cojazzi
Conference paper
Part of the Advances in Computing Science book series (ACS)


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.


Fault Tree Probabilistic Quantification Software Requirement Binary Decision Diagram Fault Tree Analysis 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Amendola, A., Clarotti, C.A., Contini, S., Spizzichino, F. (1980): Analysis of Complete Logical Structures in System Reliability Assessment, JRC-Ispra, EUR 6886 ENGoogle Scholar
  2. Bryant, R. (1987): Graph Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computer, 35 (8), pp. 677–691CrossRefGoogle Scholar
  3. Caldarola, L., Wichenhauser, W. (1981): The Boolean Algebra with Restricted Variables as a Tool for Fault Tree Modularization, JRC-Karlsruhe, KfK 3190/EUR 7056eGoogle Scholar
  4. Clarotti, C.A., De Cola, G., (1983): The Markan Code, in: Proc. Eurodata Conference, Venice, ItalyGoogle Scholar
  5. Contini, S. (1998): ASTRA Theoretical Handbook. JRC-Ispra, SP-report, under publicationGoogle Scholar
  6. 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.6Google Scholar
  7. Coudert, J.C., Madre, P. (1994): Metaprime: An Interactive Fault Tree Analyser with Binary Decision Diagrams, IEEE Transactions on Reliability, Vol. 43Google Scholar
  8. Gianotti, P. (1997): Rassegna dei metodi per la determinazione delle caratteristiche affidabilistiche di sistemi non coerenti. JRC-Ispra, Technical Note, TN. I. 97. 131Google Scholar
  9. Leveson, N., Harvey, P. (1983): Analysing Software Safety, IEEE Transactions on Software Engineering, SE-9, Vol. 5Google Scholar
  10. 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)Google Scholar
  11. Rauzy, A. (1993): New Algorithms for Fault Tree Analysis. Reliability Engineering and Safety (40), pp. 203–211Google Scholar
  12. Rauzy, A (1995) Aralia Version 1.0: Developers’ Guide. Technical report, Univers. Bordeaux, LaBRI-URA CNRS 1304Google Scholar
  13. Scheer, S., Maier, T. (1997): Towards Dependable Software Requirement Specifications, in: Proc. SAFECOMP’97 (ed.: Scheer, S., Maier, T), pp. 37–47, YorkGoogle Scholar
  14. 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, YorkGoogle Scholar

Copyright information

© Springer-Verlag Wien 1999

Authors and Affiliations

  • S. Contini
  • S. Scheer
  • M. Wilikens
  • G. de Cola
  • G. Cojazzi

There are no affiliations available

Personalised recommendations