TITLE
AUTHORS
Abstract
We present the tool \ourtool ({\em Uppaal Fault Injector for Timed automata}). In \ourtool, we model five types of faults, namely, message loss, transient, byzantine, stuck-at, and fail-stop faults. Given the fault-free timed automata model and the selection of a type of fault, \ourtool models the faults and generates the fault-affected timed automata model automatically. As a result, the designer can analyze the behavior of the model in the presence of faults. Moreover, there are several tools that extract timed automata models from higher-level programs. Hence, the designer can use \ourtool to inject the faults into the extracted models.
Paper:
Return to the publication list
Return to the Sandeep's home page