Digitoday

Bugit pois ydinvoimaloista

Julkaistu:

Suuret ohjelmistotekniset järjestelmät, kuten puhelinkeskukset, lennonvarmistusjärjestelmät sekä ydinvoimalan säätöjärjestelmä ovat monimutkaisimpia ihmiskunnan tekemiä luomuksia. Virhetoiminnot näissäsaattavat johtaa katastrofaalisiin seurauksiin. Näin sanoo diplomi-insinööri Timo Aaltonen, joka on kehittäny uuden menetelmän ohjelmistovirheiden välttämiseksi.
Aaltonen on kehittänyt väitöksessään menetelmiä, joiden avulla reaktiivisten järjestelmien virheitä voidaan välttää tai löytää jo tehtyjä virheitä. Keskeinen apuväline näissä menetelmissä on järjestelmän toiminnan abstrahointi, mikä helpottaa kyseessä olevan järjestelmän toiminnan ymmärtämistä.

Abstrahoinnilla tarkoitetaan häiritsevien yksityiskohtien piilottamista. Tällaisia yksityiskohtia ovat esimerkiksi järjestelmän eri osien keskinäisen kommunikoinnin toteutukseen liittyvät seikat. Menetelmät liittyvät järjestelmien suunnitteluun, testaukseen ja evoluution hallintaan.

Aaltosen ohjelmistotekniikan alaan kuuluva väitöskirja "Validating Correctness with Behavioural Abstractions" ("Oikeellisuuden validointi abstraktiohierarkioilla") tarkastetaan Tampereen teknillisen yliopiston tietotekniikan osastolla perjantaina.

Vastaväittäjänä toimii professori Jean-Claude Laprie (Laboratoire d'Analyse et d'Architecture des Systèmes, Ranska).

Kommentit

    Näytä lisää

    Näitä luetaan!
    1. 1

      190 matkaajaa luuli pääsevänsä paratiisisaarelle, jäivätkin jumiin Vantaalle – tuore sulho: ”Honeymoon on aika helvetin kaukana”

    2. 2

      Latinokaunotar Jennifer Lopezin tuoreet kuvat loksauttivat leukoja – paljastava kuva takaapäin lumosi: ”Täydellinen vartalo”

    3. 3

      Juna syöksyi topparin läpi Joutsenossa – veturi roikkuu uhkaavasti ajotien yllä

    4. 4

      Demareilta suorat sanat Jussi Halla-aholle: ”Juuri tähän terrorismilla pyritään”

    5. 5

      Toimittaja Kim Wallin verta löytyi sukellusveneen sisältä – silvotussa ruumiissa metallia

    6. 6

      Onko muovikipposi terveysriski? Eviran asiantuntija kertoo, kauanko sitä on turvallista käyttää

    7. 7

      Näitä töitä te-toimisto välittää ”tiskin alta” – katso 20 ammatin lista

    8. 8

      Omakotitalosta löytyi palaneen naisen ruumis Mikkelissä

    9. 9

      Kuinka vieraantunut olet luonnosta? Testaa 20 kysymyksellä

    10. 10

      Julkkiskaunottaren, 39, ylellinen elämäntyyli romahti – tv-ura ja avioliitto pilalla: Aiheutti kohun firman bileissä jouluna

    11. Näytä lisää
    1. 1

      Julkkiskaunottaren, 39, ylellinen elämäntyyli romahti – tv-ura ja avioliitto pilalla: Aiheutti kohun firman bileissä jouluna

    2. 2

      Kuinka vieraantunut olet luonnosta? Testaa 20 kysymyksellä

    3. 3

      Jari Isometsältä terävä huomio Therese Johaugin dopingtuomiosta

    4. 4

      Puhelimen kuvagalleriasta löytyi K18-materiaalia – alppikaunotar Lindsey Vonnin ja Tiger Woodsin otokset leviävät vauhdilla

    5. 5

      Minttu Räikkönen hurmasi Helsingin ydinkeskustassa – viimeisen päälle tyylikäs look!

    6. 6

      Ikävä totuus ”lämpimänä kotina” myydystä unelmien talosta paljastui ostajalle talvella – välittäjällä oli erikoinen selitys

    7. 7

      Näitä töitä te-toimisto välittää ”tiskin alta” – katso 20 ammatin lista

    8. 8

      Laria, 18, kutsutaan Paratiisihotellissa nimellä Mr Too Big – lempinimi osoittautui osuvaksi: ”Olisi pitänyt varautua niillä isommilla”

    9. 9

      Therese Johaugin dopingrangaistus koveni – näin Aino-Kaisa Saarinen kommentoi tuomiota

    10. 10

      Trumpin ministerin kaunis näyttelijävaimo nostatti someraivon – julkaisi pröystäileviä kuvia miehensä työmatkalta

    11. Näytä lisää
    1. 1

      IS seurasi Turun tapahtumia hetki hetkeltä: Vaaratiedotetta ei ehditty lähettää, presidentti Niinistö otti osaa suruun

    2. 2

      Silminnäkijät kertovat: Veitsellä aseistautunut mies hyökkäsi silmittömästi Turussa – ”puukotti lastenvaunujen kanssa liikkunutta naista”

    3. 3

      Poliisin Turussa tekemä kiinniotto tallentui videolle – silminnäkijä: poliisit pitivät epäiltyä maassa

    4. 4

      Terroristit suunnittelivat vielä suurempaa iskua Barcelonassa – poliisi arvelee 17-vuotiaan päätekijän kuolleen

    5. 5

      Video: Torimyyjä Arya, 24, ajoi Turun puukotuksista epäiltyä takaa pesäpallomailan kanssa

    6. 6

      Vesa näki puukkomiehen raa’an hyökkäyksen Turussa – ”Huusin niin kovaa kuin jaksoin”

    7. 7

      Kuva: Tässä viedään Turun epäiltyä puukottajaa – tämä kaikki tapahtumista tiedetään nyt

    8. 8

      Mies lähti viettämään railakasta viikonloppua uusien kavereiden kanssa – karu totuus paljastui maanantaina, kun poliisi soitti

    9. 9

      4-vuotias kertoi äidilleen nähneensä lenkillä ”isin vaimon” – ”Ilmeeni oli varmaan näkemisen arvoinen”

    10. 10

      Lehti: Lastenrattaita työntänyt Turun uhri oli juuri tullut Italiasta vauvansa kastejuhlasta

    11. Näytä lisää
    Näitä luetaan!
    1. 1

      190 matkaajaa luuli pääsevänsä paratiisisaarelle, jäivätkin jumiin Vantaalle – tuore sulho: ”Honeymoon on aika helvetin kaukana”

    2. 2

      Latinokaunotar Jennifer Lopezin tuoreet kuvat loksauttivat leukoja – paljastava kuva takaapäin lumosi: ”Täydellinen vartalo”

    3. 3

      Juna syöksyi topparin läpi Joutsenossa – veturi roikkuu uhkaavasti ajotien yllä

    4. 4

      Demareilta suorat sanat Jussi Halla-aholle: ”Juuri tähän terrorismilla pyritään”

    5. 5

      Toimittaja Kim Wallin verta löytyi sukellusveneen sisältä – silvotussa ruumiissa metallia

    6. Näytä lisää
    1. 1

      Julkkiskaunottaren, 39, ylellinen elämäntyyli romahti – tv-ura ja avioliitto pilalla: Aiheutti kohun firman bileissä jouluna

    2. 2

      Kuinka vieraantunut olet luonnosta? Testaa 20 kysymyksellä

    3. 3

      Jari Isometsältä terävä huomio Therese Johaugin dopingtuomiosta

    4. 4

      Puhelimen kuvagalleriasta löytyi K18-materiaalia – alppikaunotar Lindsey Vonnin ja Tiger Woodsin otokset leviävät vauhdilla

    5. 5

      Minttu Räikkönen hurmasi Helsingin ydinkeskustassa – viimeisen päälle tyylikäs look!

    6. Näytä lisää
    1. 1

      IS seurasi Turun tapahtumia hetki hetkeltä: Vaaratiedotetta ei ehditty lähettää, presidentti Niinistö otti osaa suruun

    2. 2

      Silminnäkijät kertovat: Veitsellä aseistautunut mies hyökkäsi silmittömästi Turussa – ”puukotti lastenvaunujen kanssa liikkunutta naista”

    3. 3

      Poliisin Turussa tekemä kiinniotto tallentui videolle – silminnäkijä: poliisit pitivät epäiltyä maassa

    4. 4

      Terroristit suunnittelivat vielä suurempaa iskua Barcelonassa – poliisi arvelee 17-vuotiaan päätekijän kuolleen

    5. 5

      Video: Torimyyjä Arya, 24, ajoi Turun puukotuksista epäiltyä takaa pesäpallomailan kanssa

    6. Näytä lisää