Number of found documents: 150
Published from to

Bezpečný upgrade firmware embedded platformy
Neruda Marek; Šimůnek Jan; Lokaj Zdeněk
2018 - English
Tato bakalářská práce se zabývá návrhem procesního postupu bezpečného upgrade firmware pro embedded platformu. Teoretická část obsahuje popis soudobých bezpečnostních hrozeb pro embedded systémy a popisuje současné postupy upgrade firmware pro tyto zařízení. Dále jsou zde také představeny podklady pro návrh bezpečného upgrade firmware. V praktické části je popsán pokročilý postup, který využívá firmware OpenWrt a embedded platformu Vocore2. Procesní postup je vysvětlen a otestován na platformě Vocore2 s cílem bezpečného přenosu a autentizace firmware do zařízení. Pro zjištění výpočetní náročnosti tohoto procesu je testování změřeno a vyhodnoceno.This bachelor thesis deals with the design of process procedure for embedded platform firmware management (secure upgrade). The theoretical part consists of characteristics of vulnerabilities in embedded systems and design of commonly used secure upgrade procedure. Further, the required components for the design of secure upgrade are described. The practical part specifies an advanced approach for secure upgrade with firmware OpenWrt. The proposed procedure is described and tested on embedded platform Vocore2 to provide the secure and authenticated transfer of firmware to the device. Testing is measured to evaluate how the procedure is computationally demanding. Keywords: firmware,upgrade,embedded platform,OpenWrt,Vocore2,AES; firmware,upgrade,embedded platform,OpenWrt,Vocore2,AES Available at various departments of the ČVUT.
Bezpečný upgrade firmware embedded platformy

Tato bakalářská práce se zabývá návrhem procesního postupu bezpečného upgrade firmware pro embedded platformu. Teoretická část obsahuje popis soudobých bezpečnostních hrozeb pro embedded systémy a ...

Neruda Marek; Šimůnek Jan; Lokaj Zdeněk
České vysoké učení technické v Praze, 2018

Meta-heuristiky pro směrovací problémy
Kulich Miroslav; Mikula Jan; Bront Juan José Miranda
2018 - English
Problém hledání v grafu (anglicky Graph Search Problem - GSP) společně s problémem obchodního doručovatele lze považovat za rozšíření dobře známého problému obchodního cestovatele, který hledá nejkratší možnou cestu, jež mu umožní navštívit všechna města z dané množiny a skončit zase tam, kde začal. Tyto, někdy nazývané směrovací problémy, patří do kategorie obtížných kombinatorických optimalizačních problémů. V této práci se budeme zabývat GSP, s úmyslem ho následně využít v robotickém hledání, které nastavuje velké požadavky na schůdný výpočetní čas. Vyvineme metaheuristiku pro GSP založenou na metodě hledání v proměnlivém sousedství (anglicky Variable Neighborhood Search - VNS) a experimentálně vyhodnotíme její vlastnosti. Navrhovaná metoda bude výrazně rychlejší než refernční metody a zároveň bude dávat řešení s vyšší průměrnou kvalitou. Použití navrhované metody budeme demonstrovat v problému robotického plánování. Druhá polovina této práce bude tedy věnovaná hledání robotu ve známém prostředí s cílem nalézt nehybný objekt zájmu (anglicky Single Robot Search for a Stationary Object in a Known Environment - SRSSK). Nakonec provedeme několik simulací v robotickém simulátoru.The Graph Search Problem (GSP) together with the Traveling Deliveryman Problem (TDP) can be seen as an extension of the famous Traveling Salesman Problem (TSP), i.e., a problem of finding the shortest possible route that visits every city of a given set and returns to the one where it started. These, sometimes called the routing problems, belong to a category of difficult combinatorial optimization problems. In this thesis, we address the GSP with the intention to deploy it in robotic planning, which entails high demands on feasible computing time. We develop a meta-heuristics for the GSP based on Variable Neighborhood Search (VNS) and evaluate its properties experimentally. Our proposed method meets the requirements of being significantly faster than the reference, and at the same time, it delivers solutions with higher average quality. We demonstrate the usage of our method in the mobile robot search, which turns out to be a stand-alone problem to solve. The second half of this thesis is devoted to the Single Robot Search for a Stationary Object in a Known Environment (SRSSK). At the end, we execute several simulations in a robotic simulator. Keywords: Směrovací problémy,Graph Search Problem,Variable Neighborhood Search,Mobilní robotika,Robotické hledání,ROS; Routing problems,Graph Search Problem,Variable Neighborhood Search,Mobile robotics,Robotic search,ROS Available at various departments of the ČVUT.
Meta-heuristiky pro směrovací problémy

Problém hledání v grafu (anglicky Graph Search Problem - GSP) společně s problémem obchodního doručovatele lze považovat za rozšíření dobře známého problému obchodního cestovatele, který hledá ...

Kulich Miroslav; Mikula Jan; Bront Juan José Miranda
České vysoké učení technické v Praze, 2018

Code coverage analysis and test case generation
Al-Beywanee Bestoun S. Ahmed; Sýkora Kryštof; Malý Ivo
2018 - English
Cílem této práce je vytvoření metody pro generování testovacích scénářů a vyhodnocení jejich effektivity. Tato metoda je vytvořená na základě analýzy konkrétního programu, která je založená na určení dopadů, jaký mají jednotlivé parametry programu na množstvý provedeného kódu. K dosažení tohoto cíle byla vytvořena aplikace, která analyzuje pokrití kódu testovaného programu na základě různých permutací jeho argumentů, generuje testovací scénáře a určuje jijich effektivitu ve hledání vložených chyb. Tento dokument dokumentje vytvořený software, použité metody a výsledky experimentů. Programy touto cestou testované jsou Flex, Grep a Gzip.The goal of this thesis and project is to create a method for generating test cases and determining its effectiveness. The method is created based on an analysis of a given program consisting of determining the effect which each program argument has on the overall volume of source code executed. To achieve this, an application is created that can analyze the programs code coverage for various permutations of arguments, generate test cases. The application can also determine the tests effectiveness, by using them to detect seeded faults. This text serves to document the software created, the methods used and results of the experiments. The programs examined this way were Flex, Grep and Gzip. Keywords: Pokrytí kódu,Black box testování,Generování testovacích scénárů; Code coverage,Black box testing,Test case generation Available at various departments of the ČVUT.
Code coverage analysis and test case generation

Cílem této práce je vytvoření metody pro generování testovacích scénářů a vyhodnocení jejich effektivity. Tato metoda je vytvořená na základě analýzy konkrétního programu, která je založená na určení ...

Al-Beywanee Bestoun S. Ahmed; Sýkora Kryštof; Malý Ivo
České vysoké učení technické v Praze, 2018

Analýza systému TCAS
Selecký Martin; Berka Zdeněk; Hromčík Martin
2018 - English
Práce se soustředí na analýzu palubního protisrážkového systému TCAS. Popisuje implementaci parametrizovaného modelu reakcí pilota, TCAS mechanismu a metody použité k ověření funkčnosti protisrážkového systému. Dále je popsán parametrizovaný model pro střetnutí letadel v leteckém prostoru, který je použit pro generování scénářů pro testování funkčnosti protisrážkového systému. Nejdříve je systém otestován v jednoduché diskrétní simulaci použitím různorodých scénářů. Poté je protisrážková logika integrována do simulace leteckého provozu, která používá přesné BADA modely dynamiky letounů. Pro kontrolu letounu je zde integrován parametrizovaný model reakcí pilota, který umožňuje testovat různé typy zpoždění. Nekoordinované i TCAS-TCAS střety s jedním i více cizími letouny jsou odsimulovány k prozkoumání efektu parametrů zpoždění na schopnosti protisrážkového systému udržet separaci.This thesis focuses on analysing the collision avoidance system called TCAS. We implement the TCAS functionality and a parametrised model of the pilot response and introduce methods to verify its functionality. We introduce a parametrised model of aircraft encounters for the purpose of simulation. First, the collision avoidance logic functionality is tested and verified in a discrete simulation using various scenarios. Then, the collision avoidance system is integrated within an air traffic simulation using the precise BADA aircraft dynamics model and the parametrised pilot response model which allows the testing of various reaction delays. Both single and multiple-threat encounters and both uncoordinated and TCAS-TCAS encounters are simulated, and delay-related limitations of the collision avoidance system's functionality are estimated. Keywords: simulace leteckých střetů,protisrážkový systém,model odezvy pilota,TCAS; aircraft encounter simulation,collision avoidance,pilot response model,TCAS Available at various departments of the ČVUT.
Analýza systému TCAS

Práce se soustředí na analýzu palubního protisrážkového systému TCAS. Popisuje implementaci parametrizovaného modelu reakcí pilota, TCAS mechanismu a metody použité k ověření funkčnosti ...

Selecký Martin; Berka Zdeněk; Hromčík Martin
České vysoké učení technické v Praze, 2018

Automatické řízení bezpilotní helikoptéry v systému ROS
Báča Tomáš; Machálek Jan; Chudoba Jan
2018 - English
Tato práce se zabývá návrhem systému řízení polohy pro bezpilotní letecká vozidla (UAV). Vyšetřujeme dva přístupy, PID regulátor a backstepping regulátor. Regulátory byly integrovány do stávajícího prostředí. Oba regulátory byly testovány v simulátoru Gazebo. V případě PID byl také proveden skutečný letový test. V této práci se také popisuje architektura použité platformy. Výsledkem této práce je funkční systém řízení polohy. Je zde popsán proces návrhu nového systému. V pokusech z reálného světa jsme porovnali náš regulátor s původním regulátorem.This thesis is about design of a position control system for Unmanned Aerial Vehicles (UAVs). We investigate two approaches. The first approach is the PID controller, and the backstepping controller. Regulators are then deployed into ROS environment. Regulators are integrated into an already existing pipeline. After the implementation of regulators they are tested in Gazebo simulator. In the case of PID, real flight tests are conducted. The architecture of a UAV platform used in this thesis is described. The result of this thesis is a functional position control system. The design process of the new system is described as well. Using results from the real-world tests, we compared our regulator with the one currently used in MRS group pipeline. Keywords: ROS,Gazebo,PID,backstepping,MRS group,UAV,řízení,Matlab,Simulink; ROS,Gazebo,PID,backstepping,MRS group,UAV,control,Matlab,Simulink Available at various departments of the ČVUT.
Automatické řízení bezpilotní helikoptéry v systému ROS

Tato práce se zabývá návrhem systému řízení polohy pro bezpilotní letecká vozidla (UAV). Vyšetřujeme dva přístupy, PID regulátor a backstepping regulátor. Regulátory byly integrovány do stávajícího ...

Báča Tomáš; Machálek Jan; Chudoba Jan
České vysoké učení technické v Praze, 2018

Byznys plán eForce FEE Prague Formula 2018
Podivínský Tomáš; Szeles Marek; Starý Oldřich
2018 - English
Studentský tým eForce FEE Prague Formula, působící na Fakultě elektrotechnické ČVUT, se každoročně účastní inženýrské soutěže Formula Student. Tato práce se zabývá přípravou materiálů pro tým eForce na soutěžní sezonu 2018, a to zejména v disciplíně "Business Plan". Kromě ekonomického aspektu tvořeného byznys plánu zaujímá tato práce sofwarově inženýrský přístup k celému procesu tvorby materiálů zvolením byznysového konceptu, který se zaměřuje na technologické inovace a také vytvořením několika podpůrných digitálních materiálů, včetně mobilní aplikaci využívající technologie rozšířené reality. Jak softwarová řešení, tak byznys plán samotný jsou v práci také otestovány.A student team, eForce FEE Prague Formula, active at the Faculty of Electrical Engineering CTU, annually participates in the Formula Student engineering competition. This thesis is focused on creating competitive materials for eForce in the 2018 competition season for one of the competition disciplines in particular - the Business Plan. Apart from the economical aspect of the business plan, this thesis takes a software engineering approach to the whole process by making the business concept based on technology innovation and by supplementing the business plan itself by various digital supporting materials, including an Augmented Reality mobile application. Both the software and the business plan itself are tested on their quality as part of the thesis. Keywords: Byznys plán,Formula Student,Softwarové inženýrství,Mobilní aplikace,Android,Kotlin,Rozšířená realita; Business Plan,Formula Student,Software Engineering,Mobile application,Android,Kotlin,Augmented Reality Available at various departments of the ČVUT.
Byznys plán eForce FEE Prague Formula 2018

Studentský tým eForce FEE Prague Formula, působící na Fakultě elektrotechnické ČVUT, se každoročně účastní inženýrské soutěže Formula Student. Tato práce se zabývá přípravou materiálů pro tým eForce ...

Podivínský Tomáš; Szeles Marek; Starý Oldřich
České vysoké učení technické v Praze, 2018

Souvislosti behaviorální ekonomie a spotřebitelova rozhodování s důrazem na strategii oceňování
Maialeh Robin; Knorová Kristýna; Krajčová Jana
2018 - English
Bakalářská práce se zabývá problematikou ovlivňování rozhodování spotřebitele založené na behaviorální ekonomii a behaviorální cenové strategii. Cílem práce je přezkoumat příslušnou literaturu týkající se tématu, prověřit vztah mezi behaviorálním oceňováním a rozhodováním spotřebitele a analyzovat cenovou strategii konkrétní společnosti, v tomto případě Apple, Inc. Zvolená metoda je cenová analýza. V závěru analýza poukázala na spojitost mezi zvýšením obratu a behaviorálním oceňováním.The thesis deals with the issue of consumers? decision-making based especially on behavioural economics and behavioural pricing strategies. The thesis aims to review relevant literature regarding the topic, examine correlations between behavioural pricing and consumer decision-making and analyse pricing strategy of a particular company, in this case, Apple, Inc., with emphasis on behavioural pricing. The method is interpretative study and price analysis, since the topics is almost completely theoretical. In conclusion, the analysis revealed the way a company sensitively uses insights from behavioural economics and also the positive influence of behavioural pricing on revenue growth. Keywords: Behaviorální ekonomie,cenová strategie,rozhodování spotřebitele,behaviorální oceňování; Behavioural economics,pricing strategies,behavioural pricing,consumer decision-making Available at various departments of the ČVUT.
Souvislosti behaviorální ekonomie a spotřebitelova rozhodování s důrazem na strategii oceňování

Bakalářská práce se zabývá problematikou ovlivňování rozhodování spotřebitele založené na behaviorální ekonomii a behaviorální cenové strategii. Cílem práce je přezkoumat příslušnou literaturu ...

Maialeh Robin; Knorová Kristýna; Krajčová Jana
České vysoké učení technické v Praze, 2018

Aplikace PREM modelu na paralelní implementaci algoritmu KCF trackeru
Sojka Michal; Karafiát Vít; Báča Tomáš
2018 - English
V posledních letech se mnoho real-time embedded systémů vytváří za pomocí běžně komerčně dostupných (COTS) komponentů kvůli jejich ceně. Celkový výkon komponentů COTS je často mnohem vyšší než komponentů vytvořených speciálně pro real-time systémy. Komponenty COTS jsou však obvykle navrženy pro průměrný scénář a nedostatečná nebo žádná pozornost je věnována zárukám na čas v nejhorším případech vyžadovaných real-time systémy. V této práci realizujeme různé paralelní a rozšířené verze KCF trackeru jak pro CPU, tak i GPU a pokoušíme se otestovat prototyp HERCULES kompilátoru, který dovolí automaticky přeměnit části programu tak, aby odpovídaly PRedictable Execution Model (PREM), který by měl poskytovat silnější záruky na časování v nejhorším případě.In recent years many real-time embedded systems are being built using the Commercial-Off-The-Shelf (COTS) components because of their price. COTS component's overall performance is often much higher than specialized custom-made systems used in real-time systems. However, COTS components are typically designed for average case scenario, and little or no attention is put into worst-case timing guarantees required by real-time systems. In this thesis, we implement various parallel and extended versions of the KCF tracker for both CPU and GPU and try to test out the prototype HERCULES compiler, which allows converting automatically parts of the program to conform to PRedictable Execution Model (PREM), which should provide stronger worst-case timing guarantees. Keywords: KCF tracker,PREM,HERCULES kompilátor,Real-time,Běžně komerčně dostupný (COTS); KCF tracker,PREM,HERCULES compiler,Real-time,Commercial-Off- The-Shelf (COTS) Available at various departments of the ČVUT.
Aplikace PREM modelu na paralelní implementaci algoritmu KCF trackeru

V posledních letech se mnoho real-time embedded systémů vytváří za pomocí běžně komerčně dostupných (COTS) komponentů kvůli jejich ceně. Celkový výkon komponentů COTS je často mnohem vyšší než ...

Sojka Michal; Karafiát Vít; Báča Tomáš
České vysoké učení technické v Praze, 2018

Inteligentní tlačítko s LoRa komunikací
Šmíd Radislav; Květoňová Šárka; Smutka Jiří
2018 - English
Práce se zabývá designem a realizací chytrého tlačítka s e-ink displayem, přídavnými binárními vstupy a komunikačním rozhraním LoRa. Základní hardware se skládá z vývojového kitu Nucleo-L073RZ s 32-bitovým mikrokontrolérem STM32L0 s ultra nízkým výkonem a rozširující deskou I-NUCLEO-SX1272D RF podporující přenos. Zařízení je vybaveno dvěma tlačítky a e-ink diplayem připojeným skrze SPI. Komunikace probíhá pomocí platformy Thingsnetwork společně s programovacím nástrojem Node-RED. Jako jednoduché demo byla použita tiskárna se dvěma zabudovanými senzory sledujícími přítomnost papíru a toneru.This work deals with design and realization of smart button with an e-ink display, additional binary inputs, and LoRa communication interface. The core hardware consists from NUCLEO-L073RZ development kit with an ultra-low-power 32-bit STM32L0 microcontroller and I-NUCLEO-SX1272D RF expansion board. The device is equipped with two push-buttons, e-ink display connected via SPI. The communication is realized using the Thingsnetwork platform together with Node-RED programming tool. As a simple demo application was used a printer with two built-in sensors monitoring the presence of paper and toner. Keywords: chytré tlačítko,LoRa,Nucleo-L073RZ,SX1272,e-ink display; smart button,LoRa,Nucleo-L073RZ,SX1272,e-ink display Available at various departments of the ČVUT.
Inteligentní tlačítko s LoRa komunikací

Práce se zabývá designem a realizací chytrého tlačítka s e-ink displayem, přídavnými binárními vstupy a komunikačním rozhraním LoRa. Základní hardware se skládá z vývojového kitu Nucleo-L073RZ s ...

Šmíd Radislav; Květoňová Šárka; Smutka Jiří
České vysoké učení technické v Praze, 2018

Simulátor LIN Slave
Novák Jiří; Pereverzeva Aleksandra; Vajtr Jiří
2018 - English
Tato bakalářská práce popisuje návrh a proces realizace hardwarového modulu, který se bude používat převážně v automobilovém průmyslu. Hlavní funkcí modulu je simulace několika LIN slavů na základě přijatých požadavků od sběrnice CAN. Dále je popsán postup implementace softwaru. Modul se skládá z procesoru, rozhraní LIN, CAN a SWD. Cílem této práce je implementace funkčního modulu, který by byl schopný odesílat data na sběrnici LIN a pak tato data měnit podle požadavku ze sběrnice CAN. První část této práce se zabývá teoretickými znalostmi, které jsou potřeba vědět při implementaci modulu a pro pochopení jeho fungování, jako například použité technologie. Druhá část se soustředí na popis samotného modulu, použitých součástek, zapojení obvodů, vrstev desky plošných spojů a vysvětlení částí kódu a algoritmů. Výsledkem práce je návrh, samotný modul a programové vybavení pro jeho konfiguraci.This bachelor's thesis describes the process of designing and realization of a hardware module, which will be used mostly in automotive industry. The function of the module is a simulation of several LIN slaves depending on orders and information received through CAN bus. Then the process of implementation of software follows. The module consists of a processor, LIN, CAN and SWD interfaces. The goal of this thesis is an implementation of a working module, which will be able to send data to LIN bus and then change this data on request from CAN bus. The first part of the document focuses on the theoretical knowledge needed to implement and understand the module, such as used technologies. The second part deals with the description of the module itself, used components, the connection of the circuits, PCB layers, the explanation of the code parts and its algorithm. The outcome of the work is the design, the module and the program for configuration of the module. Keywords: Local Interconnect Network,Controller Area Network,modul,deska plošných spojů; CAN,module,PCB,Local Interconnect Network Available at various departments of the ČVUT.
Simulátor LIN Slave

Tato bakalářská práce popisuje návrh a proces realizace hardwarového modulu, který se bude používat převážně v automobilovém průmyslu. Hlavní funkcí modulu je simulace několika LIN slavů na základě ...

Novák Jiří; Pereverzeva Aleksandra; Vajtr Jiří
České vysoké učení technické v Praze, 2018

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases