De studerende opnår en dyb forståelse af udvalgte avancerede emner indenfor modellering, analyse og verifikation af indlejrede systemer. De studerende lærer at kommunikere deres resultater i form af en kort forskningsartikel.
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 forskningsartikel
• præsentere sine resultater i form af en poster
• vurdere de præsenterede emner ud fra et teknisk-videnskabeligt synspunkt
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.
