De studerende opnår en dyb forståelse af udvalgte avancerede emner
indenfor modellering, analyse og verifikation af indlejrede
systemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
opnå en dyb forståelse af et udvalgt emne indenfor indlejrede
systemer
vurdere et specifikt emnes rolle indenfor området indlejrede
systemer
anvende teoridannelser for et udvalgt emne i et givet
projekt
anvende begreber, teknikker og eventuelle værktøjer for et
udvalgt emne i løsningen af et givet problem
formulere og vurdere modeller for et indlejret systems
opførsel
præsentere sine resultater i form af en kortfattet
forskningsrapport
vurdere de præsenterede emner ud fra et teknisk-videnskabeligt
synspunkt
anvende matematiske teorier ved modellering og analyse af
indlejrede systemer
Kursusindhold:
Kursets indhold vil variere fra år til år. Det konkrete indhold et
givet år vil blive annonceret, f.eks. på kursets hjemmeside, i
løbet af forårssemesteret.
