Specification of Timed EFSM Fault Models in SDL.

Samrat S. Batth Elisangela Rodrigues Vieira Ana R. Cavalli M. Ümit Uyar

Published in: FORTE (2007)

Keyphrases

finite state machines
fault models
model based diagnosis
model checking
fault model
high level
regular expressions
fault management
information systems
response time
pattern matching
horn clauses
colored petri nets