Zio-11-wyk-Slajd3
Wprowadzenie
Wg Wikipedii system krytyczny to system, którego awaria, lub niewłaściwe funkcjonowanie może być bardzo poważne w skutkach. Może powodować stratę życia użytkowników, lub uszczerbek na zdrowiu. Może powodować również duże straty materialne lub poważne zanieczyszczenie środowiska.
Systemy takie można podzielić na krytyczne dla życia (life-critical system) lub bezpieczeństwa (safety-critical system). Mówi się, że system krytyczny dla życia dopuszcza stratę 1 życia ludzkiego w ciągu miliarda godzin, czyli ponad 11000 lat (110 wieków).
Jak widać poprzeczka dla tego typu systemów podniesiona jest bardzo wysoko. Czy jesteśmy w stanie wytworzyć system o takiej niezawodności w oparciu o dotychczas poznane sposoby wytwarzania oprogramowania? A może potrzebne nam jest inne podejście do wytwarzania takich systemów?
Ten wykład powinien odpowiedzieć Państwu na powyższe pytania.
Jeszcze do niedawna (kilkanaście lat temu) większość systemów krytycznych była systemami jedynie sprzętowymi. Ostatnio jednak prawie każdy system krytyczny zawiera w sobie oprogramowanie, dlatego też takie systemy leżą w zainteresowaniu inżynierii oprogramowania.
Na początku przyjrzyjmy się przykładom systemów krytycznych, aby zobaczyć ich różnorodność.
