ABSTRACT
This chapter presents the existing theory, together with the tools and concepts that will be necessary to extend it. It proposes an extension of the first subset of models in order to enlarge the spectrum of models to which the theory of fault detection can be applied, and shows some considerations about the implementation of these testing methods. Discrete EVent system Specification (DEVS) allows building discrete timed event abstractions of dynamic systems with clean simulation semantics and a clean correspondence between the real system and the basic concepts of the formalism. In order to perform a homing experiment on a SB DEVS model, the procedure described in Kohavi can be utilized in a straightforward way, by considering the passive transition function and the concept of slow timed execution fragments. In H. P. Dacharry and N. Giambiasi, a hierarchy of discrete-event formalisms with increasing complexity was introduced, maintaining, at the same time, the clarity of concepts and cohesion in the structure.
