The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability are calculated from the formal architectural specification and system configuration descriptions.

The Printed Circuit Board (PCB) assembly domain has almost completed its transition to a lead-free environment. This shift has resulted in the obsolescence of tin-lead components. However, occasionally, on-going production or repair processes require SnPb components which are no longer available. Using a lead-free device in such cases could result in reliability concerns (due to the use of lead...

1. MOTIVATION Merging information provided by several sources is an important issue and merging techniques have been extensively studied. When the reliability of the sources is not known, one can apply merging techniques such as majority or arbitration merging or distancebased merging for solving conflicts between information. At the opposite, if the reliability of the sources is known, either ...

Traditional system reliability efforts have failed to focus on software reliability. To remedy this, the authors propose a method that uses descriptive analyses, trend analyses, and reliability models to control testing activities, evaluate software reliability, and plan maintenance. uring the development of a software system, the supplier must efficiently monitor the development activities; co...

This paper presents an on-line approach to monitoring human performance in terms of conditional reliability when one is performing a task. Unlike traditional human reliability analysis, this approach develops a dynamic model that is able to cope with constantly changing conditions that affect operator performance. A fuzzy knowledge-based assessment approach is developed in order to deal with un...

This paper describes a simulation method for reliability assessment of electrical distribution systems. The method has been implemented in the reliability assessment tool RADPOW which now is able to perform both analytical and simulation evaluations. The implemented method is validated by comparing results from application studies made for an electrical distribution system in the Stockholm area...

Human reliability assessment (HRA) is the common name for an assortment of methods and models that are used to predict the occurrence of ‘human errors’. While the origin of HRA is in Probabilistic Safety Assessment (PSA), HRA is increasingly being used on its own both as a way to assess the risks from ‘human error’ and as a way to reduce system vulnerability. According to [1] the three principa...

One of the most time consuming activities in new product development is associated with reliability assessment and qualification. This is defined as a process to verify whether the anticipated reliability is indeed achieved under actual life cycle loads for some specified length of time. Reliability assessment and qualification is usually accomplished by testing under accelerated loads to achie...