Detail práce
Impact of Faults and Errors in Context of Embedded Operating Systems
Cílem práce je zhodnotit dopad injektovaných chyb a poruch na vestavěný operační systém a jeho aplikační vrstvu. Tento problém je vyřešen navrženým softwarem pro injektaci poruch a chyb. Tento software vkládá poruchy a chyby za běhu, tj. během provádění vestavěného systému. Injektace je spuštěna časem, jinými slovy, chyba je injektována po uplynutí časovače. Proti C/OS-II jádru spuštěnému pod NIOSII systémem byly provedeny dvě kampaně s injekcí chyb. Obě kampaně cílily na kód plánovače. Kód plánovače byl vylepšen mechanismem kontroly toku v případě druhé kampaně. Výsledky provedených injektačních kampaní ukázaly, že varianta s technikou CFCSS se ve srovnání s nezabezpečenou verzí chovala hůře.
operační systémy, C/OS-II, vestavěné systémy, systém Nios II, poruchy a chyby, selhání systému, injektace poruch a chyb, techniky zvyšování spolehlivosti, redundance
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.
- Jak dlouho trvá jeden běh (seřazení jedné posloupnosti)? Injektujete poruchu uniformě z rozsahu 0-1 s, na jakém základě byl tento interval zvolen?
- Okomentujte, proč při využití techniky CFCSS je více chybných výstupů než bez ní. Neslouží pouze k detekci poruch, které se navíc nemusí projevit chybou? Pokud ano, co se stane po objevení poruchy?
- Jak ohrozí změna bitu funkci plánovače bubble sort (důvod testování)?
- Kolik experimentů bylo provedeno během práce?
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT), člen
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Polčák Libor, Ing., Ph.D. (UIFS FIT VUT), člen
@bachelorsthesis{FITBT22987, author = "Marek Dole\v{z}el", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Impact of Faults and Errors in Context of Embedded Operating Systems", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2020, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/thesis/22987/" }