|
Undervisningsform: Forelæsninger og øvelser. |
|
Evalueringsform: Bedømmelse af opgave(r)/rapport(er)
|
| Karakter: 13-skala |
| Tidligere kursus: 49411 |
| Faglige forudsætninger: 02220 |
| Kursusmål: At give deltagerne kendskab til teori og principper forkonstruktion af sikre, tidstro datamatbaserede systemer. |
| Kursusindhold: Modellering af tidslig opførsel. Specifikation og verifikation aftidslige egenskaber. Implementering af tidstro systemer: Tidstrokerner, operativsystemer og programmeringssprog. Procesafvikling. |
| Kontaktperson: Hans Henrik Løvengreen, building 322, (+45) 4525 3763, hhl@imm.dtu.dk |
| Institut: 002 Informatik og Matematisk Modellering |
| Kursus URL: http://www.imm.dtu.dk/courses/02224 |
| Nøgleord: tidslige modeller, temporale logikker, programdesign, procesafvikling |
| Opdateret: 26-11-2001 |
