Ohjelmistojen toiminnan ymmärtäminen on tärkeää nykyaikaisessa ohjelmistokehityksessä, jossa ohjelmistojen täytyy kehittyä nopeasti ja luotettavasti. Käyttäjille on epäolennaista, johtuuko huono ohjelmiston toiminta operoinnin (Ops) vai kehityksen (Dev) häiriöstä. Molemmat häiriötyypit on ratkaistava nopeasti. Tutkimuksemme tähtää tieteellisiin läpimurtoihin, jotka mahdollistavat täysin automatisoidun ohjelmistojen valvomisen ja korjaamisen. Tulevaisuudessa tämä aihe on entistä tärkeämpi, kun yhteiskuntamme on aina enemmän riippuvainen ohjelmistoja hyödyntävistä palveluista ja laitteista. Tässä hankkeessa teemme yhteistyötä ohjelmistoalan kanssa varmistaaksemme havaintojemme ekologisen pätevyyden. Myös useat akateemiset kumppanit tukevat työtämme.

2022

2026