Statistical Reliability Estimation of Microprocessor-Based Systems

What is the probability that the execution state of a given microprocessor running a given application is correct, in a certain working environment with a given soft-error rate? Trying to answer this question using fault injection can be very expensive and time consuming. This paper proposes the baseline for a new methodology, based on microprocessor error probability profiling, that aims at estimating fault injection results without the need of a typical fault injection setup. The proposed methodology is based on two main ideas: a one-time fault-injection analysis of the microprocessor architecture to characterize the probability of successful execution of each of its instructions in presence of a soft-error, and a static and very fast analysis of the control and data flow of the target software application to compute its probability of success. The presented work goes beyond the dependability evaluation problem; it also has the potential to become the backbone for new tools able to help engineers to choose the best hardware and software architecture to structurally maximize the probability of a correct execution of the target softwar

FPGA Implementation of an Adaptive Noise Canceller for Robust Speech Enhancement Interfaces

This paper describes the design and implementation results of an adaptive Noise Canceller useful for the construction of Robust Speech Enhancement Interfaces. The algorithm being used has very good performance for real time applications. Its main disadvantage is the requirement of calculating several operations of division, having a high computational cost. Besides that, the accuracy of the algorithm is critical in fixed-point representation due to the wide range of the upper and lower bounds of the variables implied in the algorithm. To solve this problem, the accuracy is studied and according to the results obtained a specific word-length has been adopted for each variable. The algorithm has been implemented for Altera and Xilinx FPGAs using high level synthesis tools. The results for a fixed format of 40 bits for all the variables and for a specific word-length for each variable are analyzed and discussed

Modelling and regulation of dual-output LCLC resonant converters

The analysis, design and control of 4th-order LCLC voltage-output series-parallel resonant converters (SPRCs) for the provision of multiple regulated outputs, is described. Specifically, state-variable concepts are employed and new analysis techniques are developed to establish operating mode boundaries with which to describe the internal behaviour of a dual-output resonant converter topology. The designer is guided through the most important criteria for realising a satisfactory converter, and the impact of parameter choices on performance is explored. Predictions from the resulting models are compared with those obtained from SPICE simulations and measurements from a prototype power supply under closed loop control

Analysis and control of dual-output LCLC resonant converters, and the impact of leakage inductance

The analysis, design and control of 4th-order LCLC voltage-output series-parallel resonant converters (SPRCs) for the provision of multiple regulated outputs, is described. Specifically, state-variable concepts are developed to establish operating mode boundaries with which to describe the internal behaviour of dual-output resonant converters, and the impact of output leakage inductance. The resulting models are compared with those obtained from SPICE simulations and measurements from a prototype power supply under closed loop control to verify the analysis, modeling and control predictions

Firm Capabilities, Competition and Industrial Policies in a History-Friendly Model of the Computer Industry

In this paper, we explore some problems that industrial policy faces in industries characterized by dynamic increasing returns on the basis of a 'history friendly model' of the evolution of the computer industry. How does policy affect industry structure over the course of industry evolution? Is the timing of the intervention important? Do policy interventions have indirect and perhaps unintended consequences on different markets at different times? We focus on two sets of policies: antitrust and interventions aiming at supporting the entry of new forms in the industry. The results of our simulations show that, if strong dynamic increasing returns are operative, both through technological capabilities and through customer tendency to stick with a brand, there is little that antitrust and entry policy could have done to avert the rise of a dominant firm in mainframes. On the other hand, if the customer lock in effect had been smaller, either by chance or through policies that discouraged efforts of firms to lock in their customers, the situation might have been somewhat different. In the first place, even in the absence of antitrust or entry encouraging policies, market concentration would have been lower, albeit a dominant firm would emerge anyhow. Second, antitrust and entry encouraging policies would have been more effective in assuring that concentration would decrease. The leading firm would continue to dominate the market, but its relative power would be reduced. © Elsevier Science B.V

Report on the formal specification and partial verification of the VIPER microprocessor

The formal specification and partial verification of the VIPER microprocessor is reviewed. The VIPER microprocessor was designed by RSRE, Malvern, England, for safety critical computing applications (e.g., aircraft, reactor control, medical instruments, armaments). The VIPER was carefully specified and partially verified in an attempt to provide a microprocessor with completely predictable operating characteristics. The specification of VIPER is divided into several levels of abstraction, from a gate-level description up to an instruction execution model. Although the consistency between certain levels was demonstrated with mechanically-assisted mathematical proof, the formal verification of VIPER was never completed

Suppression of Biodynamic Interference by Adaptive Filtering

Preliminary experimental results obtained in moving base simulator tests are presented. Both for pursuit and compensatory tracking tasks, a strong deterioration in tracking performance due to biodynamic interference is found. The use of adaptive filtering is shown to substantially alleviate these effects, resulting in a markedly improved tracking performance and reduction in task difficulty. The effect of simulator motion and of adaptive filtering on human operator describing functions is investigated. Adaptive filtering is found to substantially increase pilot gain and cross-over frequency, implying a more tight tracking behavior. The adaptive filter is found to be effective in particular for high-gain proportional dynamics, low display forcing function power and for pursuit tracking task configurations