Conference

Paper presented to a conference and published in the proceedings.

Modelling surgical pavilions and a unit of anaesthesia on a Chilean hospital using Specification and Description Language

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.

Date: 
Wednesday, September 7, 2011 (All day) - Friday, September 9, 2011 (All day)

Simulation hypotheses

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.

Date: 
Sunday, October 23, 2011 (All day) - Saturday, October 29, 2011 (All day)

Towards a SDL-DEVS Simulator

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.

Date: 
Sunday, October 23, 2011 (All day) - Saturday, October 29, 2011 (All day)

Using specification and description language to represent users’ profiles in OMNET++ simulations

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

Date: 
Sunday, April 3, 2011 (All day) - Wednesday, April 6, 2011 (All day)

Towards a representation of environmenal models using specification and description language

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.

Date: 
Monday, October 25, 2010 (All day) - Thursday, October 28, 2010 (All day)

Representing Fibonacci function through cellular automata using Specification and Description Language

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.

Date: 
Sunday, July 11, 2010 (All day) - Thursday, July 15, 2010 (All day)

Using Specification and Description Language to define and implement discrete simulation models

Formal languages become important tools since allows the complete understanding of the model and helps in its implementation. However only few simulation tools allow an automatic execution of a simulation model based in a formalization of the system. Specification and Description Language is a modern object oriented

Date: 
Sunday, July 11, 2010 (All day) - Wednesday, July 14, 2010 (All day)
iPaper: 

Towards an automatic transformation from a DEVS to an SDL specification

SDL is a graphical language, standardized under the Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. In this paper we have three objectives, first present an algorithm that allows the transformation of a DEVS specification to an SDL specification. Second we present a XML representation for the SDL language; this XML representation can help in an automatic transformation of the SDL model representation to a DEVS model representation.

Date: 
Monday, July 13, 2009 (All day) - Wednesday, December 16, 2009 (All day)

Pau Fonseca i Casas
Department of Statistics and Operations Research

Universitat Politècnica de Catalunya - BarcelonaTECH
North Campus - C5218 Room
Barcelona, 08034, SPAIN

Tel. (+34) 93 4017035
Fax. (+34) 93 4015855

LIAM