Justifying the Dependability of Computer-based Systems - 9781848003712

Ohutus on süsteemi paradoksaalne omadus. See jääb immateriaalseks, immateriaalseks ja nähtamatuks seni, kuni juhtub rike, õnnetus või katastroof ja liiga hilja näitab selle puudumist. Ja siiski, süsteemile ei saa loota, kui selle ohutust ei ole võimalik selgitada, demonstreerida ja sertifitseerida. Praktilised ja keerulised küsimused, mis seda uuringut motiveerivad, puudutavad tõendeid ja argumente, mis on vajalikud arvutipõhise süsteemi ohutuse või üldisemalt selle töökindluse õigustamiseks. Töökindlus on lai mõiste, mis ühendab selliseid omadusi nagu ohutus, töökindlus, käideldavus, hooldatavus ja muud töötava süsteemi käitumisega seotud omadused. Kuidas saame anda kasutajatele kindluse, et süsteemil on nõutav töökindlus? Kuidas tuleks tõendeid esitada sertifitseerimisasutustele või reguleerivatele asutustele? Milliseid parimaid tavasid tuleks rakendada? Kuidas peaksime otsustama, kas süsteemi vabastamise õigustamiseks on piisavalt tõendeid? Nendele hirmutavatele küsimustele vastamiseks pakutakse välja meetod ja raamistik arvutipõhise süsteemi töökindluse põhjendamiseks. Selle lähenemisviisi eesmärk on konkreetselt tegeleda tarkvara valideerimisega seotud raskustega. Seega peaks see olema laialdaselt rakendatav, hoolimata sellest, et see põhineb peamiselt ohutuse seisukohalt oluliste tuumaelektrijaama instrumentide ja juhtimissüsteemide hindamise kogemusel. Et meetod oleks elujõuline, peab see tuginema usaldusväärsele teoreetilisele taustale.