Autor práce: Ing. Jakub Arm
Ak. rok: 2020/2021
Vedoucí: doc. Ing. Zdeněk Bradáč, Ph.D.
Oponenti: prof. Ing. Rudolf Jalovecký, CSc., doc. Ing. Petr Blecha, Ph.D.
Abstrakt:S 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.
Detekce anomálií, Funkční bezpečnost, Petriho síť, operační systém reálného času, kontrolaběhu programu, návrhový vzor, FPGA
Termín obhajoby
11.12.2020
Výsledek obhajoby
obhájeno (práce byla úspěšně obhájena)
Průběh obhajoby
Prá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.
Jazyk práce
čeština
Fakulta
Ústav
Studijní program
Elektrotechnika a komunikační technologie (EKT-PK)
Studijní obor
Kybernetika, automatizace a měření (PK-KAM)
Složení komise
prof. 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)
Posudek vedoucího
doc. Ing. Zdeněk Bradáč, Ph.D.
Posudek oponenta
prof. Ing. Rudolf Jalovecký, CSc.
Soubor vložený oponentem | Velikost |
---|---|
Posudek oponenta [.pdf] | 816.06 kB |
Posudek oponenta
doc. Ing. Petr Blecha, Ph.D.
Soubor vložený oponentem | Velikost |
---|---|
Posudek oponenta [.pdf] | 347.71 kB |