Symbolic Fault Tree Analysis for Reactive Systems.
Marco BozzanoAlessandro CimattiFrancesco TapparoPublished in: ATVA (2007)
Keyphrases
- reactive systems
- fault tree analysis
- fault tree
- fuzzy numbers
- model checking
- temporal logic
- petri net
- information flow
- qualitative analysis
- fault diagnosis
- computer aided
- formal methods
- control system
- gas turbine
- qualitative and quantitative analysis
- control flow
- real time systems
- friendly interface
- failure modes
- quantitative analysis
- reliability analysis
- real time
- steady state
- information systems
- software engineering
- pattern recognition