Quantitative demonstration and cost considerations of a software fault removal methodology

This paper presents a demonstration of a methodology for fault removal during software development. The methodology encompasses the entire development history, from system and software requirements generation to system test. Thus it considers not only the faults during software testing after formal configuration controls have been invoked, but also the faults discovered prior to that phase: during system and software requirements generation, preliminary design, detailed design and code and unit testing. The agents for fault discovery used in verification and validation are called activities, techniques and tools (AT & Ts) in this paper, each having a certain maximum potential or capability for fault discovery. The AT & Ts considered include the usual specification review activities, and also certain tools not normally applied in ‘standard’ software development, such as automated requirements aids. Application of the methodology yields numbers of residual faults as of each phase of development, including those remaining to be discovered during operations and maintenance. Some previous experience and data on residual faults correspond to these results, indicating that the methodology and choice of parameters are reasonable. The methodology also allows one to calculate a relative loss due to delay in fault discovery, which, as is well known, rises rapidly when faults are not discovered during the phase in which they are generated.     

Influence of protein and lipid concentration of the test lubricant on the wear of ultra high molecular weight polyethylene

To gain a better understanding of the ultra-high molecular weight polyethylene (UHMWPE) wear mechanism in the physiological environment, the effects of protein and lipid constituents of synovial fluid on the specific wear rate of UHMWPE were examined experimentally. The multidirectional sliding pin-on-plate wear tester was employed to simulate the simplified sliding condition of hip joint prostheses. Bovine serum γ-globulin and synthetic l--DPPC were used as model protein and lipid constituents of synovia, respectively. Results of the wear test indicated that the UHMWPE wear rate primarily depended on the protein concentration of the test lubricant. Lipids acted as a boundary lubricant and reduced polyethylene wear in the low protein lubricants. However, the polyethylene wear rate increased with increasing lipid concentrations if the protein concentration was within the physiological level. Increased interactions between protein and lipid molecules and lipid diffusion to polyethylene surface might be responsible for the increased wear.     

Early detection of ageing in solder joints through laser probe thermal analysis of the peltier effect

We have recently developed an optical contactless method for testing the quality of solder joints during accelerated thermal cycling ageing processes.¹ The method was based upon the measurement of the dynamic thermal behaviour of the joint to short bursts of Joule heating. It has proved to be efficient in revealing the formation of cracks at the lead-solder interface. We present a method to evaluate ageing at a much earlier stage in the cycling process. We have observed in earlier work,¹ that before cracks appear, structural changes occur in the solder at the lead-solder interface. The thermal response of the solder joint is recorded over time to a Peltier heat perturbation produced by flowing a current pulse through the interface where structural changes occur. The key point in this method is to discriminate the Peltier effect from the Joule thermal response because both effects generate heat. The variation of the early Peltier response in the thermal cycling ageing tests is seen as a quantitative signature of the structural changes in the lead-solder interface.     

Using rainbow net simulation to measure fault tolerance in a multiprocessor

The Rainbow net simulation technique is applied to modelling the impact of system load and fault handling on the availability of a fault-tolerant multiprocessor architecture. Rainbow nets are described along with the motivation for creating this modelling technique. A Rainbow net fault-handling model is created for the fault-tolerant multiprocessor architecture and the topology is shown to remain constant in size, independent of the number of processor, memory and I/O elements configured in the system. Simulation is performed with a varying load in terms of the number of active jobs the system must support. Results are given showing how the fault-tolerant capability varies with load. Two new metrics for evaluating fault tolerance are introduced; namely full fault-tolerability and partial fault-tolerability. They are based on simple observations in the model.     

矿井串联系统模糊可靠性理论的研究

矿井系统不仅具有随机性，而且同时也具有模糊性，在系统分析与设计过程中应同时考虑这两种不确定性因素的影响。文中提出了模糊故障、模糊功能、系统模糊运营状态和广义可靠度等概念，并在此基础上提出了求单元及串联系统的生产能力、营运费用、应急维修费用、修理时间和广义可靠度等指标的方法，建立了使系统平均生产能力最大的系统最优运营策略的数学模型。     

Incorporating statistical information into expert classification systems to reduce classification costs

Interactive expert systems seek relevant information from a user in order to answer a query or to solve a problem that the user has posed. A fundamental design issue for such a system is therefore itsinformation-seeking strategy, which determines the order in which it asks questions or performs experiments to gain the information that it needs to respond to the user. This paper examines the problem of optimal knowledge acquisition through questioning in contexts where it is expensive or time-consuming to obtain the answers to questions. An abstract model of an expert classification system — considered as a set of logical classification rules supplemented by some statistical knowledge about attribute frequencies — is developed and applied to analyze the complexity and to present constructive algorithms for doing probabilistic question-based classification. New heuristics are presented that generalize previous results for optimal identification keys and questionnaires. For an important class of discrete discriminant analysis problems, these heuristics find optimal or near-optimal questioning strategies in a small fraction of the time required by an exact solution algorithm.     

Human error identification in human reliability assessment. Part 2: Detailed comparison of techniques

This is the second part of a two-part review of human error identification (HEI) approaches in human reliability assessment (HRA). Part 1 reviewed the probabilistic risk assessment (PRA) context in which HRA occurs, and then detailed 12 HEI techniques which have evolved in the field of HRA. Part 2 attempts to compare the way these techniques perform against a range of criteria relevant to HEI theoretical and empirical validity, and practical usefulness in applied HRA. It is hoped that these comparisons will help assessors in the selection of techniques for practical applications. The comparisons also point to research and development needs in the area of applied HEI.     

Critical transistors nexus based circuit-level aging assessment and prediction

Accurate age modeling, and fast, yet robust reliability sign-off emerged as mandatory constraints in Integrated Circuits (ICs) design for advanced process technology nodes. In this paper we introduce a novel method to assess and predict the circuit reliability at design time as well as at run-time. The main goal of our proposal is to allow for: (i) design time reliability optimization; (ii) fine tuning of the run-time reliability assessment infrastructure, and (iii) run-time aging assessment. To this end, we propose to select a minimum-size kernel of critical transistors and based on them to assess and predict an IC End-Of-Life (EOL) via two methods: (i) as the sum of the critical transistors end-of-life values, weighted by fixed topology-dependent coefficients, and (ii) by a Markovian framework applied to the critical transistors, which takes into account the joint effects of process, environmental, and temporal variations. The former model exploits the aging dependence on the circuit topology to enable fast run-time reliability assessment with minimum aging sensors requirements. By allowing the performance boundary to vary in time such that both remnant and nonremnant variations are encompassed, and imposing a Markovian evolution, the probabilistic model can be better fitted to various real conditions, thus enabling at design-time appropriate guardbands selection and effective aging mitigation/compensation techniques. The proposed framework has been validated for different stress conditions, under process variations and aging effects, for the ISCAS-85 c499 circuit, in PTM 45 nm technology. From the total of 1526 transistors, we obtained a kernel of 15 critical transistors, for which the set of topology dependent weights were derived. Our simulation results for 15 critical transistors kernel indicate a small approximation error (i.e., mean smaller than 15% and standard deviation smaller than 6%) for the considered circuit estimated end-of-life (EOL), when comparing to the end-of-life values obtained from Cadence simulation, which quantitatively confirm the accuracy of the IC lifetime evaluation. Moreover, as the number of critical transistors determines the area overhead, we also investigated the implications of reducing their number on the reliability assessment accuracy. When only 5 transistors are included into the critical set instead of 15, which results in a 66% area overhead reduction, the EOL estimation accuracy diminished with 18%. This indicates that area vs. accuracy trade-offs are possible, while maintaining the aging prediction accuracy within reasonable bounds.     

Conditional probability Markov chain simulation based reliability analysis method for nonnormal variables

Based on fast Markov chain simulation for generating the samples distributed in failure region and saddlepoint approximation(SA) technique,an efficient reliability analysis method is presented to evaluate the small failure probability of non-linear limit state function(LSF) with non-normal variables.In the presented method,the failure probability of the non-linear LSF is transformed into a product of the failure probability of the introduced linear LSF and a feature ratio factor.The introduced linear LSF wh...