Tarkvarateaduse instituudi doktorant Deepak Pal kaitseb oma doktoritööd "Model Based Test Generation for Distributed Systems" ("Mudeli-põhine testide genereerimine hajussüsteemidele") neljapäeval, 10.12.2020 kell 14:00 ruumis ICT-411 (Akadeemia tee 15A).

Reaalaja arvutisüsteemid on lahutamatu osa meie tehnoloogilisest keskkonnast. Neile baseeruvad küberfüüsikalised süsteemid nagu näiteks kriitilised infrastruktuurid, tootmissüsteemid, liikluse reguleerimisesüsteemid ja paljud teised, kus suur hulk heterogeenseid komponente mikrost- makrotasemeni on omavahel pidevas interaktsioonis. Oma keerukuse ja rakenduskriitilisuse tõttu eeldab niisuguste süsteemide arendusprotsess olulisel määral tarkvara kvaliteedi tagamise meetodite ja neid toetavate tööriistade kasutamist.

Käesoleva väitekirja raames on loodud mudelipõhine testimismeetod, testiarhitektuur ja tõestatavalt korrektsete testide arenduse töövoog, mis on orienteeritud ajakriitiliste hajussüsteemide testimisele. Loodud lähenemine keskendub hajussüsteemide online testimisele ning selle automatiseerimisele eesmärgiga tagada testide ja testitulemuste tõestuspõhine kvaliteet. Uuringu teine põhifookus puudutab testide ajastuskorrektsuse ja jõudluse aspekte, mille ignoreerimine võib viia testimisvahendite kasutatavuse olulise vähenemiseni, seda eriti kompleksete hajussüsteemide korral.

Väitekirjas loodud lahenduste otstarbekust demonstreeritakse tööstuslikul rakendusnäitel "Flexibility Contracts for Ancillary Services in Energy Grids", kus energiajaotuse teenuste integratsiooni taseme testimiseks genereeritakse testimudelid ja verifitseeritakse nende korrektsus.

Juhendaja professor Jüri Vain (Tallinna Tehnikaülikool).

Oponendid:

• prof Johan Lilius (Åbo Akademi, Turu, Soome)
• Artem Boyarchuk (KhAI - Lennunduse Ülikool, Harkiv, Ukraina)

Doktoritöö on avaldatud tehnikaülikooli raamatukogu digikogus.