02224 (2002/2003)

02224 Tidstro systemer

2002/2003

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:

Modellering af tidslig opførsel. Specifikation og verifikation aftidslige egenskaber. Implementering af tidstro systemer: Tidstro kerner/operativsystemer og programmeringssprog. Procesafvikling.

Kursusansvarlig:

Hans Henrik Løvengreen, 322, 015, (+45) 4525 3763, hhl@imm.dtu.dk

Institut:

02 Informatik og Matematisk Modellering

Kursushjemmeside:

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

Nøgleord:

tidslige modeller, temporale logikker, verifikation, procesafvikling

Sidst opdateret: 17. marts, 2003