|
|
Využití moderních metod zvyšování spolehlivosti pro implementaci řídicího systému
Szurman, Karel ; Mičulka, Lukáš (oponent) ; Kaštil, Jan (vedoucí práce)
U leteckých řídicích a kritických systémů je nutné zaručit minimální úroveň odolnosti vůči poruchám a jejich vysokou spolehlivost. Na elektronické součástky těchto systémů působí nežádoucím vlivem okolní podmínky prostředí a to hlavně kosmické záření. V práci jsou popsány nejčastější typy poruch polovodičových součástek a zařízení spolu s moderními metodami, kterými lze zvýšit odolnost systému proti těmto poruchám a jeho celkovou spolehlivost. Jsou uvedeny aspekty návrhu leteckého systému vzhledem k jeho konečné certifikaci a způsoby, jakými lze posoudit jeho bezpečnost. Práce popisuje návrh a implementaci řídicího systému CAN sběrnice pro platformu FPGA, který využívá protokolu CANAerospace. Vytvořený systém je dále vylepšen pomocí TMR architektury. Odolnost proti poruchám obou verzí systému je otestována prostřednictvím SEU frameworku, jenž umožňuje za pomocí částečné dynamické rekonfigurace generovat SEU poruchy přímo do designu běžícího v FPGA.
|
|
|
VHDL návrh řídicí jednotky robota určeného pro samočinný pohyb v bludišti
Podivínský, Jakub ; Strnadel, Josef (oponent) ; Zachariášová, Marcela (vedoucí práce)
V této práci je popsán návrh a implementace řídicí jednotky robota určeného pro samočinný pohyb v bludišti. Jedná se o exemplární systém, který je určen pro testování a ověřování metodik pro zajištění odolnosti proti poruchám. Součástí práce je uvedení do problematiky spolehlivosti číslicových systémů, především systémů založených na technologii programovatelných hradlových polí (FPGA). Práce se také zabývá představením technik pro zajištění odolnosti číslicových systémů proti poruchám, pozornost je věnována možnostem FPGA v této oblasti včetně představení možností využití částečné dynamické rekonfigurace.
|
|
|
Funkční verifikace robotického systému pomocí UVM
Krajčír, Stanislav ; Čekan, Ondřej (oponent) ; Zachariášová, Marcela (vedoucí práce)
Jedním z aktuálně nejvíce využívaných přístupů pro verifikaci hardwarových systémů je funkční verifikace. Tato diplomová práce se zabývá tvorbou verifikačního prostředí s využitím metodiky UVM (Universal Verification Methodology) pro ověření korektnosti řídicí jednotky robotického systému s cílem odstranění funkčních chyb z její implementace. Teoretická část práce popisuje základní informace z oblasti funkční verifikace, metody tvorby verifikačního prostředí, jazyk SystemVerilog a problematiku zajištění odolnosti systémů proti poruchám. Následující část práce se zaměřuje na návrh verifikačního prostředí, jeho implementaci a na tvorbu testů sloužících k ověření korektnosti řídicí jednotky. V závěru práce jsou diskutovány a zhodnoceny dosažené výsledky verifikace.
|
host ::
RSS.