DEIS - Distributed, Embedded and Intelligent Systems

Forskningsgruppen Distributed, Embedded and Intelligent Systems (DEIS) arbejder med verifikationsværktøjer, valideringsmetoder, probalistiske grafiske modeller og maskinlæring med fokus på distribuerede, indlejrede og intelligente systemer.

Forskningsaktiviteterne dækker følgende områder

Semantiske teorier til modellering af computerprogrammer og systemer
Design, implementering og modeller til analyse og konstruktion af distribuerede, indlejrede og intelligente systemer
Algoritmer, metoder og værktøjer til verifikation og validering af programmer og systemer
Probabilistiske modeller og algoritmer til intelligent beslutningstagning og maskinlæring
Kvantealgoritmer og -software
Automatiske designredskaber til simulering af kvantekredløb, verification, optimering og kompilering
Programmeringsteknologi bygget på semantisk grundlag, statisk analyse og abstrakt fortolkning
Sikkerhed med fokus på IoT og indlejrede systemer, der udnytter model checking og statisk analyse

Model-drevet udvikling

Hver af de fire ovennævnte forskningsretninger udgør et selvstændigt område. Derudover er områderne indbyrdes forbundne på forskellige måder:

Semantiske modeller tilbyder vigtige retningslinjer for udvikling af sprog og paradigmer for distribuerede systemer, og de er nødvendige forudsætninger for udvikling af verifikations- og inferensalgoritmer og værktøjer.

Udviklingen af validerings- og inferensværktøjer giver nyt indblik i de underliggende modeller på den ene side og anvendes i miljøer til konstruktion og analyse af distribuerede, indlejrede og intelligente systemer på den anden.

Brugen af distribueret, indlejret og intelligent software i stadig mere komplekse systemer giver værdifuld indsigt i styrker og svagheder ved eksisterende modeller, algoritmer og værktøjer, og tjener som inspiration til udviklingen af nye. Maskinlæring er centralt for datadrevet udvikling af intelligent software. Dette supplerer og fuldender gruppens fokus på modeldrevet udvikling.

Centrale forskningsområder

Matematisk og logisk teori til modellering og specificering af samtidige processer, herunder kvantitative og sikkerhedsmæssige aspekter
Værktøjer, algoritmer og datastrukturer til modelkontrol, præstationsanalyse og syntese til komplekse systemer
Modelbaserede metoder til indlejrede og cyberfysiske systemer
Analyse og udvikling af netværkstjenester og -protokoller
Inferens og læring af probabilistiske grafiske modeller
Maskinlæring ved hjælp af statistiske og logik- og relationsbaserede metoder
Designautomatisering til kvantealgoritmer
Design, analyse og konstruktion af programmeringsteknologi
Sikkerhed og pålidelighed af applikationer og systemer
Applikationer inden for en række forskellige domæner, inklusive transport, energi, vandforvaltning, og sundhed.

DEIS har udviklet en række verdenskendte værktøjer som for eksempel:

Seminarer

DEIS Seminarer

DEIS-gruppen kører regelmæssigt seminarer, hvor både interne og eksterne talere holder foredrag om en bred vifte af emner indenfor concurrency-teori og -praksis. Seminarerne er åbne for alle interesserede både indenfor og udenfor gruppen og instituttet.

Kontakt

Kontakt venligst lektor Giorgio Bacci for information om seminarerne og for at blive tilføjet til seminar-mailinglisten.

Institut for Datalogi
Selma Lagerlöfs Vej 300
9220 Aalborg Øst, DK

Tlf: +45 99 40 98 59

Mail: grbacci@cs.aau.dk

Seminaroversigt

Se oversigt over tidligere afholdte og kommende seminarer:

Seminarer