Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 20 for “"Device drivers"”.
-
Modeling and Synthesis of Linux DMA Device Drivers using HOL4
… peripherals (such as network interfaces and USB devices) can access memory independently of the CPU, improving transfer speeds. However, this bypass also introduces security vulnerabilities if the DMA controller is not configured correctly, as DMA devices may be used to overwrite critical data or …
-
Performance Optimizations for Isolated Driver Domains
… most of today's operating system architectures, device drivers are tightly coupled with other kernel components. In such systems, a fault caused by a malicious or faulty device driver often leads to complete system failure, thereby reducing the overall reliability of the system. Even though a …
-
The raven kernel: a microkernel for shared memory multiprocessors
… excep-tion dispatching. All thread management, device drivers, and message passing functions are implemented completely in user space. This movement of typical kernel-level abstractions into user space can drastically reduce the overall number of user/kernel interactions for fine-grained …
-
Autonomous landing system for a UAV
… controller using classical control techniques. Device drivers for the sensors and the communications protocol were developed in ANSI C. The overall system was implemented in a PC104 computer running a real-time operating system developed by The Mathworks, Inc. Computer and hardware in the loop …
-
Privilege-Separating Embedded Applications using Web Assembly in the Plat FIDO2 Security Key
… of its codebase. Plat’s design encapsulates drivers and parsers in sandboxes that are isolated from the secrets that are used to perform authentication. To achieve privilege separation in the embedded context, Plat uses a new WebAssembly-based toolchain for ARM microcontrollers to implement …
-
Constraint Solving for Diagnosing Concurrency Bugs
… size but complex concurrency control, such as device drivers, synchronization protocols, and concurrent data structures. We have implemented our method in a software tool and demonstrated its effectiveness in diagnosing subtle concurrency bugs in multithreaded C programs.
-
Aircraft position estimation using lenticular sheet generated optical patterns
… relative to the lenticular sheets. Two such devices were constructed to test the principle, and machine vision code was developed to ascertain position using these devices. Machine vision code was found to reliably provide angular position of a camera within $1.4^circ$ through experimental …
-
On Improving the Security of Virtualized Systems through Unikernelized Driver Domain and Virtual Machine Monitor Compartmentalization and Specialization
… VMs in a hypervisor such as Xen that run device drivers -- use general-purpose full-featured OSs (e.g., Linux), which has a large attack surface, evident by the increasing number of their common vulnerabilities and exposures (CVEs). We argue for using the unikernel operating system (OS) …
-
Verification of DMAC Device Driver Operations in HOL4
… a case study to model as well as verify DMA device driver code in HOL4, which is an interactive theorem prover (ITP) used for machine-checked verification. This thesis verifies parts of Intel's IXGBE X550 device driver, which is a complex, 10 Gbit Network Interface Card (NIC). This …
-
Dynamic Reconfigurable Machine Tool Controller
… architecture to configure a mechanism into a device driver for direct control by an application like CAD/CAM. The RMAC paradigm is one of a mechanism device driver assigned to each mechanism class or model, and uses only the master model to control the mechanism. The traditional M&G code …
-
Design and Implementation of a Network Server in LibrettOS
… and based on rumprun such that the existing device drivers of NetBSD can be leveraged with little modification. In this model, the TCP/IP stack runs directly in the address space of applications. This allows retaining the client state even if the network server crashes and makes it possible …
-
Model Checking Pointer Safety in Compiled Programs
… well in an extensive evaluation using 250 Linux device drivers. An in-depth case study on the Linux Virtual File System illustrates that the SOCA technique can be applied to verify program properties beyond pointer safety. Our evaluation testifies SOCA's suitability as an effective and efficient …
-
Design and Implementation of the VirtuOS Operating System
… but not to critical system components such as device drivers or other systems code. Consequently, failures in these components often lead to system failures. VirtuOS is an operating system that exploits a new method of decomposition to protect against such failures. VirtuOS exploits …
-
Técnica baseada em contratos para a validação da comunicação de alto nível entre software e hardware
… de alto nível entre os dispositivos e seus device drivers, as quais compões tais contratos e são comumente especificadas com base em uma documentação informal (datasheets), durante a simulação de plataformas virtuais ou execução de plataformas de hardware real. Para tornar essa técnica …
-
Developing an Automated Explosives Detection Prototype Based on the AS&E 101ZZ System
… to serve as a general purpose data collection device in a variety of applications. Software was also developed for the prototype system. A Windows NT device driver was written for the DPIB and a custom bus master DMA collection device. These drivers are portable and can be used as a basis for …
-
Very High Frequency Integrated POL for CPUs
… heat with 3D integration. In addition, new GaN device drivers and magnetic materials are evaluated and demonstrated with the ability to increase the IVR frequency to 30MHz and realize a higher density with a smaller loss. In summary, this research starts with improving the 3D integrated POL …
-
ENERGY-EFFICIENT LIGHTWEIGHT ALGORITHMS FOR EMBEDDED SMART CAMERAS: DESIGN, IMPLEMENTATION AND PERFORMANCE ANALYSIS
<p>An embedded smart camera is a stand-alone unit that not only captures images, but also includes a processor, memory and communication interface. Battery-powered, embedded smart cameras introduce many additional challenges since they have very limited resources, such as energy, processing power …
-
Formalization Of Input And Output In Modern Operating Systems: The Hadley Model
We present the Hadley model, a formal descriptive model of input and output for modern computer operating systems. Our model is intentionally inspired by the Open Systems Interconnection model of networking; I/O as a process is defined as a set of translations between a set of computer-sensible …
-
Implementace jednoduchého operačního systému
Tato práce se zabývá návrhem a implementací jednoduchého operačního systému pro architekturu RISC-V v jazyce C++. Systém využívá OpenSBI (SEE) a U-Boot pro zavedení a poskytuje základní funkcionalitu, včetně správy a ochrany paměti, plánování procesů, ovladačů zařízení a částečné podpory …