De studerende vil lære en eller flere avancerede metoder, værktøjer og teknikker til modellering og analyse af primært indlejrede systemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
forstå de grundlæggende begreber
illustrere de indførte teknikker på små eksempler
gøre rede for fordele og ulemper ved de præsenterede metoder
anvende teoridannelser fra et udvalgt emne i lille projekt
dokumentere projektresultater på kortfattet vis ved brug af de indførte teoridannelser
give en kort og klar mundtlig præsentation af projektets resultater
anvende teknikker og eventuelle værktøjer for et udvalgt emne i løsningen af et konkret problem
vurdere et specifikt emnes rolle indenfor området indlejrede systemer
Kursusindhold:
I den første del af kurset vil et lille antal emner blive introduceret. Flere lærere vil være involveret. I kursets anden del skal de studerende i små grupper færdiggøre et projekt, som skal resultere i en rapport, en præsentation og eventuelt en demonstration.
Kursets indhold vil ændre sig fra år til år; men hvert år vil flere emner blive behandlet, som f.eks. model-checking, SAT-solving, parallelle systemer, wireless sensor netwærk, schedulability analyse. Der vil hvert år være forskelligartede projekter at vælge imellem. Eksempler kunne være: (a) modellering og analyse af et givet case study ved hjælp af givne teorier og værktøjer, og (b) konstruktion af et bestemt prototype værktøj ved brug af, f. eks., højniveau funktionelle eller logiske programmeringssprog.
