European deposit insurance: financing the transition. CEPS Commentary, 6 September 2012

Arguing that the planned move to put the ECB in charge of banking supervision would be incomplete without a European Deposit Insurance and Resolution Authority (EDIRA), Daniel Gros and Dirk Schoenmaker spell out in a new CEPS Commentary some underlying principles to guide a gradual transition under which only future risks would be shared while past losses would remain at the national level. They show that ultimately such a new institution would serve as a genuine source of confidence in the European banking system.

A European Deposit Insurance and Resolution Fund - An Update. CEPS Policy Brief No. 283, 11 September 2012

Cross-border banking is currently not stable in Europe. Cross-border banks need a European safety net. Moreover, a truly integrated European level banking system may help to break the diabolical loop between the solvency of the domestic banking system and the fiscal standing of the national sovereign. This policy paper first sketches the building blocks of a banking union. Importantly, a new European Deposit Insurance and Resolution Authority (EDIRA) should start simultaneously with the ECB assuming supervisory powers. A combination of European supervision and local resolution cannot work because it is not ‘incentive compatible’. Next, this paper proposes a transition period to gradually phase in the European deposit insurance coverage. Finally, we calculate that a European Deposit Insurance Fund would amount to about €30-50 billion for the 75 euro area banks that were subject to the EBA stress tests. This Fund could be created over a period of time through risk-based deposit insurance premiums levied on these banks. Once up and running, the Fund would then turn into a European Deposit Insurance and Resolution Fund to also deal with the resolution of one or more of these European banks.

Discriminative pattern mining in software fault detection

We present a method to enhance fault localization for software systems based on a frequent pattern mining algorithm. Our method is based on a large set of test cases for a given set of programs in which faults can be detected. The test executions are recorded as function call trees. Based on test oracles the tests can be classified into successful and failing tests. A frequent pattern mining algorithm is used to identify frequent subtrees in successful and failing test executions. This information is used to rank functions according to their likelihood of containing a fault. The ranking suggests an order in which to examine the functions during fault analysis. We validate our approach experimentally using a subset of Siemens benchmark programs.

Predicting fault inflow in iterative software development processes: an industrial evaluation

This paper addresses the need for accurate predictions on the fault inflow, i.e. the number of faults found in the consecutive project weeks, in highly iterative processes. In such processes, in contrast to waterfall-like processes, fault repair and development of new features run almost in parallel. Given accurate predictions on fault inflow, managers could dynamically re-allocate resources between these different tasks in a more adequate way. Furthermore, managers could react with process improvements when the expected fault inflow is higher than desired. This study suggests software reliability growth models (SRGMs) for predicting fault inflow. Originally developed for traditional processes, the performance of these models in highly iterative processes is investigated. Additionally, a simple linear model is developed and compared to the SRGMs. The paper provides results from applying these models on fault data from three different industrial projects. One of the key findings of this study is that some SRGMs are applicable for predicting fault inflow in highly iterative processes. Moreover, the results show that the simple linear model represents a valid alternative to the SRGMs, as it provides reasonably accurate predictions and performs better in many cases.

Hybrid fault detection and isolation in an heater bank of an HVAC system

In this work a hybrid technique that includes probabilistic and optimization based methods is presented. The method is applied, both in simulation and by means of real-time experiments, to the heating unit of a Heating, Ventilation Air Conditioning (HVAC) system. It is shown that the addition of the probabilistic approach improves the fault diagnosis accuracy.

Multiple-model fault tolerant control of terminal unites of HVAC Systems

In this work, a fault-tolerant control scheme is applied to a air handling unit of a heating, ventilation and air-conditioning system. Using the multiple-model approach it is possible to identify faults and to control the system under faulty and normal conditions in an effective way. Using well known techniques to model and control the process, this work focuses on the importance of the cost function in the fault detection and its influence on the reconfigurable controller. Experimental results show how the control of the terminal unit is affected in the presence a fault, and how the recuperation and reconfiguration of the control action is able to deal with the effects of faults.

Fault tolerance of Mobius cubes under two forbidden fault set models

An n-dimensional Mobius cube, 0MQ(n) or 1MQ(n), is a variation of n-dimensional cube Q(n) which possesses many attractive properties such as significantly smaller communication delay and stronger graph-embedding capabilities. In some practical situations, the fault tolerance of a distributed memory multiprocessor system can be measured more precisely by the connectivity of the underlying graph under forbidden fault set models. This article addresses the connectivity of 0MQ(n)/1MQ(n), under two typical forbidden fault set models. We first prove that the connectivity of 0MQ(n)/1MQ(n) is 2n - 2 when the fault set does not contain the neighborhood of any vertex as a subset. We then prove that the connectivity of 0MQ(n)/1MQ(n) is 3n - 5 provided that the neighborhood of any vertex as well as that of any edge cannot fail simultaneously These results demonstrate that 0MQ(n)/1MQ(n) has the same connectivity as Q(n) under either of the previous assumptions.