|
|
Bezpečné aplikace s mikrokontroléry
Sobotka, Jiří ; Herman, Ivo (oponent) ; Balík, Miroslav (vedoucí práce)
Tato práce se zabývá problematikou bezpečného provozu mikrokontrolérů. Při dlouhodobém provozu mikrokontrolérů může dojít k jejich poruše či nesprávnému fungování. Tato práce si klade za úkol popsat jednotlivé druhy chyb, ke kterým v procesorech dochází, příčiny vzniku těchto chyb a možnosti předcházení poruch v mikrokontrolérech. Problémů provázejících provoz mikrokontrolérů je celá řada, a proto existuje i mnoho způsobů předcházení těmto problémům. První část práce se zabývá popisem jednotlivých druhů chyb a pokusů o jejich modelování. Druhá část této práce popisuje možnosti předcházení jednotlivých chyb během vývoje systému nebo i během provozu mikrokontroléru. Objasňuje způsoby tolerování chyb použitím redundantních obvodů v případě hardwarových chyb a úprav zdrojových kódů v případě softwarových chyb. V třetí části práce jsou zkoumány metody analýzy rizik provázejících chod mikrokontrolérů. Rozpoznání událostí, které mohou způsobit poškození systému, je přiřazován velký význam. Analýza rizik probíhá během vývoje i během provozu systému. Čtvrtá část se snaží popsat některé z technik testování procesorů, jako hlavní způsob nalezení chyb před zapojením do provozu. V poslední části je pokus o praktický návrh testovacího algoritmu pro vybraný mikroprocesor a aplikaci jedné z analytických technik.
|
|
|
Bezpečné aplikace s mikrokontroléry
Nacev, Nikola ; Beran, Jan (oponent) ; Klusáček, Stanislav (vedoucí práce)
Záměrem této práce byly popsat metody návrhu bezpečných systémů, provést analýzu vzniku možných poruch v mikrokontrolérech při dlouhodobém provozu, popsat softwarové a hardwarové metody detekce poruch a aplikovat March testy na mikrokontroléry. Pro aplikaci byly zvoleny testy MATS+, PMOVI a March SS. Vybrané testy byly modifikovány na slovně-orientovanou paměť. Dále byla provedena jejich analýza chybového pokrytí, doby trvání testu a velikosti potřebné paměti programu. Pro analýzu chybového pokrytí byla vytvořena virtuální paměť s funkčními poruchovými modely. March testy byly poté porovnány jak mezi sebou, tak i s jiným vzorkovým testem (checkerboard).
|
|
|
Zkoumání souvislostí mezi pokrytím poruch a testovatelností elektronických systémů
Rumplík, Michal ; Puš, Viktor (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá problematikou analýzy testovatelnosti číslicových obvodů a pokrytím poruch. Obsahuje popis návrhu číslicových systémů, jejich diagnostiky, dále popis nástrojů na generování a aplikaci testů a sady testovacích obvodů. Popisuje testování obvodů a provádění experimentů v nástroji TASTE pro analýzu testovatelnosti a v komerčním nástroji pro generování a aplikaci testů. Experimenty jsou zaměřeny na zvýšení testovatelnosti jednotlivých obvodů.
|
|
|
Bezpečné aplikace s mikrokontroléry
Nacev, Nikola ; Beran, Jan (oponent) ; Klusáček, Stanislav (vedoucí práce)
Záměrem této práce byly popsat metody návrhu bezpečných systémů, provést analýzu vzniku možných poruch v mikrokontrolérech při dlouhodobém provozu, popsat softwarové a hardwarové metody detekce poruch a aplikovat March testy na mikrokontroléry. Pro aplikaci byly zvoleny testy MATS+, PMOVI a March SS. Vybrané testy byly modifikovány na slovně-orientovanou paměť. Dále byla provedena jejich analýza chybového pokrytí, doby trvání testu a velikosti potřebné paměti programu. Pro analýzu chybového pokrytí byla vytvořena virtuální paměť s funkčními poruchovými modely. March testy byly poté porovnány jak mezi sebou, tak i s jiným vzorkovým testem (checkerboard).
|
|
|
Bezpečné aplikace s mikrokontroléry
Sobotka, Jiří ; Herman, Ivo (oponent) ; Balík, Miroslav (vedoucí práce)
Tato práce se zabývá problematikou bezpečného provozu mikrokontrolérů. Při dlouhodobém provozu mikrokontrolérů může dojít k jejich poruše či nesprávnému fungování. Tato práce si klade za úkol popsat jednotlivé druhy chyb, ke kterým v procesorech dochází, příčiny vzniku těchto chyb a možnosti předcházení poruch v mikrokontrolérech. Problémů provázejících provoz mikrokontrolérů je celá řada, a proto existuje i mnoho způsobů předcházení těmto problémům. První část práce se zabývá popisem jednotlivých druhů chyb a pokusů o jejich modelování. Druhá část této práce popisuje možnosti předcházení jednotlivých chyb během vývoje systému nebo i během provozu mikrokontroléru. Objasňuje způsoby tolerování chyb použitím redundantních obvodů v případě hardwarových chyb a úprav zdrojových kódů v případě softwarových chyb. V třetí části práce jsou zkoumány metody analýzy rizik provázejících chod mikrokontrolérů. Rozpoznání událostí, které mohou způsobit poškození systému, je přiřazován velký význam. Analýza rizik probíhá během vývoje i během provozu systému. Čtvrtá část se snaží popsat některé z technik testování procesorů, jako hlavní způsob nalezení chyb před zapojením do provozu. V poslední části je pokus o praktický návrh testovacího algoritmu pro vybraný mikroprocesor a aplikaci jedné z analytických technik.
|
host ::
RSS.