Description
Aspects méthodologiques de la simulation. Modélisation des systèmes à événements discrets. Formalismes de modélisation : FSA, FSM, réseaux de Petri, DEVS, autres. Vérification et validation. Modèles cellulaires : automates cellulaires, Cell-DEVS. Modèles continus et hybrides. Techniques de simulation parallèle et distribuée (PADS). Middleware PADS : HLA, Parallel-DEVS, Time-Warp.
Préalables
- Préalable(s) : connaissance de C++ et des concepts de base de la concurrence et des systèmes distribués.
Conditions et modalités
- Préalable(s) : connaissance de C++ et des concepts de base de la concurrence et des systèmes distribués.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/SYSC/