Artificiell intelligens och intelligenta system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Digitalisering

Formell modellering och analys av inbyggda system

Förnybar energi

Industriell programvaruteknik

Komplexa inbyggda system i realtid

Lärande och optimering

Medicinsk teknik

Modellbaserad konstruktion av inbäddade system

Programmeringsspråk

Certifierbara bevis och justifieringsteknik

Cyber-fysisk systemanalys

Datakommunikation

Design av realtidssystem

Heterogena system

Programvarutestlaboratorium

Resurseffektivisering

Robotik

Säkerhetskritisk teknik

Teknisk matematik

Lista forskningsområde design av realtidssystem