System features like security, availability and reliability, usually summarized under the concept of dependability, recently are receiving increasing attention due to the high complexity of modern systems. This imposes that specific requirements and explicit or tighter constraints have to be satisfied. However, with particular reference to reliability, there is a lack of suitable tools to prope...

The aim of this study is to get the reliability of series system and analyze the reliability of machining center. So a modified method of reliability modelling based on Monte Carlo simulation for series system is proposed. The reliability function, which is built by the classical statistics method based on the assumption that machine tools were repaired as good as new, may be biased in the real...

The reliability of smart substations has a great significance on the safety and stability of smart grid operation. Taking the protection system in smart substation as an example, this paper constructs comprehensive reliability models to evaluate the reliability of smart substations with different architectures. The paper first illustrates two important aspects which affect the reliability of th...

This paper proposes a novel approach to analyze the impacts of cyber layer failures (i.e., protection failures and monitoring failures) on the reliability evaluation of composite power systems. The reliability and availability of the cyber layer and its protection and monitoring functions with various topologies are derived based on a reliability block diagram method. The availability of the ph...

Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...

Modeling languages and the software tools which support them are essential to engineering. However, as these languages become more sophisticated, it becomes difficult to assure both the validity of their semantic specifications and the dependability of their program implementations. To ameliorate this problem we propose to develop shared semantic domains and corresponding implementations for fa...

RAScad is a Sun internal web−based reliability, availability, serviceability (RAS) architecture modeling and analysis tool for use in the computer system design and development phase. Two major goals of RAScad are: Making availability modeling possible for design engineers without background in mathematical modeling and making availability modeling efficient for RAS engineers who understand und...

Reliability Centered Maintenance(RCM) is one of most widely used methods in the modern power system to schedule a maintenance cycle and determine the priority of inspection. In order to apply the RCM method to the Smart Grid, a precedence study for the new structure of rearranged system should be performed due to introduction of additional installation such as renewable and sustainable energy r...