A translation of State Machines to temporal fault trees.

Nidhal Mahmud Yiannis Papadopoulos Martin Walker

Published in: DSN Workshops (2010)

Keyphrases

state machines
state machine
petri net
fault diagnosis
fault detection
temporal information
decision trees
machine translation
fault tolerant
recurrent networks
neural network
genetic algorithm
data model