Simulation

Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations.

Les tècniques de simulació informàtica faciliten la presa de decisions en l’àmbit industrial. No obstant això, durant els últims anys les simulacions estan emergint en aplicacions socials i mediambientals fins fa poc inimaginables. La recollida de dades i el comportament humà imprevisible són els dos grans reptes d’aquesta tecnologia, que avança amb el suport de supercomputadors cada vegada més potents.

Abstract: This work addresses the problem of performing a formal modelling of the processes related to the surgical pavilions and an anaesthesia unit on a Chilean hospital. To perform this modelling we used Specification and Description Language (SDL). The model was very successful in order to document and to understand the tacit knowledge of the unit and facilitates the simulation.

Abstract – This paper presents experiences obtained from our involvement in the development
of industrial simulation projects. Some important, common questions are covered, such as the
need to define model behavior using a conceptual model, the problem of choosing the
appropriate tool to code the model, and the validation and verification process required. As we
will see, the scope of applicability of simulation is broad and the tools are therefore diverse. A

Defining a simulation model implies the use of different knowledge of the system we are going to model. Often, this knowledge is not complete or lacks in the needed detail in order to fully explain the behavior and the structure of the system. In that case, different hypotheses must be used in order to constrain the reality, or allow the needed complete and unambiguous definition of the model. However, all the hypotheses used do not lie in the same category.

In this paper, we present the first version of a simulator that allows executing models defined using Discrete Event System Specification and models defined using Specification and Description Language. Specification and Description Language (SDL) is a graphical language, standardized under the ITU Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. Discrete Event System Specification (DEVS) is a formalism widely used on the simulation field to represent Discrete Event Systems.

L’article introdueix un nou mètode per simular la dinàmica d’una allau de neu de placa. L’estructura del model està basada en una generalització d’autòmat cel·lular (AC) que permet utilitzar diferents capes (mn-CAk). Cada una d’aquestes capes representa la informació geogràfica necessària per caracteritzar l’evolució de l’allau.

Omnet++ is a powerful and open-source simulation tool which is basically intended to model discrete-event systems. In particular, Omnet++ is extensively used to model and simulate computer networks. Typically, when a Wide Area Network needs to be modeled, different assumptions are made in order to simplify the complexity associated with human behavior. Nevertheless, human behavior can also be modeled, at least to some extent, by using Multi Agent Systems (MAS).