Towards an automatic transformation from a DEVS to a SDL specification
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Formal simulation model to optimize building sustainability
Advances in Engineering Software
| Hi-index | 0.00 |
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.