TY - BOOK
T1 - Ohjelmiston luotettavuuden kvalitatiivinen arviointi
AU - Harju, Hannu
PY - 2000
Y1 - 2000
N2 - Tekniset järjestelmät tulevat jatkuvasti yhä enemmän
riippuviksi ohjelmistoista. Ohjelmistopohjaiset
turvatoimintoja toteuttavat turvallisuuteen liittyvät
järjestelmät pohjautuvat tiukkoihin vaatimuksiin
ohjelmiston turvallisuuden eheydestä. Niille on olemassa
joukko menetelmiä ja tekniikoita, joilla voidaan arvioida
ja suunnitella ohjelmiston turvallisuuden eheyttä. Tarve
hyödyntää näitä menetelmiä ja tekniikoita on hyvin
tiedostettu, mutta korkeitten kustannusten takia niitä ei
ole käytetty vähemmän kriittisten ohjelmistojärjestelmien
rakentamisessa.
Tässä julkaisussa kuvataan ohjelmiston luotettavuuden
kvalitatiivinen kelpoistusmenetelmä, jonka tarkoituksena
on arvioida ja ohjata luotettavuusominaisuuksia
ohjelmistotuotannon elinkaaren vaiheissa. Ohjelmiston
luotettavuusominaisuuksilla tarkoitetaan neljää
luotettavuusattribuuttia (toimintavarmuus, käytettävyys,
ylläpidettävyys ja turvallisuus), virhemekanismeja
(virhe, virhetilanne ja virhetoiminto) sekä keinoja
virhemekanismien purkamiseksi tietyn luotettavuuden
saavuttamiseksi.
Ohjelmiston luotettavuusvaatimusten
kelpoistamismenetelmän kehittämisessä on otetava huomioon
muut ohjelmiston virheettömyyteen ja oikeaan suoritukseen
tähtäävät menetelmät (luku 4). Menetelmä toteutetaan
tietyillä vaara-analyysitekniikoilla (luku 5), jotka
sopivilla kriteerivalinnoilla (luku 6) yhdistetään
kustannustehokkaaksi menetelmäksi Stérna (luku 7).
Stérnaa koekäytettiin yhteistyöyritysten
Honeywell-Measurexin ja Neles Automationin
ohjelmistoprojekteissa.
AB - Tekniset järjestelmät tulevat jatkuvasti yhä enemmän
riippuviksi ohjelmistoista. Ohjelmistopohjaiset
turvatoimintoja toteuttavat turvallisuuteen liittyvät
järjestelmät pohjautuvat tiukkoihin vaatimuksiin
ohjelmiston turvallisuuden eheydestä. Niille on olemassa
joukko menetelmiä ja tekniikoita, joilla voidaan arvioida
ja suunnitella ohjelmiston turvallisuuden eheyttä. Tarve
hyödyntää näitä menetelmiä ja tekniikoita on hyvin
tiedostettu, mutta korkeitten kustannusten takia niitä ei
ole käytetty vähemmän kriittisten ohjelmistojärjestelmien
rakentamisessa.
Tässä julkaisussa kuvataan ohjelmiston luotettavuuden
kvalitatiivinen kelpoistusmenetelmä, jonka tarkoituksena
on arvioida ja ohjata luotettavuusominaisuuksia
ohjelmistotuotannon elinkaaren vaiheissa. Ohjelmiston
luotettavuusominaisuuksilla tarkoitetaan neljää
luotettavuusattribuuttia (toimintavarmuus, käytettävyys,
ylläpidettävyys ja turvallisuus), virhemekanismeja
(virhe, virhetilanne ja virhetoiminto) sekä keinoja
virhemekanismien purkamiseksi tietyn luotettavuuden
saavuttamiseksi.
Ohjelmiston luotettavuusvaatimusten
kelpoistamismenetelmän kehittämisessä on otetava huomioon
muut ohjelmiston virheettömyyteen ja oikeaan suoritukseen
tähtäävät menetelmät (luku 4). Menetelmä toteutetaan
tietyillä vaara-analyysitekniikoilla (luku 5), jotka
sopivilla kriteerivalinnoilla (luku 6) yhdistetään
kustannustehokkaaksi menetelmäksi Stérna (luku 7).
Stérnaa koekäytettiin yhteistyöyritysten
Honeywell-Measurexin ja Neles Automationin
ohjelmistoprojekteissa.
KW - software safety integrity
KW - software reliability
KW - software availability
KW - software maintainability
KW - software fault mechanisms
KW - software dependability requirements validation
M3 - Report
SN - 951-38-5766-2
T3 - VTT Tiedotteita - Meddelanden - Research Notes
BT - Ohjelmiston luotettavuuden kvalitatiivinen arviointi
PB - VTT Technical Research Centre of Finland
CY - Espoo
ER -