Ne (150)
Použitá omezení
(4)
Počet nalezených dokumentů:
150
Publikováno od
do
Bezpečný upgrade firmware embedded platformy
Neruda Marek; Šimůnek Jan; Lokaj Zdeněk
2018 - anglický
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.
Klíčová slova:
firmware,upgrade,embedded platform,OpenWrt,Vocore2,AES; firmware,upgrade,embedded platform,OpenWrt,Vocore2,AES
Plné texty jsou dostupné na jednotlivých katedrách Č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 ...
Meta-heuristiky pro směrovací problémy
Kulich Miroslav; Mikula Jan; Bront Juan José Miranda
2018 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné na jednotlivých katedrách Č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á ...
Code coverage analysis and test case generation
Al-Beywanee Bestoun S. Ahmed; Sýkora Kryštof; Malý Ivo
2018 - anglický
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.
Klíčová slova:
Pokrytí kódu,Black box testování,Generování testovacích scénárů; Code coverage,Black box testing,Test case generation
Plné texty jsou dostupné na jednotlivých katedrách Č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í ...
Analýza systému TCAS
Selecký Martin; Berka Zdeněk; Hromčík Martin
2018 - anglický
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.
Klíčová slova:
simulace leteckých střetů,protisrážkový systém,model odezvy pilota,TCAS; aircraft encounter simulation,collision avoidance,pilot response model,TCAS
Plné texty jsou dostupné na jednotlivých katedrách Č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 ...
Automatické řízení bezpilotní helikoptéry v systému ROS
Báča Tomáš; Machálek Jan; Chudoba Jan
2018 - anglický
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.
Klíčová slova:
ROS,Gazebo,PID,backstepping,MRS group,UAV,řízení,Matlab,Simulink; ROS,Gazebo,PID,backstepping,MRS group,UAV,control,Matlab,Simulink
Plné texty jsou dostupné na jednotlivých katedrách Č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 ...
Byznys plán eForce FEE Prague Formula 2018
Podivínský Tomáš; Szeles Marek; Starý Oldřich
2018 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné na jednotlivých katedrách Č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 ...
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 - anglický
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.
Klíčová slova:
Behaviorální ekonomie,cenová strategie,rozhodování spotřebitele,behaviorální oceňování; Behavioural economics,pricing strategies,behavioural pricing,consumer decision-making
Plné texty jsou dostupné na jednotlivých katedrách Č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 ...
Aplikace PREM modelu na paralelní implementaci algoritmu KCF trackeru
Sojka Michal; Karafiát Vít; Báča Tomáš
2018 - anglický
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.
Klíčová slova:
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)
Plné texty jsou dostupné na jednotlivých katedrách Č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ž ...
Inteligentní tlačítko s LoRa komunikací
Šmíd Radislav; Květoňová Šárka; Smutka Jiří
2018 - anglický
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.
Klíčová slova:
chytré tlačítko,LoRa,Nucleo-L073RZ,SX1272,e-ink display; smart button,LoRa,Nucleo-L073RZ,SX1272,e-ink display
Plné texty jsou dostupné na jednotlivých katedrách Č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 ...
Simulátor LIN Slave
Novák Jiří; Pereverzeva Aleksandra; Vajtr Jiří
2018 - anglický
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.
Klíčová slova:
Local Interconnect Network,Controller Area Network,modul,deska plošných spojů; CAN,module,PCB,Local Interconnect Network
Plné texty jsou dostupné na jednotlivých katedrách Č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ě ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze