Reliability assessment of microgrid with renewable generation and prioritized loads

With the increase in awareness about the climate change, there has been a tremendous shift towards utilizing renewable energy sources (RES). In this regard, smart grid technologies have been presented to facilitate higher penetration of RES. Microgrids are the key components of the smart grids. Microgrids allow integration of various distributed energy resources (DER) such as the distributed generation (DGs) and energy storage systems (ESSs) into the distribution system and hence remove or delay the need for distribution expansion. One of the crucial requirements for utilities is to ensure that the system reliability is maintained with the inclusion of microgrid topology. Therefore, this paper evaluates the reliability of a microgrid containing prioritized loads and distributed RES through a hybrid analytical-simulation method. The stochasticity of RES introduces complexity to the reliability evaluation. The method takes into account the variability of RES through Monte- Carlo state sampling simulation. The results indicate the reliability enhancement of the overall system in the presence of the microgrid topology. In particular, the highest priority load has the largest improvement in the reliability indices. Furthermore, sensitivity analysis is performed to understand the effects of the failure of microgrid islanding in the case of a fault in the upstream network

Reliability analysis of distribution systems with photovoltaic generation using a power flow simulator and a parallel Monte Carlo approach

This paper presents a Monte Carlo approach for reliability assessment of distribution systems with distributed generation using parallel computing. The calculations are carried out with a royalty-free power flow simulator, OpenDSS (Open Distribution System Simulator). The procedure has been implemented in an environment in which OpenDSS is driven from MATLAB. The test system is an overhead distribution system represented by means of a three-phase model that includes protective devices. The paper details the implemented procedure, which can be applied to systems with or without distributed generation, includes an illustrative case study and summarizes the results derived from the analysis of the test system during one year. The goal is to evaluate the test system performance considering different scenarios with different level of system automation and reconfiguration, and assess the impact that distributed photovoltaic generation can have on that performance. Several reliability indices, including those related to the impact of distributed generation, are obtained for every scenario.Postprint (published version

Towards the Formal Reliability Analysis of Oil and Gas Pipelines

It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials. The main idea behind this reliability analysis is to model the given pipeline system as a Reliability Block Diagram (RBD) of segments such that the reliability of an individual pipeline segment can be represented by a random variable. Traditionally, computer simulation is used to perform this reliability analysis but it provides approximate results and requires an enormous amount of CPU time for attaining reasonable estimates. Due to its approximate nature, simulation is not very suitable for analyzing safety-critical systems like oil and gas pipelines, where even minor analysis flaws may result in catastrophic consequences. As an accurate alternative, we propose to use a higher-order-logic theorem prover (HOL) for the reliability analysis of pipelines. As a first step towards this idea, this paper provides a higher-order-logic formalization of reliability and the series RBD using the HOL theorem prover. For illustration, we present the formal analysis of a simple pipeline that can be modeled as a series RBD of segments with exponentially distributed failure times.Comment: 15 page

Maximizing Service Reliability in Distributed Computing Systems with Random Node Failures: Theory and Implementation

In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliability, defined as the probability of serving all the tasks queued in the DCS before all the nodes fail. This paper presents a rigorous probabilistic framework to analytically characterize the service reliability of a DCS in the presence of communication uncertainties and stochastic topological changes due to node deletions. The framework considers a system composed of heterogeneous nodes with stochastic service and failure times and a communication network imposing random tangible delays. The framework also permits arbitrarily specified, distributed load-balancing actions to be taken by the individual nodes in order to improve the service reliability. The presented analysis is based upon a novel use of the concept of stochastic regeneration, which is exploited to derive a system of difference-differential equations characterizing the service reliability. The theory is further utilized to optimize certain load-balancing policies for maximal service reliability; the optimization is carried out by means of an algorithm that scales linearly with the number of nodes in the system. The analytical model is validated using both Monte Carlo simulations and experimental data collected from a DCS testbed

Tools for efficient analysis of concurrent software systems

The ever increasing use of distributed computing as a method of providing added computing power and reliability has sparked interest in methods to model and analyze concurrent hardware/ software systems. Efficient automated analysis tools are needed to aid designers of such systems. The Distributed Systems Project at UCI has been developing a suite of tools (dubbed the P-NUT system) which supports efficient analysis of models of concurrent software. This paper presents the principles which guide the development of P-NUT tools and discusses the development of one of the tools: the Reachability Graph Builder (RGB). The P-NUT approach to tool development has resulted in the production of a highly efficient tool for constructing reachability graphs. The careful design of data structures and associated algorithms has significantly enlarged the class of models which can be analyzed

Intrusion-aware Alert Validation Algorithm for Cooperative Distributed Intrusion Detection Schemes of Wireless Sensor Networks

Existing anomaly and intrusion detection schemes of wireless sensor networks have mainly focused on the detection of intrusions. Once the intrusion is detected, an alerts or claims will be generated. However, any unidentified malicious nodes in the network could send faulty anomaly and intrusion claims about the legitimate nodes to the other nodes. Verifying the validity of such claims is a critical and challenging issue that is not considered in the existing cooperative-based distributed anomaly and intrusion detection schemes of wireless sensor networks. In this paper, we propose a validation algorithm that addresses this problem. This algorithm utilizes the concept of intrusion-aware reliability that helps to provide adequate reliability at a modest communication cost. In this paper, we also provide a security resiliency analysis of the proposed intrusion-aware alert validation algorithm.Comment: 19 pages, 7 figure