Digitoday

Valikko

Bugit pois ydinvoimaloista

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

      Nokialla pahoinpidelty 17-vuotias tyttö on kuollut

    2. 2

      Suomen valtiota ja tuhansia kotikoneita piinannut teinihakkeri vangittiin – petti poliisille antaman lupauksensa

    3. 3

      Donald Trumpin Tiffany-tytär, 23, nolattiin muotitapahtumassa – kukaan ei halunnut istua vieressä: ”Ihmiset pakenivat”

    4. 4

      Äiti ihmettelee, miksi kuollut poika saa yhä karhukirjeitä – ”Häntä uhataan oikeuden­käynneillä”

    5. 5

      Jari-Matti Latvala ajoi hurjasti ulos testeissä – kaato tallentui videolle

    6. 6

      Sastamalan surmakuskin vaimo hakee eroa

    7. 7

      Saara Aalto esittelee prinsessaleikkejä Maria Veitolalle – juontaja pakenee ulos: ”Sisällä tapahtuu pöyristyttäviä asioita”

    8. 8

      Vanhojen tanssien pukuloistoa – katso lukijoiden upeat kuvat juhlapuvuista!

    9. 9

      194-senttisen suomalaisen teinitytön temppu hätkäytti NBA-leirillä – valmentaja: ”Häntä yritetään repiä joka paikkaan”

    10. 10

      Lempi leiskuu: Kauneusleikkauksista tunnettu ja miljardinsa menettänyt seurapiirijulkkis, 76, pussaili miesystäväänsä kiihkeästi

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

      Poliisi Sastamalan kaksoissurmasta: Tekoa edelsi perheriita

    2. 2

      Stubb opetti Trumpille faktoja Ruotsista – viesti sytytti kiivaan keskustelun

    3. 3

      194-senttisen suomalaisen teinitytön temppu hätkäytti NBA-leirillä – valmentaja: ”Häntä yritetään repiä joka paikkaan”

    4. 4

      Nokialla pahoinpidelty 17-vuotias tyttö on kuollut

    5. 5

      Taistelu potilaiden oikeuksista: Parantumattomasti sairas Jari, 54, aikoo vaarantaa terveytensä, jos hallitus ei peru päätöstään

    6. 6

      Muistatko missä kävit eilen tai viime viikolla? Yksi verkkosivu tietää kaiken

    7. 7

      Kirsi Alm-Siiran muodokkaat sääret villitsivät Helena Ahti-Hallbergin: ”Vau, mitkä kintut sulla on!”

    8. 8

      Jumboksi jääneeltä Hanna Sumarilta kova purkaus TTK:sta – koki karvaan pettymyksen: ”Tulin tosi surulliseksi”

    9. 9

      Maria Veitola mykistyy Saara Aallon prinsessamaailmasta: ”Onko Saara minkä asteen hörhö”

    10. 10

      Patrik Laine tulikuumassa vireessä – nyt jäi Ovetshkin taakse

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

      Prisman kassamyyjä sai pyörätuolimiehen itkemään Helsingissä – jonossa ollut Jatta riensi apuun: ”Olin niin kiukkuinen”

    2. 2

      Takavuosien seksisymboli Outi Alanen 50 vuotta – katosi tv:stä eikä saa näyttelijän töitä: ”En kuulu hyvä veli -verkostoon”

    3. 3

      Tutkijat tekivät pelottavan löydön merenpohjasta 10 kilometrin syvyydestä

    4. 4

      MTV: Saara Aalto kärsii kiusallisesta ja kivuliaasta naistentaudista: ”Ei parannuskeinoa”

    5. 5

      Kauniin naisen tavallisen näköisestä Instagram-kuvasta yllättäen nettihitti: ”Kaikkien aikojen traagisin otos”

    6. 6

      Pekka Vähäsöyrinki tunnusti Mika Myllylän haudalla, milloin dopinginkäyttö alkoi: ”Siinä hetkessä annoin periksi”

    7. 7

      Nuori mies jäi kiinni pettämisestä nololla tavalla – typerä töppäys sosiaalisessa mediassa kavalsi

    8. 8

      Stubb opetti Trumpille faktoja Ruotsista – viesti sytytti kiivaan keskustelun

    9. 9

      Kanadan hurmuriministeri sai Ivanka Trumpin pasmat sekaisin – flirttaileva kuva leviää vauhdilla

    10. 10

      Jasse-vauva lakkasi hengittämästä, isä ei epäröinyt hetkeäkään – ”Hän rakasti meidän pojan henkiin”

    11. Näytä lisää

    Näitä luetaan!

    1. 1

      Nokialla pahoinpidelty 17-vuotias tyttö on kuollut

    2. 2

      Suomen valtiota ja tuhansia kotikoneita piinannut teinihakkeri vangittiin – petti poliisille antaman lupauksensa

    3. 3

      Donald Trumpin Tiffany-tytär, 23, nolattiin muotitapahtumassa – kukaan ei halunnut istua vieressä: ”Ihmiset pakenivat”

    4. 4

      Äiti ihmettelee, miksi kuollut poika saa yhä karhukirjeitä – ”Häntä uhataan oikeuden­käynneillä”

    5. 5

      Jari-Matti Latvala ajoi hurjasti ulos testeissä – kaato tallentui videolle

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

      Poliisi Sastamalan kaksoissurmasta: Tekoa edelsi perheriita

    2. 2

      Stubb opetti Trumpille faktoja Ruotsista – viesti sytytti kiivaan keskustelun

    3. 3

      194-senttisen suomalaisen teinitytön temppu hätkäytti NBA-leirillä – valmentaja: ”Häntä yritetään repiä joka paikkaan”

    4. 4

      Nokialla pahoinpidelty 17-vuotias tyttö on kuollut

    5. 5

      Taistelu potilaiden oikeuksista: Parantumattomasti sairas Jari, 54, aikoo vaarantaa terveytensä, jos hallitus ei peru päätöstään

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

      Prisman kassamyyjä sai pyörätuolimiehen itkemään Helsingissä – jonossa ollut Jatta riensi apuun: ”Olin niin kiukkuinen”

    2. 2

      Takavuosien seksisymboli Outi Alanen 50 vuotta – katosi tv:stä eikä saa näyttelijän töitä: ”En kuulu hyvä veli -verkostoon”

    3. 3

      Tutkijat tekivät pelottavan löydön merenpohjasta 10 kilometrin syvyydestä

    4. 4

      MTV: Saara Aalto kärsii kiusallisesta ja kivuliaasta naistentaudista: ”Ei parannuskeinoa”

    5. 5

      Kauniin naisen tavallisen näköisestä Instagram-kuvasta yllättäen nettihitti: ”Kaikkien aikojen traagisin otos”

    6. Näytä lisää