Statistical reliability assessment of software-based systems
Korhonen, Jukka; Pulkkinen, Urho; Haapanen, Pentti (1997-01-09)
Korhonen, Jukka
Pulkkinen, Urho
Haapanen, Pentti
Säteilyturvakeskus
09.01.1997
Julkaisun pysyvä osoite on
https://urn.fi/URN:ISBN:951-712-164-4
STUK-YTO-TR : 119
https://urn.fi/URN:ISBN:951-712-164-4
STUK-YTO-TR : 119
Kuvaus
1. painos
Tiivistelmä
TIIVISTELMÄ
Ydinvoimalaitosten toimittajat tarjoavat nykyään ohjelmoitavaa tekniikkaa kaikkein turvallisuuskriittisimpiinkin turvatoimintoihin. Turvallisuuskriittisten ohjelmoitavien järjestelmien luotettavuuden arviointi on vaikeaa koska tavanomaiset mallinnusmenetelmät eivät välttämättä sovellu näiden analyysiin, ja luotettavuuden kvantifiontia pidetään mahdottomana. Käyttökokemusten puute ja ohjelmistovikojen luonne aiheuttavat sen, että tavanomaisia luotettavuuden arviointimenetelmiä ei voida soveltaa.
Uusia menetelmiä tarvitaan näinollen ohjelmoitavien järjestelmien turvallisuuden arviointiin. ”Ydinvoimalaitosten ohjelmoitavat automaatiojärjestelmät (OHA)” -tutkimushankkeessa kehitetään ja arvioidaan erilaisia ohjelmoitavien järjestelmien turvallisuuden arviointimenetelmiä. Hanketta rahoittavat Säteilyturvakeskus (STUK), Kauppa- ja teollisuusministeriö (KTM) sekä Valtion teknillinen tutkimuskeskus (VTT).
OHA-projektin raporttisarjan tämä osa käsittelee ohjelmoitavien järjestelmien luotettavuuden tilastollista arviointia järjestelmän dynaamisten testien tulosten ja sen suunnitteluprosessin laatua kuvaavan kvalitatiivisen evidenssin avulla. Myöhemmin julkaistavissa sarjan muissa raporteissa käsitellään turvallisuuskriittisten ohjelmoitavien järjestelmien diversiteettivaatimuksia, testidatan generointia käyttöprofiileista sekä ohjelmoitavien järjestelmien käsittelyä laitoksen PSA-tutkimuksissa.
Ydinvoimalaitosten toimittajat tarjoavat nykyään ohjelmoitavaa tekniikkaa kaikkein turvallisuuskriittisimpiinkin turvatoimintoihin. Turvallisuuskriittisten ohjelmoitavien järjestelmien luotettavuuden arviointi on vaikeaa koska tavanomaiset mallinnusmenetelmät eivät välttämättä sovellu näiden analyysiin, ja luotettavuuden kvantifiontia pidetään mahdottomana. Käyttökokemusten puute ja ohjelmistovikojen luonne aiheuttavat sen, että tavanomaisia luotettavuuden arviointimenetelmiä ei voida soveltaa.
Uusia menetelmiä tarvitaan näinollen ohjelmoitavien järjestelmien turvallisuuden arviointiin. ”Ydinvoimalaitosten ohjelmoitavat automaatiojärjestelmät (OHA)” -tutkimushankkeessa kehitetään ja arvioidaan erilaisia ohjelmoitavien järjestelmien turvallisuuden arviointimenetelmiä. Hanketta rahoittavat Säteilyturvakeskus (STUK), Kauppa- ja teollisuusministeriö (KTM) sekä Valtion teknillinen tutkimuskeskus (VTT).
OHA-projektin raporttisarjan tämä osa käsittelee ohjelmoitavien järjestelmien luotettavuuden tilastollista arviointia järjestelmän dynaamisten testien tulosten ja sen suunnitteluprosessin laatua kuvaavan kvalitatiivisen evidenssin avulla. Myöhemmin julkaistavissa sarjan muissa raporteissa käsitellään turvallisuuskriittisten ohjelmoitavien järjestelmien diversiteettivaatimuksia, testidatan generointia käyttöprofiileista sekä ohjelmoitavien järjestelmien käsittelyä laitoksen PSA-tutkimuksissa.
Kokoelmat
- STUKin omat sarjajulkaisut [2304]