Descrição
Aspectos metodológicos da simulação. Modelagem de sistemas de eventos discretos. Formalismos de modelagem: FSA, FSM, Redes de Petri, DEVS, outros. Verificação e validação. Modelos celulares: Autômatos Celulares, Cell-DEVS. Modelos contínuos e híbridos. Técnicas de simulação Paralela e Distribuída (PADS). Middleware PADS: HLA, Parallel-DEVS, Time-Warp.
Pré-requisitos
- Pré-requisito(s): conhecimento de C++ e de conceitos básicos de concorrência e sistemas distribuídos.
Condições e modalidades
- Pré-requisito(s): conhecimento de C++ e de conceitos básicos de concorrência e sistemas distribuídos.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/SYSC/