Ohjelmistot ovat keskeisessä roolissa uusien liiketoiminta mahdollisuuksien luomisessa samalla kun yhä useammat perinteisistä yritystoiminnan aloista ovat muuttumassa digitalisaation kautta datapohjaisiksi. Tiedon kerääminen mahdollistaa myös aivan uusien sovellusalojen kehittymisen. Esimerkkejä näistä ovat esineiden internet (IoT), autonomiset ajoneuvot, ja droonien käyttö tiedon keräämiseksi lukemattomien uusien sovellusten käyttöön. Näiden datamassojen prosessointi vaatii massiivisen rinnakkaista ja hajautettua laskentaa. Projekti kehittää menetelmiä tällaisten järjestelmien suunnittelun ja verifioinnin tueksi. Näiden menetelmien tulee perustua vahvaan teoreettiseen pohjaan, joka sallii myös automatisoitujen testaus- ja verifiointi-menetelmien käytön ennen ohjelmistojen tuotantokäyttöä. Lisähaasteena on laskentaympäristöjen monimuotoistuminen grafiikkaprosesorien ja neuroverkkokiihdyttimien yleistyessä, miten kaikki tämä saataisiin tuettua yhdessä ohjelmistoympäristössä?

2021

2024