Detail publikace

Testing Embedded Software Through Fault Injection: Case Study on Smart Lock

LOJDA Jakub, PÁNEK Richard, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin a KOTÁSEK Zdeněk. Testing Embedded Software Through Fault Injection: Case Study on Smart Lock. In: 2021 IEEE 22nd Latin American Test Symposium, LATS 2021. Punta del Este: Institute of Electrical and Electronics Engineers, 2021, s. 80-85. ISBN 978-1-6654-2057-0.
Název česky
Testování softwaru pro vestavěné systémy pomocí injekce poruch: případová studie na elektronickém zámku
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Lojda Jakub, Ing., Ph.D. (UPSY FIT VUT)
Pánek Richard, Ing. (UPSY FIT VUT)
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Krčma Martin, Ing. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Klíčová slova

Elektronický zámek, krokový motor, softwarová injekce poruch, prostředí pro vyhodnocení, Linux, ARM, x64

Abstrakt

Rostoucí úroveň integrace na čipu zvyšuje rovněž náchylnost na vznik poruch ve využívaných komponentách. Tento fakt se rovněž vztahuje na běžně používané typy pamětí a datových úložišť. Nabitá částice způsobí převrácení hodnoty uloženého bitu a uchovávaný program tak změní svůj význam. Ještě horší situace vzniká v případě, kdy jsou tyto chyby do systému vpravovány útočníkem za účelem daný systém vyřadit z provozu a nebo přimět k odlišnému chování. Protože tzv. chytrá zařízení jsou stále více rozšířená, zmíněná manipulace s nimi je velmi nežádoucí. Příkladem může být tzv. chytrý elektronický zámek. Proto v tomto článku vyhodnocujeme následky poškození řídicího programu v elektronickém zámku. Cílíme na elektronické zámky fungující na odlišných architekturách CPU a ukazujeme změny v chování zámku. V článku rovněž představujeme naše prostředí pro vyhodnocení, které je schopno pracovat s tzv. jednodeskovými počítači a vývojovými kity za účelem testu programu přímo na cílové platformě. Vyhodnocení se koná za přítomnosti chyb v testovaném řídicím softwaru. Naše výsledky ukazují, že nejvíce citlivou částí softwaru je obecně načtení sdílených knihoven v operačním systému. Chyba v takové části programu obvykle vyústí v neschopnost spuštění softwaru. Následuje Segmentation Fault a předčasné ukončení programu (např. problém v logice programu, jež počítá úhel natočení krokového motoru), což jsou také závažné projevy chyby. Nejméně problematické jsou podle našich pozorování syntaktické chyby v příkazech na výstupu softwaru, jež řídí krokový motor. V těchto případech jsou tyto chybné příkazy ignorovány v řadiči motoru. Důsledkem jsou mechanické záškuby motoru. Jistá pozorování z experimentální části tohoto článku mohou být zobecněna rovněž na ostatní chytrá zařízení, o čemž článek rovněž stručně pojednává v závěrečné části.

Rok
2021
Strany
80-85
Sborník
2021 IEEE 22nd Latin American Test Symposium, LATS 2021
Konference
22nd IEEE Latin-American Test Symposium, Punta del Este, UY
ISBN
978-1-6654-2057-0
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Punta del Este, UY
DOI
10.1109/LATS53581.2021.9651770
EID Scopus
2-s2.0-85124337660
BibTeX 
@INPROCEEDINGS{FITPUB12503,
   author = "Jakub Lojda and Richard P\'{a}nek and Jakub Podiv\'{i}nsk\'{y} and Ond\v{r}ej \v{C}ekan and Martin Kr\v{c}ma and Zden\v{e}k Kot\'{a}sek",
   title = "Testing Embedded Software Through Fault Injection: Case Study on Smart Lock",
   pages = "80--85",
   booktitle = "2021 IEEE 22nd Latin American Test Symposium, LATS 2021",
   year = 2021,
   location = "Punta del Este, UY",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-6654-2057-0",
   doi = "10.1109/LATS53581.2021.9651770",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12503"
}
Nahoru