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