1.

INTRODUCCION En general, para implementar sistemas automatizados flexibles, complejos y altamente precisos, debemos construir sistemas de test caros y complejos. Esta complejidad hace que el chequeo sea difcil (o imposible), as como la previsin de su comportamiento y comprensin global, indispensable para minimizar los riesgos en el sistema desarrollado. Para lograr estos objetivos con una aproximacin efectiva con respecto a los costos, est difundido el uso de metodologas y herramientas de simulacin. Las ventajas de la simulacin son mltiples: puede reducirse el tiempo de desarrollo del sistema, las decisiones pueden chequearse artificialmente, un mismo modelo puede usarse muchas veces, etc. La simulacin es de empleo ms simple que ciertas tcnicas analticas y precisa menos simplificaciones. El sistema a construir tendr como objetivo ayudar a los investigadores a modelar tales fenmenos complejos. El objetivo de este trabajo es servir como introduccin a algunos conceptos generales sobre modelizacin y simulacin utilizando determinadas metodologas. Presentaremos un conjunto de tcnicas importantes con especial utilidad en la simulacin de sistemas de eventos discretos. El trabajo est basado en los que se mencionan en la bibliografa, y tiene como intencin servir como material bsico de estudio en espaol. Est orientado a difundir los temas en esta rea de simulacin, y se ha organizado en cuatro secciones. En la introduccin se analizan conceptos generales de modelos, sistemas y simulacin. En la segunda seccin se atacan generalidades del formalismo DEVS (un formalismo para simulacin de eventos discretos). Una tercera seccin analiza otro formalismo: los autmatas celulares. En la cuarta seccin se estudian con detalle mecanismos de simulacin paralela y distribuida, con el fin de mejorar el desempeo de las simulaciones. 1.1. Sistemas, modelos y paradigmas Para comenzar, daremos algunas definiciones. Primero, llamaremos sistema a una entidad real o artificial. De hecho no existe una definicin de sistema que tenga aceptacin general. Se llama sistema a una parte de una realidad, restringida por un entorno. Est compuesto por entidades que experimentan efectos espacio-tiempo y relaciones mutuas. Tambin se dice que un sistema es un conjunto ordenado de objetos lgicamente relacionados que atraviesan ciertas actividades, interactuando para cumplir ciertos objetivos. Para lo que nos concierne, distinguimos dos interpretaciones de la palabra sistema: a) Un sistema real es una combinacin de elementos con relaciones estructurales que se influencian mutuamente) Un sistema dinmico es una construccin formal que nos da conceptos generales de modelizacin para distintas clases de disciplinas [Gia96].Llamaremos modelo a una representacin inteligible (abstracta y consistente) de un sistema. En muchos casos no se puede resolver un problema directamente sobre un

sistema real, por ende razonamos sobre modelos. El proceso de pensar y razonar acerca de un sistema resaltando la reaccin de un modelo se llama modelado de sistemas. Para estudiar sistemas complejos, la idea es partir haciendo un modelo del sistema que se quiere estudiar, y se estudian problemas del sistema real estudiando el modelo.

Simulacin de eventos discretos Simulacin Imitacin del funcionamiento de un proceso real con el tiempo Se necesita un modelo del sistema real Se genera una historia artificial de sucesos en el sistema y sus repercusiones Simulacin a mano o por ordenador Se obtienen medidas de prestaciones Utilidades Contestar a preguntas tipo what if sobre el sistema real Estudio de sistemas en fase de diseo (no existe el real) Si el modelo es muy simple se puede resolver matemticamente Modelos realistas son demasiado complejos para una solucin analtica Componentes Entidad (entity) Un objeto de inters en el sistema Atributo (attribute) Propiedad de una entidad Actividad (activity) Un periodo de tiempo de una longitud especificada Ejemplo: Un banco Los clientes podran ser entidades Su saldo en cuenta sera un atributo Hacer depsitos una actividad Estado del sistema Grupo de variables necesarias para describir el sistema en un momento cualquiera, en relacin con los objetivos del estudio Ejemplo: banco Nmero de cajeros ocupados Nmero de clientes esperando en cola Instante en que llegar el siguiente cliente

 Evento: suceso instantneo que puede cambiar el estado del sistema Ejemplo: Llegada de un nuevo cliente (exgeno) Cliente termina de ser atendido (endgeno) Tipos de sistemas Sistema discreto Las variables de estado cambian solo en un conjunto discreto de puntos en el tiempo Ejemplo: banco Sistema continuo Las variables de estado cambian de forma continua con el tiempo Ejemplo: nivel de agua en un pantano rea de Ingeniera Telemtica Modelo del sistema Simplificacin del sistema Considera solo los aspectos que afectan al problema en estudio Debe ser lo suficientemente detallado para poderse obtener conclusiones que apliquen al sistema real Tipos: Discreto/Continuo Esttico/Dinmico Determinista/Estocstico Nos interesan los estocsicos, dinmicos y discretos. 6/20 rea de Ingeniera Telemtica Simulacin de eventos discretos Las variables de estado cambian solo en un conjunto discreto de puntos en el tiempo Empleo de mtodos numricos En vez de mtodos analticos El modelo se corre en vez de se resuelve Future (pending) Events List (FEL) Cada evento contiene el instante de tiempo en que sucede La FEL contiene los eventos planificados para este instante o posteriores an sin procesar Ordenados por instante de tiempo de menor a mayor Ejemplo Servidor web Recibe peticiones cada X segundos X es una v.a. exponencial de media 3 La peticin es de un fichero que cuesta Y segundos enviarlo Y es una v.a. exponencial de media 5 El servidor es capaz de antender 2 peticiones a la vez (2 CPUs) Si llegan peticiones mientras las 2 CPUs estn ocupadas se pierden Cuntas peticiones se pierden cada hora?