SDL distributed simulator

Summary form only given. Formalisms allows the complete understanding of a simulation model and helps in its implementation. However only few simulation tools allows an automatic construction of a simulation model based in a formalization of the system. SDL is a modern object oriented formalism that allows the definition of distributed systems. It has focused on the modeling of reactive, state/event driven systems, and has been standardized by the International Telecommunications Union (ITU) in the Z.100 recommendation. Since it is a graphical formalism simplifies the understanding of the model. In this poster we show an implementation of a simulation infrastructure that follows SDL formalization language. This infrastructure allows a distributed simulation of the models without any modification to the model definition. Since this infrastructure follows the SDL language formalism it is useful not only for a production use, but to teach formalisms and distributed simulation concepts.