Uutiset

Mallintarkastus varmistaa ydinvoimaloiden turvajärjestelmien virheettömyyden

Tutkimuksessa täydennetään mallintarkastuksella testauksen ja simuloinnin jättämiä aukkoja turvajärjestelmien verifioinnissa.

Mallintarkastaminen prosessikuvauksena.

Jussi Lahtisen väitöskirjassa etsittiin formaalimpaa, matemaattisempaa, lähestymistapaa järjestelmien verifiointiin, ja kehitettiin ydinvoima-alalle sopivia mallintarkastuskäytäntöjä. Perinteiset järjestelmien verifiointimenetelmät, kuten testaus ja simulointi, eivät ole riittävän kattavia turva-automaatiojärjestelmien digitalisoituessa yhä enenevässä määrin.

- Ydinvoimaloissa on käytössä laajoja turvajärjestelmiä, kuten esimerkiksi hätädieseljärjestelmä monine eri ohjausjärjestelmineen. Yhdessä kehitetyssä tekniikassa järjestelmä jaetaan osamoduuleihin, ja algoritmilla etsitään järjestelmän oikeellisuuden osoittava moduulien alijoukko, kertoo Lahtinen tutkimuksen toteutuksesta.

Arkkitehtuuritasolla merkittäviksi muodostuvat laitteistoviat esimerkiksi mikropiireissä, joita käytetään usean eri toiminnon laskemiseen. Yksittäisellä ohjelmistovialla ei niinkään ole suurta turvallisuusmerkitystä, koska laitoksella on käytössä useita itsenäisiä ohjelmistopohjaisia turvajärjestelmiä.

- Mallintarkastus on erittäin tehokas menetelmä löytämään piileviä suunnitteluvirheitä, jotka voivat olla myös outoja tai epätavallisia. Toisin kuin testauksella tai simuloimisella, mallintarkastuksella voidaan saavuttaa täydellinen sekventiaalinen kattavuus suhteessa tarkasteltavaan vaatimukseen, täydentää Lahtinen.

Väitöskirjan viimeisessä vaiheessa luotiin menetelmä ohjelmistopohjaisten järjestelmien suunnittelussa käytettävien toimilohkokaavioiden rakenteellisen testauksen tueksi. Menetelmässä generoidaan testejä turva-automaation toimintaa kuvaavan toimilohkokaavion rakenteen perusteella.

- Fortumilta saadun palautteen mukaan jo mallintarkastus prosessina voi paljastaa virheitä, joita ei tule huomanneeksi testauksessa. Lisäksi mittava tarkastus kykenee analysoimaan tapahtumia hyvin lyhyellä aikajänteellä, lisää Lahtinen.

Väitöskirjatyön tuloksia on jo hyödynnetty toimeksiannoissa Olkiluoto 3:n osalta Säteilyturvakeskukselle, Loviisan ydinvoimalan automaatiouudistuksen osalta Fortumille, ja Hanhikiven toiminnallisen arkkitehtuurin osalta Fennovoimalle. Jatkotutkimus mallintarkastuksen integroinnista todennäköisyysperusteiseen riskianalyysiin on jo alkanut.

Tutkimukseen liittyvä väitöstyö on ohjattu Aalto-yliopiston tietotekniikan laitoksella professori Keijo Heljangon toimesta, ja se on toteutettu Teknologian tutkimuskeskus VTT:ssä. Tutkimus on suurelta osin SAFIR-ydinturvallisuustutkimusohjelman rahoittama. Mallintarkastusta on tutkittu yhtäjaksoisesti vuodesta 2007 saakka, ja se on laskennallisesti hyvin vaativa menetelmä.

Lisätietoa:

Jussi Lahtinen
VTT
[email protected]
+3580 400 519 798

Keijo Heljanko
Professori
Tietotekniikan laitos
[email protected]
+358 50 430 0771

Väitöskirja: Ydinvoimaloiden laajojen turva-automaatiojärjestelmien mallintarkastus

Väitöstilaisuus

  • Julkaistu:
  • Päivitetty:
Jaa
URL kopioitu

Lue lisää uutisia

Kristo Ovaska, Kauppakorkeakoulun Vuoden Alumni 2022
Nimitykset Julkaistu:

Kristo Ovaska on Kauppakorkeakoulun Vuoden Alumni 2022

”Laaja-alaiselle osaamiselle on työmarkkinoilla suurta kysyntää”, sanoo Kristo Ovaska.
men talking
Tutkimus ja taide Julkaistu:

Korjausrakentaminen on riskialtista - Nyt tutkimus esittää keinoja sen parempaan hallintaan

Energiaremontit, modernisointi ja käyttötarkoituksen muutokset lisäävät korjausrakentamisen tarvetta. Korjausrakentaminen on kuitenkin tunnetusti riskialtista liiketoimintaa. Building 2030 konsortion tutkimus tutki, miten esivalmistus ja digitaalinen tiedonhallinta voisivat tehdä siitä hallitumpaa.
Alustatalouden faktat ja myytit jakso 8 studiossa Annukka Berg, Juhani Järvensivu, William von der Pahlen ja Robin Gustafsson
Tutkimus ja taide Julkaistu:

Olisiko alustataloudesta hävikinpoistajaksi? Alustatalouden F&M -podcast pureskelee kiertotalouden kysymyksiä

Alustataloudella voisi olla ratkaisun avaimia kiertotalouden tehostamiseksi, mutta niiden hyödyntämisessä ollaan vielä kaukana.
Uusi podcast-jakso Alustatalouden oppikirjaesimerkki: urheilupalvelu ja terveyshanke hyötyvät samasta datasta. Vieraana Timo Ståhl ja Juha Saapunki. Kuva podcastin isännistä ja juontajasta.
Tutkimus ja taide Julkaistu:

Suomisportista hyvinvointialustaksi: Alustatalouden F&M -podcastissa aiheena digiratkaisut terveys- ja hyvinvointialalla

Alustatalouden F&M -podcastin jaksossa keskustellaan terveys- ja hyvinvointipalveluista ja miten alustatalouden työkaluja voitaisiin niissä hyödyntää.