Dissertations / Theses on the topic 'Firmware and software'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 24 dissertations / theses for your research on the topic 'Firmware and software.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Nilsson, Daniel. "System for firmware verification." Thesis, University of Kalmar, School of Communication and Design, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hik:diva-2372.
Full textSoftware verification is an important part of software development and themost practical way to do this today is through dynamic testing. This reportexplains concepts connected to verification and testing and also presents thetesting-framework Trassel developed during the writing of this report.Constructing domain specific languages and tools by using an existinglanguage as a starting ground can be a good strategy for solving certainproblems, this was tried with Trassel where the description-language forwriting test-cases was written as a DSL using Python as the host-language.
Webster, David D. "Hardware, software, firmware allocation of functions in systems development." Diss., Virginia Polytechnic Institute and State University, 1987. http://hdl.handle.net/10919/49907.
Full textPh. D.
incomplete_metadata
Chang, Daniel Y. "A systematic software, firmware, and hardware codesign methodology for digital signal processing." Thesis, Monterey, California: Naval Postgraduate School, 2014. http://hdl.handle.net/10945/41358.
Full textCreating an embedded system that meets its functional, performance, cost, and schedule goals is a software-and-hardware codesign problem, since the design of the software and hardware components influence each other. The traditional design methodology is sequential, with hardware designed first and then software. The lack of a unified and unbiased approach can lead to suboptimal design and incompatibilities across the software and hardware boundary. To solve these problems, we propose a new software/firmware/hardware codesign methodology to systematically build correct designs efficiently. This codesign methodology includes requirements development, architecture forming, software/ firmware/hardware partitioning, design-pattern mapping, new-design pattern synthesis, integration, and testing. We tested our methods on three application areas. One was a digitizer-filter architecture for ultra-high frequency signals for which we synthesized design patterns in firmware to meet high-frequency requirements. Another was a digitizer-filter architecture for low-frequency signals. A third was a hidden Markov model using dynamic programming. We implemented and tested the first application on a Tektronix/Synopsys embedded system and the second on a Pentek embedded system based on the requirements provided by the stakeholders
Bayendang, Nganyang Paul. "Nano-satellite GPS receiver design and Implementation : a software-to-firmware approach." Thesis, Cape Peninsula University of Technology, 2015. http://hdl.handle.net/20.500.11838/1176.
Full textSpace-borne GPS receivers designed for nano-satellites are faced with various challenges. This research is undertaken to address the problems of inefficiency and high-costs associated with space-borne GPS receivers. The problem of inefficiency relates to poor performances of the GPS receiver in terms of the algorithmic models, execution speed, memory usage and errors proness. The problem of high-costs relates to the spacegrade hardware cost, implementation complexity, development time, as well as the manufacturing, production and the testing processes involved. The research objectives are to i) establish an efficient high-dynamics software-defined GPS receiver, ii) demonstrate a firmware approach and then iii) postulate a low-cost hardware implementation roadmap. The research methodology employed to address the problems and to attain the objectives is based-on using Matlab computing platform to i) implement a software-defined GPS receiver using free open-source GPS receiver algorithms, ii) further develop the software GPS receiver and lastly iii) convert the improved GPS receiver algorithms to firmware. The GPS receiver was successfully implemented in Matlab floating-point algorithms with a ±100kHz Doppler search bins and was used to post-process a pre-captured real GPS L1 C/A signal dataset. The pre-captured GPS signal was acquired, tracked, decoded and post-processed to extract the navigation message; use to compute the GPS receiver position, UTC date and time. Attempt to convert the entire Matlab floating-point GPS receiver algorithms to equivalent VHDL implementations failed; however, three of the Matlab floating-point algorithms (check_t.m, deg2dms.m and findUtmZone.m), were successfully converted to equivalent fixed-point formats in Matlab, Simulink and finally VHDL. These three algorithms, now created and optimised to fixed-point formats (efficient and enable implementation unto a low-cost microcontroller), set the basis for the firmware implementation. They were simulated and verified in Matlab, Simulink and VHDL using the Matlab HDL Coder workflow. Altera Quartus II software was then used to compile (synthesise, place & route and generate programming files) the three converted generic VHDL algorithms to embedded firmware, suitable for a FPGA programming. The Matlab HDL Coder workflow used in this research is feasible and can be used to accurately design and implement an improved GPS receiver and furthermore achieve it in three equivalent algorithms. This conclusion was drawn and the proposed recommendations are to address the conversion issues in the other Matlab floating-point GPS receiver algorithms that failed in the conversion process and to further develop and implement the GPS receiver as a fully functional unit, based-on the Xilinx space-grade, radiation hardened and low-cost Virtex 5QV FPGA.
Pastore, Cesare. "Progetto software/firmware di un’interfaccia per acquisizione dati da un nodo sensore basato su microcontrollore." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/12957/.
Full textKaczmarczyk, Václav. "Diagnostika komunikačního protokolu ARION." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217256.
Full textCellarosi, Francesco Giuseppe. "Progetto software/firmware di un'interfaccia grafica per acquisizione dati da un nodo sensore basato su microcontrollore." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/12438/.
Full textGora, Michael Arthur. "Securing Software Intellectual Property on Commodity and Legacy Embedded Systems." Thesis, Virginia Tech, 2010. http://hdl.handle.net/10919/33473.
Full textMaster of Science
Nappier, Jennifer M. "An FPGA Abstraction Layer for the Space Telecommunications Radio System." Case Western Reserve University School of Graduate Studies / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=case1227033556.
Full textPersson, Marcus. "Software Development and Qualification Testing of a CubeSat X-ray Monitor." Thesis, Luleå tekniska universitet, Institutionen för system- och rymdteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-76843.
Full textCUBES
MIST
Oliva, Alessandro. "Implementazione software/firmware di un sistema di acquisizione dati per interfacciamento a matrici di sensori tramite una demo-board commerciale basata su FPGA." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Find full textMaric, Danilo. "Firmware development of a User Interface on medical devices of DIMA ITALIA Srl." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018.
Find full textStamenkovich, Joseph Allan. "Enhancing Trust in Autonomous Systems without Verifying Software." Thesis, Virginia Tech, 2019. http://hdl.handle.net/10919/89950.
Full textMaster of Science
Autonomous systems are surprisingly vulnerable, not just from malicious hackers, but from design errors and oversights. The lines of code required can quickly climb into the millions, and the artificial decision algorithms can be inscrutable and fully dependent upon the information they are trained on. These factors cause the verification of the core software running our autonomous cars, drones, and everything else to be prohibitively difficult by traditional means. Independent safety monitors are implemented to provide internal oversight for these autonomous systems. A semi-automatic design process efficiently creates error-free monitors from safety rules drones need to follow. These monitors remain separate and isolated from the software typically controlling the system, but use the same sensor information. They are embedded in the circuitry and act as their own small, task-specific processors watching to make sure a particular rule is not violated; otherwise, they take control of the system and force corrective behavior. The monitors are added to a consumer off-the-shelf (COTS) drone to demonstrate their effectiveness. For every rule monitored, an override is triggered when they are violated. Their effectiveness depends on reliable sensor information as with any electronic component, and the completeness of the rules detailing these monitors.
Seshadri, Sangeetha. "Enhancing availability in large scale." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/29715.
Full textCommittee Chair: Ling Liu; Committee Member: Brian Cooper; Committee Member: Calton Pu; Committee Member: Douglas Blough; Committee Member: Karsten Schwan. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Mohan, Aneesha. "Agile Project Management Challenges : Analyzing and Exploring Agile Project Management Challenges from a Practitioner Perspective: A case study on HMS." Thesis, Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-37536.
Full textCrha, Adam. "Inteligentní programovatelné razítko na bázi inkoustového tisku." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-412886.
Full textSavarese, Andrea. "Development of an enhanced transfer data channel for a hybrid SoC FPGA used in a DAQ system aimed at improving hadrontherapy protocols." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/21044/.
Full textČervínek, David. "Zařízení pro testování malých elektrických motorů a lineárních aktuátorů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2018. http://www.nusl.cz/ntk/nusl-378725.
Full textPejchal, Luboš. "Akviziční jednotka pro zabezpečovací techniku." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219850.
Full textSilva, Tiago Barros da. "Desenvolvimento de uma Plataforma de Todo-o-Terreno." Master's thesis, 2015. http://hdl.handle.net/10316/40459.
Full textJie-Cheng, Lin, and 林傑澄. "The Software, Firmware, Calibration, and Running of the BGO Background/Luminosity Monitor in BEAST2 for SuperKEKB Commissioning." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/5qcp7s.
Full text國立臺灣大學
物理學研究所
105
Beam commissioning of the SuperKEKB collider began in 2016. The Beam Ex-orcism for A STable experiment II (BEAST II) project is particularly designed to measure the beam backgrounds around the interaction point of the SuperKEKB collider for the Belle II experiment. We developed a system using undoped bismuth germanium oxide (BGO) crystals with optical fiber connections to a multianode photomultiplier tube and one field-programmable gate array embedded DAQ (data acquisition) board for real-time beam radiation background monitoring. The radia-tion sensitivity of the BGO system is calibrated as 2.2E−12 ± 11.75% Gy/ADU (analog-to-digital unit) at the 700-V operation voltage with the nominal 10-m-long fibers for transmission. Our γ-ray irradiation study of the BGO system shows that the BGO crystals suffered from radiation damage. The light yields of the BGO crystals dropped by ∼40% after receiving 4.5 krad dose in 2.5 h, which agrees with the results of the radiation hardness study we have reported. The irradiation study also proves that the BGO system is very reliable, being able to function at fairly high radiation conditions without serious saturation or other problems. Besides, the running of the BGO system in BEAST II was very successful. It has provided much useful data for the beam background study. The data that the BGO system provided will facilitate the development of the entire BEAST II project. My study contains the design of the firmware and software, the calibration of the device, the analysis of the results of the irradiation study, and the integration of the data obtained during the running in BEAST II. In this thesis, I make a comprehensive portrait of the BGO system, including the design, calibration, tests, and the results of the beam background study in BEAST II.
Po-HsunChen and 陳柏勳. "Design and Implementation of Embedded Software and Firmware on LR-BOOK Handheld Device Based on ARM920T Architecture." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/08213501313083650589.
Full text國立成功大學
電機工程學系碩博士班
98
This thesis develops a listening and reading book (LR-Book) system with the Samsung ARM920T based S3C2440 fixed-point processor. The LR-Book system is designed to enhance the convenience of reading style for senior people, and it consists of two major parts: firmware design and software design. In the firmware part, to deal with the interaction between complicated application programs and hardware, we port the boot loader, file system, and the Linux 2.6.14 kernel to a prototype development board. In the software design, we integrate the speech synthesis and OCR. We modify the floating-point HTS 1.0.2 speech synthesis engine into fixed-point version. Moreover, two fixed-point mathematical operations of division and exponentiation are specially designed by the Newton-Raphson method and the least squares approximation, respectively. To overcome the problems of snapshot of rotating and shrinking in OCR, we propose a new feature extraction method that utilities the rotation invariant characteristic of a number’s center. According to the experimental results, the fixed-point speech synthesizer is faster 45 times than floating-point HTS_engine_1.0.2, and reaches real-time on the embedded device without Floating Point Units (FPUs). The recognition rate of OCR reaches 89%.
Bastos, João Pedro Gonçalves. "Gestão remota de dispositivos." Master's thesis, 2020. http://hdl.handle.net/10773/31310.
Full textDue to technological advances in sensors and their controllers, they currently have more and better features such as processing capacity, not being wired and the cost itself. Its use brings benefits such as, for example, increasing production efficiency or reducing CO2 emissions. By assimilating these benefits, companies use them in large quantities and spread over a large area. In this dissertation project, a tool was developed that seeks to address the challenges of mass deployment - initial configuration, firmware and software update and also verification of the current state of the device or sensor aggregate. The tool was also developed considering low cost and using Open-Source software from the working group Eclipse IoT - in this case using the services Bosch IoT Hub, Bosch IoT Things and Bosch IoT Rollouts (all services from Bosch IoT Suite) - and Node-RED to connect devices, APIs and the developed application. Raspberry Pi and ESP8266 were also used as Internet of Thing Devices, using MQTT and HTTP communication protocols
Mestrado em Engenharia Mecânica
(10645670), Christopher M. Wright. "EMULATION FOR MULTIPLE INSTRUCTION SET ARCHITECTURES." Thesis, 2021.
Find full textSystem emulation and firmware re-hosting are popular techniques to answer various security and performance related questions, such as, does a firmware contain security vulnerabilities or meet timing requirements when run on a specific hardware platform. While this motivation for emulation and binary analysis has previously been explored and reported, starting to work or research in the field is difficult. Further, doing the actual firmware re-hosting for various Instruction Set Architectures(ISA) is usually time consuming and difficult, and at times may seem impossible. To this end, I provide a comprehensive guide for the practitioner or system emulation researcher, along with various tools that work for a large number of ISAs, reducing the challenges of getting re-hosting working or porting previous work for new architectures. I layout the common challenges faced during firmware re-hosting and explain successive steps and survey common tools to overcome these challenges. I provide emulation classification techniques on five different axes, including emulator methods, system type, fidelity, emulator purpose, and control. These classifications and comparison criteria enable the practitioner to determine the appropriate tool for emulation. I use these classifications to categorize popular works in the field and present 28 common challenges faced when creating, emulating and analyzing a system, from obtaining firmware to post emulation analysis. I then introduce a HALucinator [1 ]/QEMU [2 ] tracer tool named HQTracer, a binary function matching tool PMatch, and GHALdra, an emulator that works for more than 30 different ISAs and enables High Level Emulation.