02224 (2003/2004)

02224 Tidstro systemer

2003/2004

Engelsk titel:

Real-Time Systems

Sprog:

Engelsk

Point (ECTS )

Kursustype:

Kursus for civilingeniørstuderende-

Kurset udbydes under Tompladsordningen

Skemaplacering:

F2B

Undervisningsform:

Forelæsninger og øvelser.

Kursets varighed:

13-uger

Evalueringsform:

Bedømmelse af opgave(r)/rapport(er)

Bedømmelsesform:

13-skala, intern bedømmelse

Faglige forudsætninger:

02220, Kendskab til generelle principper for parallelprogrammering: processer / tråde, synkronisering og kommunikation. Kendskab til modeller for parallelitet samt invarianter.

Overordnede kursusmål:

At gøre deltagerne i stand til at konstruere sikre, tidstro datamatbaserede systemer under brug af formelle modellerings- og verifikationsteknikker.

Kursusindhold:

Modeller for tidslig opførsel. Højniveau modellering af hybride systemer. Specifikation og verifikation af tidslige egenskaber. Procesafvikling. Modellerings- og verifikationsværktøjer. Implemeteringsteknikker.

Kursusansvarlig:

Hans Henrik Løvengreen, 322, 015, (+45) 4525 3763, hhl@imm.dtu.dk
Martin Fränzle, 322, 021, (+45) 4525 7512

Institut:

02 Informatik og Matematisk Modellering

Kursushjemmeside:

http://www.imm.dtu.dk/courses/02224

Nøgleord:

Tidslige og hybride modeller, temporale logikker, verifikation, procesafvikling

Sidst opdateret: 21. maj, 2003