|
| |
|
|
Údržba malého dopravního letounu s využitím metodiky MSG-3
Trefilová, Helena ; Třetina, Karel (oponent) ; Finda, Jindřich (vedoucí práce)
Diplomová práce se zabývá problematikou údržby malého dopravního letounu s využitím metodiky MSG-3 a vytvořením jeho údržbového plánu. Zaměřuje se zejména na údržbu systémů a pohonných jednotek. Metodika je aplikována na letoun L-410UVP-E20. Součástí práce je zhodnocení stavu v oblasti údržby letadel, používané přístupy, metody a předpisy. Poslední část práce je praktická ukázka aplikace metody MSG-3 na zadaných agregátech a její následné vyhodnocení.
|
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
|
Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám
Suchánek, Martin ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Spoľahlivosť je dôležitou súčasťou rôznych systémov. Cieľom práce je vytvorenie spoľahlivostných modelov niektorých opravovaných a neopravovaných systémov odolných proti poruchám a následné vyhodnocovanie ich spoľahlivostných ukazateľov. Na vytváranie modelov je využitý nástroj Uppaal spolu s rozšírením SMC, ktoré slúži na verifikáciu. Výsledkom práce je overenie modelov a vyhodnocovanie spoľahlivostných ukazateľov s využitím nástroja Uppaal SMC.
|
|
|
Metodika návrhu synchronizace a obnovy stavu systému odolného proti poruchám
Szurman, Karel ; Fišer, Petr (oponent) ; Racek, Stanislav (oponent) ; Vlček, Karel (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato disertační práce představuje metodiku vytvořenou pro návrh synchronizace a obnovy stavu systému odolného proti poruchám. Metoda synchronizace stavu navržená podle popsané metodiky umožňuje opravit stav paměťových prvků systému, které jsou implementovány v aplikační logické vrstvě číslicového návrhu v FPGA a jejichž hodnoty nelze opravit částečnou dynamickou rekonfigurací. Vytvořená metodika popisuje možné způsoby návrhu metod synchronizace s ohledem na granularitu TMR, závislost funkce systému na předchozích stavech a samotné architektuře číslicového systému. Metodika se blíže zaměřuje na hrubozrnné architektury TMR a problematiku synchronizace stavu v systémech řízených stavovými automaty nebo procesorem. V této práci je využití vytvořené metodiky předvedeno na návrhu metod synchronizace stavu pro systém řadiče sběrnice CAN odolného proti poruchám a zabezpečený systém mikrokontroléru NEO430. Při experimentálním ověření mechanismů opravy a obnovy stavu systému po poruše byla ověřena jak správná funkce systémů, tak jejich spolehlivost v přítomnosti simulovaných poruch typu SEU. V závěru práce jsou diskutovány dosažené experimentální výsledky a přínos práce.
|
|
| |
|
|
Diagnostika vibrací strojů při kusových zkouškách
Kohutek, Tomáš ; Hammer, Miloš (oponent) ; Nahodil, Petr (vedoucí práce)
Tato diplomová práce pojednává o diagnostice vibrací strojů při kusových zkouškách v průmyslovém podniku Siemens Electric Machines s.r.o. v Drásově. V práci je vypracován návrh systému diagnostiky, který obsahuje vybrané metody vibrační diagnostiky, metodiku, postup při měření a vyhodnocení naměřených hodnot. Součástí práce je také praktický příklad měření, na kterém je zmíněný systém vyzkoušen.
|
|
|
Management spolehlivosti
Brlica, Pavel ; Hammer, Miloš (oponent) ; Řezníčková, Hana (vedoucí práce)
Tato bakalářská práce se zabývá systémem managementu spolehlivosti. V teoretické části jsou definovány základní pojmy z oblasti spolehlivosti, je popsán vztah spolehlivosti vzhledem ke kvalitě a detailně rozebrán systém managementu spolehlivosti. V praktické části je uveden výpočet vybraných ukazatelů spolehlivosti a sestrojena vanová křivka reálného stroje.
|
|
|
Metodika vkládání kontrolních prvků do číslicového systému
Bartl, Michal ; Straka, Martin (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Problematika popisovaná a řešená v této diplomové práci zapadá tématicky do oblasti testování číslicových obvodů. Jsou v ní vysvětleny základní pojmy jako spolehlivost, řiditelnost, pozorovatelnost a testovatelnost obvodu. Více rozepsány jsou jednotlivé techniky pro zvyšování spolehlivosti číslicových obvodů a je zde uveden také příklad metod zvyšujících testovatelnost obvodu i metody určující metriku, která udává, nakolik je daný obvod diagnostikovatelný. V práci je dále popsán formální model struktury číslicového obvodu, na který navazuje implementační část. V ní byl vytvořen programový prostředek, jehož hlavní funkcí je nalezení komponent, z nichž obvod sestává, a rozpoznání jejich funkce. Pro tyto obvodové prvky dále program vytváří kontrolní obvody, které sledují jejich správnou funkci.
|
|
|
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.
|
host ::
RSS.