| Type: | initiativkursus, udbydes under åben uddannelse
Sprog: engelsk |
|
|
|
|
|
|
|
|
Faglige forudsætninger: 49270
|
|
|
|
Vejledende placering: Sidst i studiet.
|
|
Undervisningsform: Forelæsninger og seminarer. Eftermiddag opgaveregning eller fremlæggelser.
|
|
Evalueringsform Rapportaflevering
|
|
Karakter: 13-skala
|
|
|
|
|
|
|
|
Kursets netadresse: http://www.it.dtu.dk/c49411
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At give deltagerne kendskab til teori og principper for konstruktion af sikre, tidstro datamatbaserede systemer. Hermed indføres i aktuel forskning i sektionen for Datateknisk Konstruktion.
|
|
Kursusindhold: Kursusindhold kan variere med de involverede læreres aktuelle forskning. For tiden er det: Varighedskalkylen DC (Duration Calculus). Tidslige transitionssystemer. Procesalgebra med tid. Systematisk design med DC. Verifikationsværktøjer.
|
