| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Faglige forudsætninger: 49270 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger og seminarer. Eftermiddag opgaveregning eller fremlæggelser. |
| Evalueringsform:
Rapportaflevering
(13-skala
) |
| Kontaktperson: |
Hans Henrik Løvengreen, IT, bygn. 343, tlf. 4525 3763 E-mail: hhl@it.dtu.dk |
|
| 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. |
