English | Log ind
2006/2007

02224 Tidstro systemer

Engelsk titel: 


Real-Time Systems

Sprog:


Point (ECTS )

  5

Kursustype:   

Kursus for civilingeniørstuderende- Videregående Kursus
Kurset udbydes under Tompladsordningen

Skemaplacering:

F2B

 

Undervisningsform:

Forelæsninger og øvelser.

Kursets varighed:

13-uger

Evalueringsform:

Hjælpemidler:

Bedømmelsesform:

Tidligere kursus:

49411

Faglige forudsætninger:

,
                                          

Overordnede kursusmål:

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


Kursusindhold:

Højniveau modellering af tidslig opførsel. Specifikation og verifikation af tidslige egenskaber. Procesafvikling. Modellerings- og verifikationsværktøjer. Implementeringsteknikker.


Kursusansvarlig:

Hans Henrik Løvengreen, 322, 015, (+45) 4525 3763, hhl@imm.dtu.dk  
Michael Reichhardt Hansen, 322, 212, (+45) 4525 3727, mrh@imm.dtu.dk  

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: 27. april, 2006