Descripción
Aspectos metodológicos de la simulación. Modelado de sistemas de eventos discretos. Formalismos de modelado: FSA, FSM, Redes de Petri, DEVS, otros. Verificación y validación. Modelos celulares: Autómatas Celulares, Cell-DEVS. Modelos continuos e híbridos. Técnicas de simulación Paralela y Distribuida (PADS). Middleware PADS: HLA, Parallel-DEVS, Time-Warp.
Prerrequisitos
- Requisito(s): conocimientos de C++ y de conceptos básicos de concurrencia y sistemas distribuidos.
Condiciones y modalidades
- Requisito(s): conocimientos de C++ y de conceptos básicos de concurrencia y sistemas distribuidos.
Texto de referencia en su idioma de origen
Methodological aspects of simulation. Modeling discrete events systems. Modeling formalisms: FSA, FSM, Petri Nets, DEVS, others. Verification and validation. Cellular models: Cellular Automata, Cell-DEVS. Continous and hybrid models. Parallel and Distributed simulation (PADS) techniques. PADS middleware: HLA, Parallel-DEVS, Time-Warp.
- Prerequisite(s): knowledge of C+ + and of basic concepts of concurrency and distributed systems.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/SYSC/