Inbyggda system

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Forskningsgruppen ASSO fokuserar på automatiserad utveckling av mjukvaruspråk och mjukvara genom att tillämpa avancerade beräknings- och datamanipulationstekniker.

Certifierbara bevis och justifieringsteknik

Denna grupp utför forskning om språk, tekniker, mätvärden och processer inom bevis och argumentationsteknik i syfte att certifiera/självvärdera.

Cyberfysisk systemanalys

Forskningsgruppen fokuserar på att analysera cyberfysiska system, som samtidiga och distribuerade system där inbyggda datorer och nätverk övervakar och styr de fysiska processerna.

Datakommunikation

Datakommunikation för fördröjningskritisk distribuerad kontroll, med fokus på forskning inom trygg och säker trådlös industriell automatisering.

Design av realtidssystem

Fokus är på designmetoder, arkitekturer och kommunikation för realtidssystem, med aktuell tonvikt på funktionell säkerhet, cybersäkerhet, anpassningsbara realtidssystem och mjukvarutestning.

Formell modellering och analys av inbyggda system

Fokus är på formell modellering, analys och verifieringstekniker för inbyggda system i realtid, speciellt formell syntax och semantik för komponentbaserade och serviceinriktade modeller med extrafunktionella egenskaper såsom tid eller resurser.

Heterogena system

Gruppen syftar till att öka nyttjandet av heterogena system när det gäller förutsägbarhet, effektiv utveckling och effektiv integration av mjuk- och hårdvara för nästa generations intelligenta system.

Industriell programvaruteknik

Fokuserar på konstruktion och analys av komplexa programvaruintensiva industriella system, vilket inkluderar tekniker, metoder och processer. Särskild tonvikt läggs på komponent- och modellbaserad utveckling av inbyggda system.

Komplexa inbyggda system i realtid

Inom Komplexa inbyggda system fokuserar forskarna på implementering och analys av realtidssystem.

Lärande och optimering

Gruppen syftar till att utforska synergin mellan maskininlärning och optimering för att uppnå samverkande effekter för att bygga högeffektiva och smarta system.

Medicinsk teknik

Forskningen inom Biomedicinteknikgruppen fokuserar på tillförlitlig icke-invasiv fysiologisk datainsamling och signalbehandling. Målet är att hitta lösningar på verkliga problem och projekten genomförs i nära samarbete med den offentliga sektorn.

Modellbaserad konstruktion av inbäddade system

Utveckling av metoder och verktyg för modellbaserad utveckling av inbäddade system, inklusive: modeller för arkitektoniska och beteendebeskrivningar av system och krav på system, tekniker för att analysera och transformera modeller och runtime-arkitekturer för resurseffektiva, förutsägbara inbyggda system.

Programmeringsspråk

WCET analys (längsta exekveringstid), samt design och analys av språk för realtid och inbyggda system. Fokuserar på statisk programanalys för inbyggda system, specialiserad på WCET-analys.

Programvarutestlaboratorium

Testning av inbyggd programvara, empiriska studier av mjukvarutestning, testautomation, modellbaserad testning.

Robotik

Robotikforskningsgruppen bedriver forskning främst inom området för autonoma samarbetssystem. Fokus ligger på anpassningsbar autonomi, trygg och säker vägplanering, realtids 3D-vision, uppdragsplanering för samarbetande autonoma fordon, människa-robot-interaktion, och tillförlitlig elektronik i biomedicinsk teknik och avioniksystem.

Säkerhetskritisk teknik

Fokuserar på att överbrygga de teoretiska grunderna för tillförlitlighet och industriell mjukvaruutveckling, med tonvikt på teknik- och processaspekter för komplexa tillförlitliga system.

Tillförlitlig programvaruteknik

Metoder och processer för utveckling av tillförlitliga programvarusystem; specifikt tekniker och schemaläggningsanalys för feltoleranta realtidssystem, tillförlitlig modellering av programvara, mjukvarutestning och säkerhetsargument för certifiering.

Ubiquitous Computing

Datateknik som miljöprocess och miljö som datorenheter. Datorbaserade enheter blir allt mindre, distribuerade och alltmer integrerade i omgivningen. Ubicomp studerar både inneboende databehandling, som den verkar i naturen, och utformad datoranpassning, som konvergerar mot omgivningens intelligens.