Coloured Petri Nets 1 - Modellering og Validering af Distribuerede Systemer (Q3) ( forår 2008 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q3 i 2007/2008
-
Timer per uge:
4
-
Deltagerbegrænsning:
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
7832
Formål
Deltagerne vil efter kurset have detaljeret kendskab til farvede Petri Net og praktisk erfaring med modellering og validering af distribuerede systemer.
Obligatorisk program
Et antal mindre projekter
Indhold
Dette kursus vil fokusere på Farvede Petri Net (engelsk: Coloured Petri Nets (CPN)), som er et grafisk modelleringssprog for kommunikationsprotokoller og anden software til distribuerede og samtidige systemer. Farvede Petri Net gør det muligt for udvikleren at konstruere en model som er udførbar, og som kan analyseres ved brug af tilhørende computer-værktøjer. Simulation gør det muligt at lave en detaljeret analyse af systemets opførsel samt undersøge performance af systemet (såsom delay og throughput). Tilstandsgrafer (engelsk: State spaces) gør det muligt at verificere funktionelle egenskaber ved systemet (såsom deadlocks). Ved at inspicere modellen er det muligt for udvikleren at undersøge opførslen og egenskaber ved designet før implementation. På denne måde kan fejl og mangler ved systemet identificeres tidligt i udviklingsforløbet. Deltagerne bliver introduceret til CPN modelleringssproget, analysemetoderne, samt de understøttende værktøjer. Dette vil inkludere en række eksempler på industrielle projekter, hvor CPN er blevet brugt til modellering og analyse af systemer.
Læringsmål
Deltagerne skal ved afslutningen af kurset kunne:
-
forklare
konstruktioner og begreber i modelleringssproget Farvede Petri Net.
-
definere
og
forklare
syntaks og semantik for Farvede Petri Net.
-
definere
og
forklare
egenskaber til at karakterisere distribuerede systemers opførsel.
-
forklare
de basale begreber og teknikker der ligger til grund for tilstandsgrafanalyse.
-
anvende
farvede Petri Nets og CPN Tools til modellering og validering af distribuerede systemer.
-
vurdere
praktisk anvendelse af Farvede Petri Net til validering af konkrete distribuerede systemer.
Faglige forudsætninger
Programmering 2
Underviser
Lars M. Kristensen og Kurt Jensen
Undervisnings- og arbejdsform
Forelæsninger (2+2t/uge)
Litteratur
Udvalgte kapitler fra en lærebog, samt artikler
Kursushjemmeside
http://www.daimi.au.dk/~kris/CPN
Udbyder
Datalogisk Institut
Tilmelding til undervisning
http://www.brics.dk/~mis/enrollment.html
Studieordning og bedømmelse
-
Mundtlig, bedømt efter 7-skala med intern censur
Mundtlig eksamen uden forberedelse
7-skala, intern censur