Justifying the Dependability of Computer-based Systems - 9781848003712

Bezpieczeństwo jest paradoksalną właściwością systemu. Pozostaje niematerialna, nieuchwytna i niewidzialna, dopóki nie nastąpi awaria, wypadek czy katastrofa i zbyt późno nie ujawni swojej nieobecności. Jednak nie można polegać na systemie, jeśli nie można wyjaśnić, wykazać i certyfikować jego bezpieczeństwa. Praktyczne i trudne pytania, które motywują to badanie, dotyczą dowodów i argumentów potrzebnych do uzasadnienia bezpieczeństwa systemu komputerowego, lub szerzej jego niezawodności. Niezawodność to szerokie pojęcie integrujące takie właściwości, jak bezpieczeństwo, niezawodność, dostępność, łatwość konserwacji i inne powiązane cechy zachowania działającego systemu. Jak zapewnić użytkownikom pewność, że system charakteryzuje się wymaganą niezawodnością? W jaki sposób należy przedstawiać dowody jednostkom certyfikującym lub organom regulacyjnym? Jakie najlepsze praktyki warto zastosować? Jak powinniśmy zdecydować, czy istnieją wystarczające dowody uzasadniające wydanie systemu? Aby pomóc odpowiedzieć na te zniechęcające pytania, zaproponowano metodę i ramy uzasadniające niezawodność systemu komputerowego. Podejście to ma na celu w szczególności radzenie sobie z trudnościami wynikającymi z walidacji oprogramowania. Dlatego powinna mieć szerokie zastosowanie, mimo że opiera się głównie na doświadczeniach związanych z oceną oprzyrządowania i systemów sterowania elektrowni jądrowych ważnych dla bezpieczeństwa. Aby metoda była wykonalna, musi opierać się na solidnym tle teoretycznym.