The fault tree analysis is a widely used method for evaluation of systems reliability and
nuclear power plants safety. This paper presents a new method, which represents extension …

Software for safety critical systems must deal with the hazards identified by safety analysis.
This paper investigates, how the results of one safety analysis technique, fault trees, are …

Behavior in time domain is often crucial for safety critical systems. Standard fault trees
cannot express time-dependent behavior. In the paper, timing analysis of safety properties …

In order to make computer-aided control systems as safe as possible, a number of analysis
techniques have been developed. One of these is fault tree analysis. A fault tree (FT) …

Safety is one of the biggest concerns in the design of computer-aided control systems. In
order to make the system as safe as possible a number of analysis techniques has been …

Distance protection of the electrical power system is analyzed in the paper. Electrical power
transmission lines are divided into sections equipped with protective relaying system …

The ubiquitous presence of software-controlled systems in all areas of everyday life has
steadily increased the demand for safety and reliability analyses. On the one hand, these …

The current structure of the chapters reflects the key aspects discussed in the papers but the
papers themselves contain more additional interesting information: examples of a practical …

In systems with imperfect fault coverage (IFC), all components are subject to uncovered
failures, possibly threatening the whole system. Therefore, to improve the system reliability, it …

Correct coordination between protection relays is an essential requirement to maintain
stability and integrity of electrical power systems. Time settings of protection relays have to …