Boosting Fault Tree Analysis by Formal Methods.
Joost-Pieter KatoenMariëlle StoelingaPublished in: ModelEd, TestEd, TrustEd (2017)
Keyphrases
- formal methods
- fault tree analysis
- fault tree
- fuzzy numbers
- gas turbine
- formal analysis
- model checker
- safety critical
- artificial intelligence
- fault diagnosis
- formal specification
- knowledge based systems
- model checking
- qualitative analysis
- software engineering
- computer aided
- friendly interface
- reliability analysis
- expert systems
- control system
- process algebra
- formal specification language
- failure modes
- development lifecycle
- fuzzy sets
- database
- control strategy
- databases
- real time