Ph.D. Pau Fonseca i Casas

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).

Durante la última década se ha avanzado mucho en la estandarización de una base teórica sólida gracias al asentamiento de un framework generalmente aceptado como DEVS. Asimismo, han aparecido un buen número de librerías y productos orientados a paradigmas más evolucionados como los basados en Agentes Inteligentes.

In this paper we explore how we can use Specification and Description Language (SDL) to represent environmental models. Since the main concern in this kind of models is the representation of the geographical information data, we analyze how we can represent this information in the SDL diagrams. We base our approach using two examples, a representation of the Fibonacci function using a cellular automaton, and the representation of a wildfire model. To achieve this we propose the use of a language extension to Specification and Description Language.

The paper introduces a novel method to represent slab avalanche phenomena.
The model is based on a cellular automaton generalization named m:n-CAk. This generalization allows the use of
different layers in a single cellular automaton. Each one of these layers represents the GIS data needed to perform the calculations. The model is represented using Specification and Description Language, and is implemented in

Abstract: In this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-CA^k. Also we add some extension to SDL language to simplify the representation of these automata. Thanks to SDL and m:n-CA^k the behavior of the cellular automata model can be defined in a graphical way allowing the complete and unambiguous description of the simulation model that uses it.