Väitös tietotekniikan alalta, M.Sc. Georgios Giantamidis

Väitöskirjan nimi: On Pragmatic System Design through Learning and Implementation-oriented Reachability Analysis

Tohtoriopiskelija: Georgios Giantamidis
Vastaväittäjä: Prof. Panagiotis Katsaros, Aristotle University of Thessaloniki, Kreikka
Kustos: Prof. Chris Brzuska, Aalto-yliopiston perustieteiden korkeakoulu, tietotekniikan laitos

Linkki väitöskirjan sähköiseen esittelykappaleeseen (esillä 10 päivää ennen väitöstä): https://aaltodoc.aalto.fi/doc_public/eonly/riiputus/

Parempi järjestelmäsuunnittelu oppimis ja toteutusanalyysin avulla 

Virallistamisen ja todentamisen tarve monimutkaisten järjestelmien suunnittelussa on nyt selvempi kuin koskaan. Formaalit menetelmät voivat kuitenkin joskus olla haastavia omaksua teollisissa ympäristöissä. Erityisesti voidaan erottaa kaksi laajaa haasteluokkaa: (a) algoritminen haaste, joka koskee siihen liittyvien työkalujen ja algoritmien kykyä skaalautua teollisen koon ongelmiin, ja (b) mallinnushaaste, joka koskee muodollisen järjestelmämallin saamista sekä sen käyttäytymisen muodollista määrittelyä. Muodollisten menetelmien integroinnin helpottamiseksi teollisiin mallipohjaisiin järjestelmäsuunnittelun työnkulkuihin tässä väitöskirjassa kehitetään ratkaisu, jonka tarkoituksena on auttaa vastaamaan mallinnushaasteeseen osallistumalla: (1) vaatimusten virallistamiseen, (2) monitorin luomiseen, (3) mallin poimimiseen esimerkkikäyttäytymisen jäljistä ja (4) saavutettavuusanalyysiin dynaamisille järjestelmätoteutuksille (C/C++-koodi).

Perustieteiden korkeakoulun väitöskirjat: https://aaltodoc.aalto.fi/handle/123456789/52