By Topic

IEEE Transactions on Reliability

Issue 4 • Date Dec 1994

Filter Results

Displaying Results 1 - 22 of 22
  • Characterization of distributions by relationships between failure rate and mean residual life

    Publication Year: 1994, Page(s):640 - 644
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB)

    The characterizations described use relations between the failure rate function and conditional expectation. The theorems proved here extend the results of some authors and can be used in the context of the renewal process. The utility of these results is demonstrated by using them to characterize some common distributions View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulating transient-state system effectiveness for human-machine systems

    Publication Year: 1994, Page(s):569 - 574
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    System effectiveness is a combined measure of readiness and reliability at each task-arrival time, when transient (human) operator behavior is considered in conjunction with the machine operating state. The authors derive effectiveness evaluation models for human-machine systems that have several machines. Each machine has an operator and contains several components (hardware and/or software). The... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of boundary-tracking gradient-method for optimizing spares cost for k-out-of-n:G systems

    Publication Year: 1994, Page(s):645 - 649
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 KB)

    This paper presents an application of a classical method of steepest-descent optimization coupled with a boundary-tracking technique to solve the integer spare allocation problem for k-out-of-n:G systems. The objective function for the optimization is linear and subject to a nonlinear availability constraint. The constrained problem is solved in an unconstrained manner using a multiple-gradient te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimum constant-stress accelerated life-test plans

    Publication Year: 1994, Page(s):575 - 581
    Cited by:  Papers (35)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    This paper deals with optimal design of four-level constant-stress accelerated life test plans with various censoring times. The optimum plans choose the stress levels, test units allocated to each stress, and censoring times to minimize the asymptotic variance of the MLE of the mean (log) life at design stress and test length. A FORTRAN-77 program was written to calculate the optimum plan. This p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Asymptotic sampling distribution of inverse coefficient-of-variation and its applications

    Publication Year: 1994, Page(s):630 - 633
    Cited by:  Papers (17)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (264 KB)

    This paper develops the asymptotic sampling distribution of the inverse of the coefficient of variation (InvCV). This distribution is used for making statistical inference about the population CV (coefficient of variation) or InvCV without making an assumption about the population distribution. It applies to making inferences (point and interval estimation, and hypothesis-testing) about the shape ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Infinite-failure models for a finite world: a simulation study of fault discovery

    Publication Year: 1994, Page(s):520 - 526
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    Many software reliability growth models have been published since the 1970s. Each one has been justified on theoretical or empirical evidence. A particularly interesting way of classifying these models is based on whether the asymptotic (time approaches infinity) mean number of total failures is infinite or finite. Theoretical and, especially, empirical justification for the appropriateness of inf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient algorithms for k-out-of-n and consecutive-weighted-k-out-of-n:F system

    Publication Year: 1994, Page(s):650 - 655
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (376 KB)

    A new reliability model, consecutive-weighted-k-out-of-n:F system, is proposed and an O(n) algorithm is provided to evaluate its reliability. An O(n·min(n,k)) algorithm is also presented for the circular case of this model. The authors design an O(n) parallel algorithm using k processors to compute the reliability of k-out-of-n systems, that achieves linear speedup View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generalized geometric de-eutrophication software-reliability model

    Publication Year: 1994, Page(s):536 - 541
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    The authors present a new software reliability model, called the lognormal proportional model (LPM). It belongs to the class of proportional models and can be viewed as a Bayes generalization of Moranda's geometric de-eutrophication model or deterministic proportional model (DPM). It is based on the idea that the modeling of software improvement should be stochastic rather than deterministic. The ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-tolerant routing algorithms using estimator discretized learning automata for high-speed packet-switched networks

    Publication Year: 1994, Page(s):582 - 593
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (896 KB)

    We present an adaptive routing algorithm (VP-LA) for high speed packet-switched networks. We use the source routing strategy. VP-LA uses anew S-Model Ergodic Discretized Estimator Learning Automaton (SEDEL), specially designed for the routing problem, to select accurately and rapidly the minimum delay routes in high-speed packet-switched networks. The estimator provides VP-LA with excellent fault-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing constant failure rate against NBAFR alternatives with randomly right-censored data

    Publication Year: 1994, Page(s):634 - 639
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    Reliability analysts and biometricians have found it useful to categorize life distributions by the properties of the failure rate. This paper considers the problem of testing exponentiality vs (nonexponential) new better than average failure rate (NBAFR) alternatives. Often, in practice, the data are incomplete because of: (a) withdrawals from the study; and (b) survivors at the time the data are... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability-centered test

    Publication Year: 1994, Page(s):566 - 568
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (236 KB)

    This paper presents the concept of reliability-centered testing (RCT) as a method to improve test station throughput and reduce maintenance life cycle cost on items of complex equipment. Because of the additional analysis required, RCT requires additional development time as compared with traditional test development. While applicable to both manual and automated tests, the methodology can produce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Voting algorithms

    Publication Year: 1994, Page(s):617 - 629
    Cited by:  Papers (56)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1056 KB)

    This paper presents efficient n-way plurality and threshold voting algorithms based on the type of voting (exact, inexact, or approval), rule for output selection (plurality or threshold) and properties of the input object space (size and structure). Exact voting is the most common voting method and is the easiest to implement. Inexact voting algorithms are more complicated due to intransitivity o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System reliability analysis of an N-version programming application

    Publication Year: 1994, Page(s):513 - 519
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (528 KB)

    This paper presents a quantitative reliability analysis of a system designed to tolerate both hardware and software faults. The system achieves integrated fault tolerance by implementing N-version programming (NVP) on redundant hardware. The system analysis considers unrelated software faults, related software faults, transient hardware faults, permanent hardware faults, and imperfect coverage. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Opinions on consecutive-k-out-of-n:F systems

    Publication Year: 1994, Page(s):659 - 662
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (304 KB)

    This paper is split into three sections. In section 1, Kuo believes that incompatibility exists among components and can justify an interdependence of component unreliability and system size. In section 2, Fu and Lou show how to compute the reliability of C(k,n) through a numerical example and use of a given theorem. In section 3, Hwang further elaborates his concerns View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A coverage analysis tool for the effectiveness of software testing

    Publication Year: 1994, Page(s):527 - 535
    Cited by:  Papers (25)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (772 KB)

    This paper describes the software testing and analysis tool, “ATAC (Automatic Test Analysis for C)”, developed as a research instrument to measure the effectiveness of testing data. It is also a tool to facilitate the design and evaluation of test cases during software development. To demonstrate the capability and applicability of ATAC, the authors obtained 12 program versions of a cr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Latent design faults in the development of the Multiflow TRACE/200

    Publication Year: 1994, Page(s):557 - 565
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB)

    Several examples of design faults that appeared during the development of the Multiflow TRACE/200 series of minisupercomputers are discussed. The design flaws generally fell into a few categories: interface mis-assumptions, instruction cache, parity-related, designer errors, CAD tools, and defective part designs (especially ground-bounce). Examples of bugs in each category are given. Random diagno... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Voting using predispositions

    Publication Year: 1994, Page(s):604 - 616
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (944 KB)

    We present a new, more comprehensive probabilistic model for the voting problem. This model incorporates four distinct probability distributions which can represent the behavior of faulty and nonfaulty modules as well as any underlying probability distribution on the space of answers. Most previous work ignored one or more of these distributions or made implicit or explicit simplifying assumptions... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A simple lower bound for reliability of k-out-of-n:G systems

    Publication Year: 1994, Page(s):656 - 658
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (184 KB)

    Application of Boole's inequality results in a simple lower bound for system reliability in terms of reliabilities of subsystems for a k-out-of-n:G system. No assumptions regarding statistical dependence or independence of the outcomes (success or failure) for the subsystems are used. The no assumption lower bound for pure series or parallel systems has been previously published, but the more gene... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How radiation affects polymeric materials

    Publication Year: 1994, Page(s):551 - 556
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    Radiation-induced degradation of polymeric materials proceeds mainly through free-radical oxidation mechanisms. The radiolytically produced free radicals react with the molecular oxygen to produce the corresponding peroxy radicals. The production of peroxy radicals initiates oxidation processes which then lead to degradation. This tutorial explains the mechanisms of radiation-induced oxidation and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Finding the most vital edges with respect to the number of spanning trees

    Publication Year: 1994, Page(s):600 - 603
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB)

    A most vital edge of a graph (w.r.t. the spanning trees) is an edge whose deletion most drastically decreases the number of spanning trees. We present an algorithm for determining the most vital edges based on Kirchoff's matrix-tree theorem whose asymptotic time-complexity can be reduced to that of the fastest matrix multiplication routine, currently O(n2.376). The foundation for this a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability prediction and estimation of PROLOG programs

    Publication Year: 1994, Page(s):542 - 549
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (616 KB)

    This paper presents an approach to reliability prediction and estimation of PROLOG programs, and introduces 2 complexity measures for PROLOG programs. The structural complexity measure refers to the program's static characteristics: size and number of clauses; clause arguments (number and types); and clause types (facts or rules). The operational complexity measure refers to the program's dynamic ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A `liub(log2(N))-2' resilient decentralized commit protocol

    Publication Year: 1994, Page(s):594 - 599
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    In distributed database systems, commit protocols are used to ensure the transaction atomicity. In the presence of failures, nonblocking commit protocols can guarantee the transaction atomicity without blocking the transaction execution. A (resilient) decentralized nonblocking commit protocol (RDCP) is proposed for distributed database systems. This protocol is based on the hypercube network topol... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IEEE Transactions on Reliability is concerned with the problems involved in attaining reliability, maintaining it through the life of the system or device, and measuring it.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
W. Eric Wong
University of Texas at Dallas
Advanced Res Ctr for Software Testing and Quality Assurance

ewong@utdallas.edu