Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis.
Isabella LanzaniRiccardo ScattoliniEnrico ZioAlessandro CimattiMarco BozzanoStefano TonettaPublished in: ICSRS (2023)
Keyphrases
- fault tree analysis
- fault tree
- fuzzy numbers
- data mining
- computer aided
- control system
- qualitative analysis
- formal methods
- real world
- formal model
- gas turbine
- ontological engineering
- knowledge representation languages
- artificial intelligence
- risk assessment
- design methodology
- fault diagnosis
- failure modes
- fuzzy relational
- neural network