Model-based reasoning methodology using the symbolic DEVS simulation

Model-based reasoning procedures infer single or multiple causes and/or timing relations from the knowledge of the behavior of component models and their causal structure. The overall goal of this paper is to develop an automated model-based reasoning methodology that exploits deep knowledge of the structure and behavior of a system. We have proceeded by building a software environment that uses such knowledge to reason from advanced symbolic simulation techniques in solving problems. In contrast to other approaches, we represent events occurring in symbolic time and analyze how systems respond to given constraints. The proposed methodology offers a convenient means for conducting multiple, simultaneous explorations of model behavior Several applications are given with concentration on the analysis of diagnosis and performance evaluation.