Mobiili

Väitöskirjasta eväitä tietoverkkojen ja mobiililaitteiden luotettavuuteen

Julkaistu:

Monet nykyaikaiset tietokoneisiin perustuvat järjestelmät, kuten tietoliikenneverkot, mobiililaitteet ja erilaiset ohjausjärjestelmät, sisältävät yhtä aikaa toimivia, keskenään kommunikoivia osajärjestelmiä. Tällaisten niin sanottujen rinnakkaisten järjestelmien suunnittelu on vaikeaa ja virhealtista, arvioi diplomi-insinööri Antti Puhakka (32).
Puhakka pyrkii parantamaan rinnakkaisten järjestelmien ennustettavuutta ja luotettavuutta matemaattisella teorialla. Niin kutsutussa prosessialgebrallisessa mallissa rinnakkaiset prosessit kommunikoivat ympäristönsä kanssa. Yksi tämän teorian etu on kompositionaalisuus, joka tarkoittaa, että mitä tahansa järjestelmän osaa voidaan tarkastella erikseen ja kuvata sen rajapinnassa havaittavien tapahtumien kautta.

Puhakan työssä on kehitetty prosessialgebraa koskevia uusia tuloksia liittyen erityisesti teorian kompositionaalisuuteen. Puhakka vie väitöskirjansa tarkastettavaksi Tampereen teknilliselle yliopistolle torstaina 27.5.

Kommentit

    Näytä lisää