Diagnozowanie b¿¿dów oprogramowania w z¿o¿onych systemach o znaczeniu krytycznym: Nowatorskie podej¿cie zorientowane na przywracanie sprawno¿ci

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 dziäanie naprawcze. W fazie lokalizacji stosowane s¿ równie¿ dziä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 diagnozowä b¿¿dy z du¿¿ dok¿adno¿ci¿ i przy niskich kosztach.