@book{e2d06582b1ce4cb08fd51fba520b0a54,
title = "Ohjelmoitavan automaation hyv{\"a}ksymisk{\"a}yt{\"a}nn{\"o}t",
abstract = "Suomeen tarjotun uuden ydinvoimalaitoksen k{\"a}ytt{\"o}- ja turvallisuusautomaatioj{\"a}rjestelmi{\"a} ehdotetaan toteutettavaksi ohjelmoitavalla digitaalitekniikalla. T{\"a}m{\"a} n{\"a}ytt{\"a}{\"a} olevan merkitt{\"a}vin teknologinen uudistus ehdolla olevissa muuten varsin tavanomaisissa laitoskonsepteissa. My{\"o}s nykyisill{\"a} laitoksilla vanhojen ohjausj{\"a}rjestelmien t{\"a}ydent{\"a}minen tai korvaaminen ohjelmoitavalla tekniikalla saattaa tulevaisuudessa olla tarpeen. Ohjelmoitavan digitaalisen j{\"a}rjestelm{\"a}n turvallisuusarvio ei voi perustua tavanomaisiin todenn{\"a}k{\"o}isyyspohjaisiin menetelmiin sek{\"a} ohjelmiston ett{\"a} laitteiston luotettavuuden kvantifiointiin liittyvien ep{\"a}varmuuksien takia. Ohjelmiston kvantifioinnin vaikeus on yleisesti tunnustettu, mutta sama koskee my{\"o}s laitteistoa, koska sen vikaantumisen vaikutus riippuu vikaantumishetkell{\"a} suorittavana olevasta ohjelmak{\"a}skyst{\"a}. Vaikeuksien syyn{\"a} ovat ohjelmoitavan j{\"a}rjestelm{\"a}n monimutkaisuus, ep{\"a}jatkuva k{\"a}ytt{\"a}ytyminen ja taipumus rinnakkaisten j{\"a}rjestelmien yhteisvikaantumiseen. J{\"a}rjestelm{\"a}n luotettavuusarvio on laadittava asiantuntija-arviona kvalitatiivisin ja deterministisin (ei todenn{\"a}k{\"o}isyyspohjaisin) kriteerein ja rajoitettava n{\"a}iden perusteella hyv{\"a}ksytt{\"a}viss{\"a} olevalle tasolle. Kvantitatiivisen luotettavuusarvion ep{\"a}varmuuden takia joudutaan muilla keinoilla hankkimaan lis{\"a}varmistusta j{\"a}rjestelm{\"a}n turvallisuudesta. N{\"a}it{\"a} keinoja ovat j{\"a}rjestelm{\"a}n suunnittelun ja valmistuksen korkean laadun toteaminen deterministisin kriteerein sek{\"a} valmiiseen tuotteeseen kohdistettavat varmuuden lis{\"a}{\"a}mistoimenpiteet. Deterministisiin kriteereihin sis{\"a}ltyy redundanssi- ja diversiteettiperiaatteiden sopiva k{\"a}ytt{\"o}. Varmuuden lis{\"a}{\"a}mistoimenpiteet muodostuvat puolueettoman tahon suorittamista analyyseist{\"a} ja testeist{\"a}. Ei ole olemassa mit{\"a}{\"a}n yksitt{\"a}ist{\"a} keinoa osoittaa, ett{\"a} ohjelmallisesti toteutettu j{\"a}rjestelm{\"a} on riitt{\"a}v{\"a}n turvallinen, vaan luottamuksen j{\"a}rjestelm{\"a}n turvallisuuteen tulee perustua k{\"a}ytettyjen menettelyjen monipuolisuuteen ja keskin{\"a}iseen riippumattomuuteen. Koskaan ei voida saavuttaa varmuutta siit{\"a}, ett{\"a} ohjelmoitu j{\"a}rjestelm{\"a} on turvallinen, sen sijaan voidaan systemaattisesti m{\"a}{\"a}ritell{\"a} tekniikkoja, jotka oikein sovellettuna v{\"a}hent{\"a}v{\"a}t ep{\"a}varmuutta j{\"a}rjestelm{\"a}n turvallisuudesta. Lisensiointik{\"a}yt{\"a}nn{\"o}t ovat useimmissa ydinvoimaa hy{\"o}dynt{\"a}viss{\"a} maissa vasta kehittym{\"a}ss{\"a}, ja ohjelmoitavia j{\"a}rjestelmi{\"a} on lisensioitu ja otettu k{\"a}ytt{\"o}{\"o}n tapauskohtaisin erityismenettelyin. Suomen tilanteen kannalta selv{\"a}piirteisin ja mielenkiintoisin n{\"a}ytt{\"a}{\"a} olevan englantilaisen Sizewell B laitoksen k{\"a}ynniss{\"a} oleva lisensiointiprosessi sek{\"a} Darlingtonin laitoksen suojausj{\"a}rjestelm{\"a}n lisensiointi Kanadassa. Toisaalta voidaan todeta, ett{\"a} sovellettavat k{\"a}yt{\"a}nn{\"o}t ja menettelyt voidaan lopullisesti kiinnitt{\"a}{\"a} vasta k{\"a}yt{\"a}nn{\"o}n lisensiointiprosessin kuluessa. Yleinen trendi n{\"a}ytt{\"a}{\"a} my{\"o}s kulkevan kohti suorituskykyvaatimuksia teknisten vaatimusten sijasta painottavaa k{\"a}yt{\"a}nt{\"o}{\"a}, koska suorituskykyvaatimukset ovat riippumattomampia tekniikan kehityksest{\"a} kuin niiden saavuttamiseen k{\"a}ytett{\"a}v{\"a}t tekniset keinot.",
keywords = "nuclear energy, nuclear power plants, safety, control equipment, automation, computer programming, verification inspection, nuclear engineering, nuclear reactor control, nuclear reactor safety, automatic control, proving, risk analysis, process control, evaluation, assessments, appraisals, digital systems, accident prevention, licenses",
author = "Pentti Haapanen and Lars-Erik H{\"a}ll and Altti Lucander and Teemu Manninen",
year = "1993",
language = "Finnish",
isbn = "951-38-4341-6",
series = "VTT Tiedotteita - Meddelanden - Research Notes",
publisher = "VTT Technical Research Centre of Finland",
number = "1447",
address = "Finland",
}