Proceedings. 2000 Pacific Rim International Symposium on Dependable Computing

20-20 Dec. 2000

Filter Results

Displaying Results 1 - 25 of 27
  • Proceedings. 2000 Pacific Rim International Symposium on Dependable Computing

    Publication Year: 2000
    Request permission for reuse | PDF file iconPDF (204 KB)
    Freely Available from IEEE
  • Intrusion tolerant systems

    Publication Year: 2000, Page(s): 3
    Cited by:  Patents (1)
    Request permission for reuse | PDF file iconPDF (110 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The use of fault tolerant computer in the real world

    Publication Year: 2000, Page(s): 7
    Request permission for reuse | PDF file iconPDF (70 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation and evaluation for dependable bus control using CPLD

    Publication Year: 2000, Page(s):11 - 18
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (550 KB)

    Bus systems are used in computers as essential architecture, and dependability of bus systems should be accomplished reasonably for various applications. In this paper, we will present dependable bus operations with actual implementation and evaluation by CPLD. Most of the bus systems control transition of some classified phases with synchronous clock or guard time to avoid incorrect phase transit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Electrical phenomena during Hot Swap events

    Publication Year: 2000, Page(s):19 - 26
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (655 KB)

    The exchange of a computer system's components during operation can be accomplished by the so called Hot Swap technology. This technology makes it possible to continuously run a computer system without the necessity of a shutdown for maintenance purposes, e.g. upgrading of a network adapter. Thus the overall uptime of a system can be drastically increased. The Hot Swap capability has been integrat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic

    Publication Year: 2000, Page(s):27 - 33
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (569 KB)

    A new multiple-valued current-mode (MVCM) integrated circuit based on dual-rail differential logic, whose current-driving capability is high at a low supply voltage, is proposed to realize a totally self-checking circuit and an asynchronous-control circuit. Two nMOS transistors with different threshold voltages are used as complementary pass switches in the proposed differential-pair circuit (DPC)... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of multicast error recovery using convolutional codes

    Publication Year: 2000, Page(s):37 - 44
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (732 KB)

    Packet losses due to congested traffic conditions in the Internet leads to the investigation of the reliable delivery of data to multicast receivers. In this paper, we examine the technique based on FEC, using (n, k, m) convolutional codes to recover lost packets. We show that when the redundant packets are generated by convolutional codes, a receiver can tolerate a certain amount of packet loss a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Low cost consensus-based Atomic Broadcast

    Publication Year: 2000, Page(s):45 - 52
    Cited by:  Papers (8)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (809 KB)

    Atomic Broadcast (all processes deliver the same set of messages in the same order) is a very powerful communication primitive when one is interested in building fault-tolerant distributed systems. Moreover, it has been shown that Atomic Broadcast and Consensus are equivalent problems in asynchronous distributed systems prone to process crash failures. Hence, several Consensus-based Atomic Broadca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A survivability framework for connection-oriented group communications

    Publication Year: 2000, Page(s):53 - 58
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (557 KB)

    This paper presents a framework for providing survivability to group communications where part of the underlying traffic layer infrastructure is connection-oriented. The framework is multi-layered to express the virtual overlays inherent to networked systems, describes survivability issues unique to group communications, and outlines tradeoffs between restoration techniques that can be extended fr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A scalable membership service for group communications in WANs

    Publication Year: 2000, Page(s):59 - 66
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (882 KB)

    Group Communication System (GCS) is an important building block for reliable, fault-tolerant distributed applications. Due to highly variable and unpredictable latency in WANs, GCS needs to cope with frequent membership changes. It results in diminishing the scalability of GCS. In this paper we propose a new scheme that improves the scalability of group membership service for WANs by exploiting de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effects of failure correlation on software in operation

    Publication Year: 2000, Page(s):69 - 76
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (764 KB)

    Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicability of these models continue to be questioned. Our research work was motivated by the fact that although there are practical situations in which the assumption of independence among successive software failures could be easil... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule

    Publication Year: 2000, Page(s):77 - 84
    Cited by:  Papers (50)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (713 KB)

    In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvenation schedule. More precisely, the software rejuvenation models are formulated via the semi-Markov processes, and the optimal software rejuvenation schedules which maximize the system availabilities are derived analytical... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building dependable COTS microkernel-based systems using MAFALDA

    Publication Year: 2000, Page(s):85 - 92
    Cited by:  Papers (10)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1359 KB)

    MAFALDA (Microkernel Assessment by Fault injection Analysis and Design Aid) is a generic tool providing quantitative information on COTS microkernels to support their integration into dependable systems. The main originality of MAFALDA relies on the features provided for both the analysis of the failure modes of the target microkernel and the design of error confinement wrappers. The paper illustr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High assurance system for tokyo metropolitan area railway network

    Publication Year: 2000, Page(s): 95
    Request permission for reuse | PDF file iconPDF (99 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability consideration for advanced microelectronics

    Publication Year: 2000, Page(s): 99
    Cited by:  Papers (5)
    Request permission for reuse | PDF file iconPDF (48 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some improved encoding and decoding schemes for balanced codes

    Publication Year: 2000, Page(s):103 - 109
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (497 KB)

    A binary code of length n is called a balanced code if each codeword contains exactly [n/2] (or [n/2]) ones and [n/2] (or [n/2]) zeros. In this paper, we give two improved methods for encoding and decoding balanced codes. The first one, called improved single map, improves the computation complexity of Knuth's single map function. This method, instead of complementing one bit at a time as done in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault-tolerant FFT data compression

    Publication Year: 2000, Page(s):110 - 119
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (787 KB)

    Transform coefficients carry important data characteristics but can also be compressed significantly in many remote sensing applications. Failures in the several computing facilities that execute lossy compression algorithms and support the transmission of Fourier transform data can corrupt the values beyond recovery at the final destination. Various methods for including fault tolerance at the da... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependability analysis of transmission techniques for MPEG-2 streams

    Publication Year: 2000, Page(s):120 - 127
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (829 KB)

    This paper presents some redundancy-based transmission strategies, suitable for MPEG (Moving Picture Experts Group) coded multimedia streams. We focus on version 2 of the standard, which is a major compression scheme for distributed VoD (Video on Demand) systems. In such systems, multimedia data transmitted from a server to a client, is to be delivered and rendered within pre-defined time constrai... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transient errors and rollback recovery in LZ compression

    Publication Year: 2000, Page(s):128 - 135
    Cited by:  Papers (6)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (961 KB)

    This paper analyzes the data integrity of one of the most widely used lossless data compression techniques, Lempel-Ziv (LZ) compression. In this algorithm, because the data reconstruction from compressed codewords relies on previously decoded results, a transient error during compression may propagate to the decoder and cause a significant corruption in the reconstructed data. To recover the syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fault diagnosis based on parameters of output responses

    Publication Year: 2000, Page(s):139 - 147
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (955 KB)

    We describe three parameters of output sequences of synchronous sequential circuits that can be used for fault diagnosis of such circuits. These parameters can replace the use of complete or partial output sequences for diagnosis. We investigate the diagnostic resolution that can be achieved using these parameters, the sizes of dictionaries that store the parameters, and the ability to diagnose un... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A testable design for asynchronous fine-grain pipeline circuits

    Publication Year: 2000, Page(s):148 - 155
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (590 KB)

    Asynchronous fine-grain pipeline circuits with dynamic gates are increasingly being used for high-performance datapath design in both synchronous and asynchronous processors. The dynamic gates intrinsically have storage elements for their outputs, which can implicitly function as pipeline latches. Therefore, most of fine-grain pipeline circuits are realized without explicit through-latches. For a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A reconfigurable fault-tolerant hypercube architecture with global sparing

    Publication Year: 2000, Page(s):156 - 165
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (632 KB)

    We propose a new n-dimensional fault-tolerant hypercube architecture. We use (n-1) switching networks to connect the N=2/sup n/ active processors and k spare processors to form an n-dimensional fault-tolerant hypercube. The k spare processors can be used to back-up any k processor failures in the fault-tolerant hypercube. We call such a method global sparing and it is optimal in terms of the numbe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Julep: an environment for the evaluation of distributed process recovery protocols

    Publication Year: 2000, Page(s):169 - 176
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (812 KB)

    Julep is an object-oriented testbed designed for implementation and analysis of process recovery protocols. It is written in Java, and runs as a layer underneath a Java-based distributed application. Only minor modifications to a typical distributed application are necessary to use Julep as a communication mechanism. Julep is designed to allow new process recovery mechanisms to be quickly incorpor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-based clock synchronization in networks with drifting clocks

    Publication Year: 2000, Page(s):177 - 184
    Cited by:  Papers (29)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    This paper examines a clock synchronization algorithm in which processors identify dynamic models of neighboring processor clocks. These models are then used as signature functions to develop a clock synchronization algorithm that functions in the presence of drifting clocks. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enforcing synchronous system properties on top of timed systems

    Publication Year: 2000, Page(s):185 - 192
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (973 KB)

    A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. However, a late message arrival or a missed deadline violates the properties of a completely synchronous system. Therefore, an application that depends upon these properties might violate its safety and timeliness properti... View full abstract»

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