Master of Science

thesisOperating system (OS) kernel extensions, particularly device drivers, are one of the primary sources of vulnerabilities in commodity OS kernels. Vulnerabilities in driver code are often exploited by attackers, leading to attacks like privilege escalation, denial-of-service, and arbitrary code execution. Today, kernel extensions are fully trusted and operate within the core kernel without any form of isolation. But history suggests that this trust is often misplaced, emphasizing a need for some isolation in the kernel. We develop a new framework for isolating device drivers in the Linux kernel. Our work builds on three fundamental principles: (1) strong isolation of the driver code; (2) reuse of existing driver while making no or minimal changes to the source; and (3) achieving same or better performance compared to the nonisolated driver. In comparison to existing driver isolation schemes like driver virtual machines and user-level device driver implementations, our work strives to avoid modifying existing code and implements an I/O path without incurring substantial performance overhead. We demonstrate our approach by isolating a unmodified driver for a null block device in the Linux kernel, achieving near-native throughput for block sizes ranging from 512B to 256KB and outperforming the nonisolated driver for block sizes of 1MB and higher

Master of Science

thesisMany of the operating system kernels we use today are monolithic. They consist of numerous file systems, device drivers, and other subsystems interacting with no isolation and full trust. As a result, a vulnerability or bug in one part of a kernel can compromise an entire machine. Our work is motivated by the following observations: (1) introducing some form of isolation into the kernel can help confine the effects of faulty code, and (2) modern hardware platforms are better suited for a decomposed kernel than platforms of the past. Platforms today consist of numerous cores, large nonuniform memories, and processor interconnects that resemble a miniature distributed system. We argue that kernels and hypervisors must eventually evolve beyond their current symmetric mulitprocessing (SMP) design toward a corresponding distributed design. But the path to this goal is not easy. Building such a kernel from scratch that has the same capabilities as an equivalent monolithic kernel could take years of effort. In this work, we explored the feasibility of incrementally isolating subsystems in the Linux kernel as a path toward a distributed kernel. We developed a design and techniques for moving kernel modules into strongly isolated domains in a way that is transparent to existing code, and we report on the feasibility of our approach

Hybrid electric vehicle power management solutions based on isolated and nonisolated configurations of multilevel modular capacitor-clamped converter

Journal ArticleAbstract-This paper presents the various configurations of a multilevel modular capacitor-clamped converter (MMCCC), and it reveals many useful and new formations of the original MMCCC for transferring power in either an isolated or nonisolated manner. The various features of the original MMCCC circuit are best suited for a multibus system in future plug-in hybrid or fuel-cell-powered vehicles' drive train. The original MMCCC is capable of bidirectional power transfer using multilevel modular structure with capacitor-clamped topology. It has a nonisolated structure, and it offers very high efficiency even at partial loads. This circuit was modified to integrate single or multiple high-frequency transformers by using the intermediate voltage nodes of the converter. On the other hand, a special formation of the MMCCC can exhibit dc outputs offering limited isolation without using any isolation transformer. This modified version can produce a high conversion ratio from a limited number of components and has several useful applications in providing power to multiple low-voltage loads in a hybrid or electric automobile. This paper will investigate the origin of generating ac outputs from the MMCCC and shows how the transformer-free version can be modified to create limited isolation from the circuit. In addition, this paper will compare various modified forms of the MMCCC topology with existing dc-dc converter circuits from compactness and component utilization perspectives

Analysis of seismically-isolated two-block systems using a multi–rocking-body dynamic model

A novel multibody rocking model is developed to investigate the dynamic response of two stacked rigid blocks placed on a linear base isolation device. The model is used to investigate the dynamic response of a realistic statue-pedestal system subject to pulse-like ground motions. The analysis shows that, in general, base isolation increases the safety level of the rocking system. However, for large period pulses or small size blocks, the isolator can amplify the ground motion, resulting in a lower minimum overturning acceleration than for the nonisolated system. Further, the amplification or shock spectrum of a linear mass-dashpot-spring oscillator, was found to be the reciprocal of the minimum nondimensional overturning acceleration of the investigated rocking system. Novel rocking spectra are obtained by normalizing the frequency of the pulse by the frequency of the isolator. The analysis also demonstrates how the dynamic response of the two stacked blocks is equivalent to that of a single-block configuration coincident with the whole system assumed monolithic or the upper block alone, whichever is more slender

A comprehensive review on Bidirectional traction converter for Electric vehicles

In this fast-changing environmental condition, the effect of fossil fuel in vehicle is a significant concern. Many sustainable sources are being studied to replace the exhausting fossil fuel in most of the countries. This paper surveys the types of electric vehicle’s energy sources and current scenario of the on-road electric vehicle and its technical challenges. It summarizes the number of state-of-the-art research progresses in bidirectional dc-dc converters and its control strategies reported in last two decades. The performance of the various topologies of bidirectional dc-dc converters is also tabulated along with their references. Hence, this work will present a clear view on the development of state-of-the-art topologies in bidirectional dc-dc converters. This review paper will be a guide for the researchers for selecting suitable bidirectional traction dc-dc converters for electric vehicle and it gives the clear picture of this research field

Design of Zonal Electrical Distribution Systems for Ships and Oil Platforms: Control Systems and Protections

Complex energy vessels such as large platforms or drillships require more efficient use of electrical power. As shipboard electrical systems become larger, problems and limits arise with the ac distribution architecture. Hybrid ac/dc onboard distribution systems are today available, which provide higher efficiency and redundancy. IEEE Std. 1662, 1709 and 1826 set technical rules and recommendations for the design of hybrid ac/dc shipboard electrical systems. Among these, zonal electrical distribution systems (ZEDS) are considered a next technological evolution, as they provide optimal power sharing (and energy storage) along with high reliability

Multiport DC-DC Converters for Hybrid Energy Systems

Renewable energy sources (RESs) like solar and wind have gained attention for their potential to reduce reliance on fossil fuels and mitigate climate change. However, integrating multiple RESs into a power grid is challenging due to their unpredictable nature. Power electronic converters can manage hybrid energy systems by controlling power flow between RESs, storages, and the grid. Conventional single input dc-dc converters have limitations such as low efficiency, bulky designs, and complex control systems. Multiport dc-dc converters (MPCs) have emerged as a solution for hybridizing multiple sources, storages, and load systems by providing a common interface. Existing MPCs have limitations such as high component count, limited operational range, complex control strategies and restrictions on the number of inputs to list a few. Thus, there is a need to develop new MPCs that combine the advantages of existing designs while overcoming their limitations. Isolated MPCs with unipolar or bipolar outputs are needed that can accommodate any number of inputs, offer high voltage gain, use fixed magnetic components for galvanic isolation (regardless of the number of ports), and have a simplified control strategy. Additionally, new non-isolated MPCs with unipolar or bipolar outputs are required, featuring reduced component count, simultaneous power transfer and power flow between input ports, high voltage gain, low control complexity, and modular design allowing for arbitrary increase in the number of input ports. There is also an opportunity to apply MPCs in the integration of RESs and storages to ac grids through multilevel inverters for low component count, high efficiency, low harmonics, and higher power density. Further, advances in bipolar MPCs provide the chance to balance the dc bus without requiring a complex control system.acceptedVersio

Special Power Electronics Converters and Machine Drives with Wide Band-Gap Devices

Power electronic converters play a key role in power generation, storage, and consumption. The major portion of power losses in the converters is dissipated in the semiconductor switching devices. In recent years, new power semiconductors based on wide band-gap (WBG) devices have been increasingly developed and employed in terms of promising merits including the lower on-state resistance, lower turn-on/off energy, higher capable switching frequency, higher temperature tolerance than conventional Si devices. However, WBG devices also brought new challenges including lower fault tolerance, higher system cost, gate driver challenges, and high dv/dt and resulting increased bearing current in electric machines. This work first proposed a hybrid Si IGBTs + SiC MOSFETs five-level transistor clamped H-bridge (TCHB) inverter which required significantly fewer number of semiconductor switches and fewer isolated DC sources than the conventional cascaded H-bridge inverter. As a result, system cost was largely reduced considering the high price of WBG devices in the present market. The semiconductor switches operated at carrier frequency were configured as Silicon Carbide (SiC) devices to improve the inverter efficiency, while the switches operated at fundamental output frequency (i.e., grid frequency) were constituted by Silicon (Si) IGBT devices. Different modulation strategies and control methods were developed and compared. In other words, this proposed SiC+Si hybrid TCHB inverter provided a solution to ride through a load short-circuit fault. Another special power electronic, multiport converter, was designed for EV charging station integrated with PV power generation and battery energy storage system. The control scheme for different charging modes was carefully developed to improve stabilization including power gap balancing, peak shaving, and valley filling, and voltage sag compensation. As a result, the influence on the power grid was reduced due to the matching between daily charging demand and adequate daytime PV generation. For special machine drives, such as slotless and coreless machines with low inductance, low core losses, typical drive implementations using conventional silicon-based devices are performance limited and also produce large current and torque ripples. In this research, WBG devices were employed to increase inverter switching frequency, reduce current ripple, reduce filter size, and as a result reduce drive system cost. Two inverter drive configurations were proposed and implemented with WBG devices in order to mitigate such issues for 2-phase very low inductance machines. Two inverter topologies, i.e., a dual H-bridge inverter with maximum redundancy and survivability and a 3-leg inverter for reduced cost, were considered. Simulation and experimental results validated the drive configurations in this dissertation. An integrated AC/AC converter was developed for 2-phase motor drives. Additionally, the proposed integrated AC/AC converter was systematically compared with commonly used topologies including AC/DC/AC converter and matrix converters, in terms of the output voltage/current capability, total harmonics distortion (THD), and system cost. Furthermore, closed-loop speed controllers were developed for the three topologies, and the maximum operating range and output phase currents were investigated. The proposed integrated AC/AC converter with a single-phase input and a 2-phase output reduced the switch count to six and resulting in minimized system cost and size for low power applications. In contrast, AC/DC/AC pulse width modulation (PWM) converters contained twelve active power semiconductor switches and a common DC link. Furthermore, a modulation scheme and filters for the proposed converter were developed and modeled in detail. For the significantly increased bearing current caused by the transition from Si devices to WBG devices, advanced modeling and analysis approach was proposed by using coupled field-circuit electromagnetic finite element analysis (FEA) to model bearing voltage and current in electric machines, which took into account the influence of distributed winding conductors and frequency-dependent winding RL parameters. Possible bearing current issues in axial-flux machines, and possibilities of computation time reduction, were also discussed. Two experimental validation approaches were proposed: the time-domain analysis approach to accurately capture the time transient, the stationary testing approach to measure bearing capacitance without complex control development or loading condition limitations. In addition, two types of motors were employed for experimental validation: an inside-out N-type PMSM was used for rotating testing and stationary testing, and an N-type BLDC was used for stationary testing. Possible solutions for the increased CMV and bearing currents caused by the implementation of WGB devices were discussed and developed in simulation validation, including multi-carrier SPWM modulation and H-8 converter topology

Prosocial behaviour in urban and rural environments: field studies based upon a taxonomic organisation of helping episodes

This series of studies dealt with differences in rates of helping behaviour between people in urban and rural environments. A number of methodological problems in previous research are noted, including the fact that previous studies selected both individual subjects and communities for study on a nonrandom basis and gave little or no attention to the problem of the sampling of helping behaviours. A review of relevant theoretical approaches (information overload theory, deindividuation theory, urban stress-pathology theories, social inhibition theory, the setting-mood perspective, the socio-structural perspective, and the in-group/out-group perspective) highlighted the fact that the theories generally have left unspecified the ranges of helping forms for which they are meant to have relevance. Attention to this problem, along with consideration of , the problem of the sampling of behaviours for study, suggested the importance of developing a taxonomy of helping

A review of grid-tied converter topologies used in photovoltaic systems

This study provides review of grid-tied architectures used in photovoltaic power systems, classified by the granularity level at which maximum power point tracking (MPPT) is applied. Grid-tied PV power systems can be divided into two main groups, namely centralized MPPT (CMPPT) and distributed MPPT (DMPPT). The DMPPT systems are further classified according to the levels at which MPPT can be applied, i.e. string, module, submodule, and cell level. Typical topologies for each category are also introduced, explained and analyzed. The classification is intended to help readers understand the latest developments of grid-tied PV power systems and inform research directions