Národní úložiště šedé literatury Nalezeno 11 záznamů.  1 - 10další  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Porovnání vlastností a výkonnosti jader uC/OS-II a uC/OS-III
Lorenc, Ján ; Dobai, Roland (oponent) ; Strnadel, Josef (vedoucí práce)
Tato diplomová práce se zabývá otestováním výkonnosti operačních systémů reálného času uC/OS-II a uC/OS-III . Popisuje základní vlastnosti těchto systémů a metody, které se používají k testování výkonnosti operačních systémů reálného času. Vybrané testovací metody jsou implementovány a na základě nich je následně porovnána výkonnost operačních systémů reálného času uC/OS-II a uC/OS-III .
Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase
Gach, Marek ; Slaný, Karel (oponent) ; Strnadel, Josef (vedoucí práce)
Práce je zaměřena na návrh a implementaci univerzálního nástroje schopného graficky popsat systémy pracující s reálným časem. Tento nástroj dále umožňuje použít libovolný verifikační přístupu pro ověření výsledného modelu. Je proveden souhrn základních formálních metod popisu systémů založený na matematické logice. Jsou přiblíženy přístupy schopné hierarchicky popsat systémy pracující s reálným časem. Byly navrženy vhodné úlohy pro následné ověření funkčnosti vytvářeného systému.
Mechanismy plánování RT úloh při nedostatku výpočetních a energetických zdrojů
Pokorný, Martin ; Vašíček, Zdeněk (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zaměřuje na popis mechanismů pro plánování úloh při přetížení a pro snížení spotřeby energie. Každá z částí uvádí tyto mechanismy a důvody pro jejich použití. Mimo jiné jsou popsány i konkrétní algoritmy, které jsou v další fázi diplomové práce implementovány v systému uC/OS-II a porovnány jejich výkony.
Řízení EC motoru v programu LabVIEW
Bulín, Tomáš ; Pazdera, Ivo (oponent) ; Huzlík, Rostislav (vedoucí práce)
Cílem mé bakalářské práce je seznámit se s programem LabVIEW, platformou CompactRIO a funkcemi, které nabízí, pro řízení EC motoru. Komplexní program od firmy National Instruments LabVIEW má širokou škálu uplatnění v průmyslových aplikacích od měření vlastností elektrických signálů, sběru dat, automatizaci vlastního měření, až po řízení různých motorů a aplikací. Navíc každý rok dochází k obnově a přichází se spoustou nových vylepšení, které zlepšují ještě více jeho funkce. K vlastnímu řízení používá platformu CompactRIO, do které se nahraje vytvořený program pro ovládání dané aplikace. Hlavní výhodou je, že uživatel má možnost si upravovat program dle své potřeby a nemusí odesílat řízení své aplikace k výrobci při každé změně ve zdrojovém kódu řídícího programu. CompactRIO obstarává nejen vlastní ovládání aplikace, ale je schopné i provádět měření pro běh programu potřebných hodnot.
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Pavliš, Filip ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
Návrh distribuovaných vestavěných systémů je často netriviální proces. Jedna z potřeb je zaručení korektního chování systému. To vyžaduje ověřit, že informace propagované skrze systém jsou spolehlivé tedy především aktuální. Cílem práce je výzkum a implementace analýzy, která bude schopna identifikovat zastarávání hodnot, které vzniká z důvodu zpoždění při rozvrhování a komunikaci v systémech reálného času. Analýza bude navržena pro Ensemble-Based Component System (EBCS) sémantiku, která umožňuje formální specifikaci vstupu a zároveň je dostatečně obecná. Hlavním úkolem bude nalézt správný vstupní model analýzy a její možné limity. Úsilí by mělo být vloženo do balancování mezi úrovní abstrakce, kterou poskytneme uživateli, a sílou analýzy jako takové. Hlavním přínosem analýzy bude detekce situací, při nichž jsou data, která jsou zpracovávána v systému, zastaralá a mohou způsobit nevhodné chování jednotlivých komponent.
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Pavliš, Filip ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
Návrh distribuovaných vestavěných systémů je často netriviální proces. Jedna z potřeb je zaručení korektního chování systému. To vyžaduje ověřit, že informace propagované skrze systém jsou spolehlivé tedy především aktuální. Cílem práce je výzkum a implementace analýzy, která bude schopna identifikovat zastarávání hodnot, které vzniká z důvodu zpoždění při rozvrhování a komunikaci v systémech reálného času. Analýza bude navržena pro Ensemble-Based Component System (EBCS) sémantiku, která umožňuje formální specifikaci vstupu a zároveň je dostatečně obecná. Hlavním úkolem bude nalézt správný vstupní model analýzy a její možné limity. Úsilí by mělo být vloženo do balancování mezi úrovní abstrakce, kterou poskytneme uživateli, a sílou analýzy jako takové. Hlavním přínosem analýzy bude detekce situací, při nichž jsou data, která jsou zpracovávána v systému, zastaralá a mohou způsobit nevhodné chování jednotlivých komponent.
Deployment of SOFA-HI applications on the nxtOSEK platform
Kaščák, Kamil ; Bureš, Tomáš (vedoucí práce) ; Pop, Tomáš (oponent)
SOFA-HI je rozšírenie komponentového systému SOFA 2, ktorý je vyvíjaný pod záštitou katedry distribuovaných a spoľahlivých systémov. Cieľom SOFA-HI je podpora pre vývoj a nasadenie aplikácii za použitia princípov vývoja založeného na komponentách. Táto práca rozširuje existujúcu implementáciu o možnosť vývoja a nasadenia SOFA-HI aplikácii na nxtOSEK, ktorý predstavuje jednoduchý operačný systém reálneho času spolu s hardwarovou podporou pre LEGO Mindstorms NXT. Práca taktiež upravuje existujúce nástroje pre vývoj a nasadenie SOFA 2 aplikácii, kde pridáva podporu pre platformu nxtOSEK. Práca ďalej poskytuje komponenty pre umožnenie komunikácie so štandardnými NXT senzormi a poháňacími zariadeniami. Powered by TCPDF (www.tcpdf.org)
Porovnání vlastností a výkonnosti jader uC/OS-II a uC/OS-III
Lorenc, Ján ; Dobai, Roland (oponent) ; Strnadel, Josef (vedoucí práce)
Tato diplomová práce se zabývá otestováním výkonnosti operačních systémů reálného času uC/OS-II a uC/OS-III . Popisuje základní vlastnosti těchto systémů a metody, které se používají k testování výkonnosti operačních systémů reálného času. Vybrané testovací metody jsou implementovány a na základě nich je následně porovnána výkonnost operačních systémů reálného času uC/OS-II a uC/OS-III .
Řízení EC motoru v programu LabVIEW
Bulín, Tomáš ; Pazdera, Ivo (oponent) ; Huzlík, Rostislav (vedoucí práce)
Cílem mé bakalářské práce je seznámit se s programem LabVIEW, platformou CompactRIO a funkcemi, které nabízí, pro řízení EC motoru. Komplexní program od firmy National Instruments LabVIEW má širokou škálu uplatnění v průmyslových aplikacích od měření vlastností elektrických signálů, sběru dat, automatizaci vlastního měření, až po řízení různých motorů a aplikací. Navíc každý rok dochází k obnově a přichází se spoustou nových vylepšení, které zlepšují ještě více jeho funkce. K vlastnímu řízení používá platformu CompactRIO, do které se nahraje vytvořený program pro ovládání dané aplikace. Hlavní výhodou je, že uživatel má možnost si upravovat program dle své potřeby a nemusí odesílat řízení své aplikace k výrobci při každé změně ve zdrojovém kódu řídícího programu. CompactRIO obstarává nejen vlastní ovládání aplikace, ale je schopné i provádět měření pro běh programu potřebných hodnot.
Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase
Gach, Marek ; Slaný, Karel (oponent) ; Strnadel, Josef (vedoucí práce)
Práce je zaměřena na návrh a implementaci univerzálního nástroje schopného graficky popsat systémy pracující s reálným časem. Tento nástroj dále umožňuje použít libovolný verifikační přístupu pro ověření výsledného modelu. Je proveden souhrn základních formálních metod popisu systémů založený na matematické logice. Jsou přiblíženy přístupy schopné hierarchicky popsat systémy pracující s reálným časem. Byly navrženy vhodné úlohy pro následné ověření funkčnosti vytvářeného systému.

Národní úložiště šedé literatury : Nalezeno 11 záznamů.   1 - 10další  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.