Ydinvoimaloiden turvallisuus paranee - mallintarkastus löytää piilevät suunnitteluvirheet

Ydinvoimaloiden turva-automaatiojärjestelmien varmentaminen on erittäin haastavaa, eikä perinteisillä menetelmillä, kuten testauksella ja simuloinnilla, useinkaan saavuteta täydellistä kattavuutta. VTT:n tutkija Jussi Lahtinen tutki väitöstyössään laskennallisesti vaativaa mallintarkastusta, jolla löydetään tehokkaasti piilevät suunnitteluvirheet.

Ydinvoimaloissa käytetyt turva-automaatiojärjestelmät perustuvat useimmiten digitaaliseen tekniikkaan. Lahtinen kehitti väitöstyössään digitaalisten turvajärjestelmien mallintamiseen ja testaukseen liittyviä menetelmiä sekä tekniikkaa laajojen modulaaristen järjestelmien automaattiseen oikeellisuuden varmentamiseen.

Väitöstyössä kehitettiin myös mallinnustekniikkaa, joka mahdollistaa järjestelmän vikasietoisuuteen liittyvien ominaisuuksien tarkastelemisen laajoissa järjestelmissä. Tekniikka on askel kohti todennäköisyysperusteisen riskianalyysiin ja mallintarkastuksen integraatiota.

Väitöstyön tulokset ovat merkittäviä ydinvoimaloiden turvallisuuden kannalta, sillä kehitettyjä tekniikoita voidaan käyttää varmistamaan turva-automaatiojärjestelmien suunnittelun virheettömyys.

Mallintarkastusta käytetään jo suomalaisten ydinvoimaloiden turva-automaatiojärjestelmien varmentamisessa. Väitöstyön myötä mallintarkastuksen skaalautuvuus ja käyttökelpoisuus ovat myös parantuneet. Työn voi nähdä osana jatkumoa kohti yhä suurempia laitostason malleja ja uusia kokonaisvaltaisia tapoja analysoida turvallisuutta.

Jussi Lahtisen väitöstyö laajojen ydinvoimaloiden turva-automaatiojärjestelmien mallintarkastuksesta tarkastetaan 7.10. Aalto-yliopistossa.