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

      Suomessa on yöllä lämpimämpää kuin Espanjassa – meteorologi kertoo, mistä on kyse

    2. 2

      Poliisi sai tuoreita vihjeitä sarjahukuttajasta – ”Etsintäkuulutettu on nähty aivan äsken”

    3. 3

      Yksi kuoli rekan pudottua moottoritieltä Lohjalla – erikoinen tapahtumaketju johti karmeaan turmaan

    4. 4

      Jaana, 54, sai Alkosta potkut pitkien kynsien takia: ”Tämän ikäiselle yksikätiselle naiselle ei töitä löydy”

    5. 5

      Vauvana sairaalasta siepattu nainen kehui kasvattiäitiään: ”Yhdestä virheestä sain parhaimman elämän”

    6. 6

      Tv:ssä piilotellun Minttu Räikkösen uskalias gaalatyyli julki – asun jujuna näyttävä kaula-aukko ja halkio

    7. 7

      Axl Smith kirjoitti someen uhmakkaasti – uhrit ahdistuivat: ”Osa on kokenut uhkaavana”

    8. 8

      Pizzalähettiä odotti imatralaisen kodin ovella harvinaisen röyhkeä kohtelu – kolmen pizzan hinnaksi tuli lopulta yli 350 euroa

    9. 9

      Barack Obamalta tivattiin neuvoja seuraajalleen – antoi varoituksen Donald Trumpille

    10. 10

      Vihannesten muovitarroja korvataan lasermerkinnällä – brittikauppa törmäsi erikoiseen ongelmaan

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

      Tänään tv:ssä: Pihla Viitala täysin alastomana Hollywood-debyyttissään: ”En saanut silmiäni irti hänestä”

    2. 2

      Yle paljasti jo: Autovero pois – ajoneuvo- ja polttoaineveroja lasketaan

    3. 3

      Jaana, 54, sai Alkosta potkut pitkien kynsien takia: ”Tämän ikäiselle yksikätiselle naiselle ei töitä löydy”

    4. 4

      Yksi kuoli rekan pudottua moottoritieltä Lohjalla – erikoinen tapahtumaketju johti karmeaan turmaan

    5. 5

      Axl Smith kirjoitti someen uhmakkaasti – uhrit ahdistuivat: ”Osa on kokenut uhkaavana”

    6. 6

      Kimi Räikkösen saapuminen Hartwall-areenaan oli tarkoin varjeltu salaisuus – ”Sovimme Kimin kanssa, miten nämä asiat hoidetaan”

    7. 7

      Nainen synnytti salaa vessassa – raskaudesta tietämättömät vanhemmat havahtuivat pamaukseen

    8. 8

      Pizzalähettiä odotti imatralaisen kodin ovella harvinaisen röyhkeä kohtelu – kolmen pizzan hinnaksi tuli lopulta yli 350 euroa

    9. 9

      Juopuneet suomalaiskaverukset lensivät ulos baarista juuri ennen ammuskelua – pelastuivat verilöylyltä

    10. 10

      Axl Smithin uhrien joukossa julkisuudesta tuttuja henkilöitä – tapaus tänään käräjillä

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

      Madonna julkaisi haarovälikuvan – Piers Morgan: ”Oksensin aamupalani”

    2. 2

      Poliisi ampui miehen maaliskuussa – vainajan autosta löytyi kolkko kirje

    3. 3

      Valesotilas yritti huijata – Tiina vedättikin takaisin: ”Naurettiin ukkoni kanssa niin, että mahaan koski”

    4. 4

      Häikäisevän kaunis morsian! Mika Häkkinen ja Marketa pääsivät poroajelun kyytiin – suloiset lapset mukana

    5. 5

      Mikan ja Marketan rakkaustarina – saksalaislehti paljasti kaunottaren menneisyyden

    6. 6

      Perhe etsii vastausta kammottavaan kuvaan – mitä tai mikä ilmestyi yhtäkkiä yöllä kotipihalla otettuun valokuvaan?

    7. 7

      Kolme povekasta blondia: Natalie, 45, sekoitetaan jatkuvasti tyttäriinsä – erotatko kuvista kuka on äiti?

    8. 8

      Nainen synnytti salaa vessassa – raskaudesta tietämättömät vanhemmat havahtuivat pamaukseen

    9. 9

      Patrik Laineen sydän on puhdasta kultaa – vastasi pienen fanin kirjeeseen ikimuistoisella tavalla

    10. 10

      Suomalaisten kasvoilla näkyvä silmälasimalli on auttamattomasti out

    11. Näytä lisää

    Näitä luetaan!

    1. 1

      Suomessa on yöllä lämpimämpää kuin Espanjassa – meteorologi kertoo, mistä on kyse

    2. 2

      Poliisi sai tuoreita vihjeitä sarjahukuttajasta – ”Etsintäkuulutettu on nähty aivan äsken”

    3. 3

      Yksi kuoli rekan pudottua moottoritieltä Lohjalla – erikoinen tapahtumaketju johti karmeaan turmaan

    4. 4

      Jaana, 54, sai Alkosta potkut pitkien kynsien takia: ”Tämän ikäiselle yksikätiselle naiselle ei töitä löydy”

    5. 5

      Vauvana sairaalasta siepattu nainen kehui kasvattiäitiään: ”Yhdestä virheestä sain parhaimman elämän”

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

      Tänään tv:ssä: Pihla Viitala täysin alastomana Hollywood-debyyttissään: ”En saanut silmiäni irti hänestä”

    2. 2

      Yle paljasti jo: Autovero pois – ajoneuvo- ja polttoaineveroja lasketaan

    3. 3

      Jaana, 54, sai Alkosta potkut pitkien kynsien takia: ”Tämän ikäiselle yksikätiselle naiselle ei töitä löydy”

    4. 4

      Yksi kuoli rekan pudottua moottoritieltä Lohjalla – erikoinen tapahtumaketju johti karmeaan turmaan

    5. 5

      Axl Smith kirjoitti someen uhmakkaasti – uhrit ahdistuivat: ”Osa on kokenut uhkaavana”

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

      Madonna julkaisi haarovälikuvan – Piers Morgan: ”Oksensin aamupalani”

    2. 2

      Poliisi ampui miehen maaliskuussa – vainajan autosta löytyi kolkko kirje

    3. 3

      Valesotilas yritti huijata – Tiina vedättikin takaisin: ”Naurettiin ukkoni kanssa niin, että mahaan koski”

    4. 4

      Häikäisevän kaunis morsian! Mika Häkkinen ja Marketa pääsivät poroajelun kyytiin – suloiset lapset mukana

    5. 5

      Mikan ja Marketan rakkaustarina – saksalaislehti paljasti kaunottaren menneisyyden

    6. Näytä lisää