TUFTsim: a multiple domain simulator for experimentation

TUFTsim is a multilevel multiple domain concurrent simulator that is able to investigate and detect scenarios of behavior. A scenario is a combination of individual behavior or points of failure. As a behavior propagates through a model, it has the possibility of colliding into another behavior at a common node or juncture. The result of a collision may produce a new combined behavior. The inherent features of concurrent simulation provides the simulator with the ability to track fault signatures, while simultaneously providing experiment observation capabilities. In this paper we present the algorithms that allow scenarios of experiments to be efficiently created and simulated. Using single stuck-at faults, we discuss the issues of dynamically creating multiple stuck-at-fault scenarios.