Diagnozowanie błędów oprogramowania w złożonych systemach o znaczeniu krytycznym

W niniejszej pracy zaproponowano podejście do diagnostyki błędów oprogramowania w złożonych systemach odpornych na awarie obejmujące fazy wykrywania błędów lokalizacji usterek i przywracania systemu. Błędy są wykrywane w pierwszej fazie z wykorzystaniem wsparcia systemu operacyjnego. Usterki są identyfikowane podczas fazy lokalizacji za pomocą podejścia opartego na uczeniu maszynowym. Następnie po zlokalizowaniu usterki uruchamiane jest najlepsze działanie naprawcze. W fazie lokalizacji stosowane są również działania zwrotne w celu poprawy jakości wykrywania w miarę upływu czasu. Jako studium przypadku do oceny proponowanego podejścia wykorzystano rzeczywiste zastosowanie z dziedziny kontroli ruchu lotniczego. Wyniki eksperymentów uzyskane poprzez wprowadzenie błędów pokazują że silnik diagnostyczny jest w stanie diagnozować błędy z dużą dokładnością i przy niskich kosztach.