System State Identification Using DEVS

GIAMBIASI, NORBERT; LLARRULL, DIEGO; CRISTIÁ, MAXIMILIANO

Discrete-Event Modeling and Simulation: Theory and Applications

Taylor and Francis (CRC Press)

Año: 2010; p. 1 - 534

In this paper, we propose an approach for system state identification using the DEVS formalism. In other words, extensions to timed models of classical methods developed in the field of sequential machines are defined. The aim of these methods is to deduce information on the statesof a system by observing its input/output behavior. In fact, in this paper, we are concerned with the following testing problems: determine the final state after the test, identify the initial state, verify the unknown initial state.A possible field of application for this work is the testing of discrete event control systems for which timed considerations are generally needed.In this first approach, we propose extension of testing methods for a subset of DEVS models, in this subset, the next states of a model does not depend on the elapsed time in the current state. Finally, we briefly show some considerations about the implementation of these testing methods.