Justifying the Dependability of Computer-based Systems - 9781848003712

Drošība ir paradoksāla sistēmas īpašība. Tas paliek nemateriāls, nemateriāls un neredzams, līdz notiek kļūme, nelaimes gadījums vai katastrofa un par vēlu atklāj tās neesamību. Un tomēr uz sistēmu nevar paļauties, ja vien tās drošību nevar izskaidrot, demonstrēt un sertificēt. Praktiskie un sarežģītie jautājumi, kas motivē šo pētījumu, attiecas uz pierādījumiem un argumentiem, kas nepieciešami, lai pamatotu datorizētas sistēmas drošību vai vispārīgāk tās uzticamību. Uzticamība ir plašs jēdziens, kas integrē tādas īpašības kā drošība, uzticamība, pieejamība, apkopējamība un citas saistītas darbības sistēmas darbības īpašības. Kā mēs varam sniegt lietotājiem pārliecību, ka sistēma bauda nepieciešamo uzticamību? Kā pierādījumi jāiesniedz sertifikācijas iestādēm vai regulatīvajām iestādēm? Kādas labākās prakses būtu jāpiemēro? Kā mums jāizlemj, vai ir pietiekami daudz pierādījumu, lai attaisnotu sistēmas izlaišanu? Lai palīdzētu atbildēt uz šiem biedējošajiem jautājumiem, tiek piedāvāta metode un sistēma datorizētas sistēmas uzticamības pamatojumam. Šīs pieejas mērķis ir īpaši risināt programmatūras validācijas radītās grūtības. Līdz ar to tai vajadzētu būt plaši izmantojamai, neskatoties uz to, ka tā galvenokārt balstās uz pieredzi, kas gūta, novērtējot kodolspēkstacijas instrumentu un drošības nodrošināšanai svarīgās kontroles sistēmas. Lai metode būtu dzīvotspējīga, tai ir jābalstās uz pamatotu teorētisko pamatu.