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.
