Logical analysis of discrete event system using compositional minimization

Abstract

Logical analysis of a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method based on compositional minimization for DEVS models. For the purpose of logical analysis of DEVS models, Communicating Discrete Event Systems (CDEVS) model was defined, which enables representing the nondeterministic behavior of systems. As a means of systematic proof technique, two operations named composition and minimization were defined. These operations are compatible with the meaning of the communication semantics of DEVS models. Repetitive composition and minimization of component models produces a new CDEVS model that has the same input output responses to an environment. As the conformation criteria between the specification and the implementation, equivalence relation has been used. © 2013 Springer Science+Business Media Dordrecht.