Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis.
HyeonJeong KimW. Eric WongVidroha DebroyDoo-Hwan BaePublished in: APSEC (2010)
Keyphrases
- state machine
- safety analysis
- fault model
- nuclear power plant
- fault tolerant
- safety critical
- control system
- finite state machines
- fault detection
- symbolic model checking
- condition monitoring
- fault diagnosis
- class diagrams
- reliability analysis
- model based diagnosis
- uml diagrams
- tree structure
- unified modeling language
- sequence diagrams
- uml class diagrams
- real time