Detekce anomálií běhu RTOS aplikace

Simple item page
but.committeeprof. Ing. Pavel Jura, CSc. (předseda) prof. Ing. Jaroslav ČECHÁK, Ph.D. (člen) pplk. doc. Ing. Michal DUB, Ph.D. (člen) doc. Ing. Štěpán OŽANA, Ph.D. (člen) prof. Ing. Rudolf JALOVECKÝ, CSc. - oponent (člen) doc. Ing. Petr BLECHA, Ph.D. - oponent (člen)cs
but.defencePráce je zaměřena na diagnostiku chyb při běhu operačního systému reálného času. Na základě analýz vytvořil návrh kontrolního běhu SW aplikace pro vymezený kontext architektury a následně ho implementoval do HW kontrolního modulu. Za drobný nedostatek lze považovat neúplné odkazy na citované normy. Doktorand prezentoval cíle své disertace a výsledky, kterých dosáhl. Odpověděl vyčerpávajícím způsobem na všechny dotazy komise.cs
but.jazykčeština (Czech)
but.programElektrotechnika a komunikační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorBradáč, Zdeněkcs
dc.contributor.authorArm, Jakubcs
dc.contributor.refereeJalovecký, Rudolfcs
dc.contributor.refereeBlecha, Petrcs
dc.date.created2020cs
dc.description.abstractS vyššími požadavky na výpočetní výkon a bezpečnost (resp. funkční bezpečnost) zařízenív průmyslové doméně jsou vestavné systémy spolu s operačními systémy reálného času stálepředmětem výzkumu. Tato práce se zabývá kontrolním subsystémem běhu softwarovéhovybavení založeným na modelu aplikace, který zlepšuje diagnostické pokrytí chyb zejménaanomálií vykonávání RTOS. Po specifikaci architektury tohoto subsystému následujeformální definice modelu a jeho implementace do hardware, resp. FPGA. Práce popisujei další možné směry výzkumu a také přináší nové pohledy na rozebíranou problematiku,např. kombinaci s návrhovými vzory. Nedílnou součástí je i ověření funkčnosti navrhnutéhomodulu pomocí simulace na testovacích scénářích, které vychází ze změřeného záznamuudálostí reálné aplikace. Z výsledků vyplývá, že vyvinutý modul dosahuje řádově nižšíhočasu detekce než standardní watchdog.cs
dc.description.abstractDue to higher requirements of computational power and safety, or functional safety ofequipments intended for the use in the industrial domain, embedded systems containing areal-time operating system are still the active area of research. This thesis addresses thehardware-assisted control module that is based on the runtime model-based verificationof a target application. This subsystem is intended to increase the diagnostic coverage,particularly, the detection of the execution errors. After the specification of the architecture,the formal model is defined and implemented into hardware using FPGA technology.This thesis also discuss some other aspects and embodies new approaches in the area ofembedded flow control, e.g. the integration of the design patterns. Using the simulation,the created module was tested using the created scenarios, which follow the real programexecution record. The results suggest that the error detection time is lower than usingstandard techniques, such a watchdog.en
dc.description.markPcs
dc.identifier.citationARM, J. Detekce anomálií běhu RTOS aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2020.cs
dc.identifier.other129354cs
dc.identifier.urihttp://hdl.handle.net/11012/195785
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectDetekce anomáliícs
dc.subjectFunkční bezpečnostcs
dc.subjectPetriho síťcs
dc.subjectoperační systém reálného časucs
dc.subjectkontrolaběhu programucs
dc.subjectnávrhový vzorcs
dc.subjectFPGAcs
dc.subjectAnomaly detectionen
dc.subjectFunctional safetyen
dc.subjectPetri neten
dc.subjectRTOSen
dc.subjectprogram flow controlen
dc.subjectdesignpatternen
dc.subjectFPGAen
dc.titleDetekce anomálií běhu RTOS aplikacecs
dc.title.alternativeDetecting RTOS Runtime Anomaliesen
dc.typeTextcs
dc.type.driverdoctoralThesisen
dc.type.evskpdizertační prácecs
dcterms.dateAccepted2020-12-11cs
dcterms.modified2020-12-14-06:38:12cs
eprints.affiliatedInstitution.facultyFakulta elektrotechniky a komunikačních technologiícs
sync.item.dbid129354en
sync.item.dbtypeZPen
sync.item.insts2025.03.27 12:10:05en
sync.item.modts2025.01.15 11:33:53en
thesis.disciplineKybernetika, automatizace a měřenícs
thesis.grantorVysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. Ústav automatizace a měřicí technikycs
thesis.levelDoktorskýcs
thesis.namePh.D.cs
Files
Original bundle
Now showing 1 - 5 of 5
Thumbnail Image
Name:
final-thesis.pdf
Size:
6.42 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
thesis-1.pdf
Size:
926.02 KB
Format:
Adobe Portable Document Format
Description:
thesis-1.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-Posudek oponenta prof. Jalovecky_disertace Ing. Arm.pdf
Size:
816.06 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-Posudek oponenta prof. Jalovecky_disertace Ing. Arm.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-Posudek oponenta doc. Blecha_disertace Ing. Arm.pdf
Size:
347.71 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-Posudek oponenta doc. Blecha_disertace Ing. Arm.pdf
Download
Thumbnail Image
Name:
review_129354.html
Size:
4.13 KB
Format:
Hypertext Markup Language
Description:
file review_129354.html
Download
Collections
2020