Ohjelmiston luotettavuuden kvalitatiivinen arviointi

Translated title of the contribution: The qualitative assessment of software dependability

Hannu Harju

Research output: Book/ReportReport

Abstract

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.
Translated title of the contributionThe qualitative assessment of software dependability
Original languageFinnish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages114
ISBN (Electronic)951-38-5767-0
ISBN (Print)951-38-5766-2
Publication statusPublished - 2000
MoE publication typeD4 Published development or research report or study

Publication series

SeriesVTT Tiedotteita - Meddelanden - Research Notes
Number2066
ISSN1235-0605

Keywords

  • software safety integrity
  • software reliability
  • software availability
  • software maintainability
  • software fault mechanisms
  • software dependability requirements validation

Fingerprint Dive into the research topics of 'The qualitative assessment of software dependability'. Together they form a unique fingerprint.

  • Cite this

    Harju, H. (2000). Ohjelmiston luotettavuuden kvalitatiivinen arviointi. VTT Technical Research Centre of Finland. VTT Tiedotteita - Meddelanden - Research Notes, No. 2066 http://www.vtt.fi/inf/pdf/tiedotteet/2000/T2066.pdf