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 kurset vil et lille antal emner blive introduceret, hvor flere lærere kan være involveret. De studerende skal, 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 eksempler på mulige emner er: model-checking, SAT-solving, parallelle systemer, wireless sensor netwærk, schedulability analyse. Eksempler på projekternes art 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.
