By Topic

Dependable Computing (PRDC), 2011 IEEE 17th Pacific Rim International Symposium on

Date 12-14 Dec. 2011

Filter Results

Displaying Results 1 - 25 of 59
  • [Front cover]

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (7447 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (19 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (49 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (124 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - ix
    Request permission for commercial reuse | PDF file iconPDF (143 KB)
    Freely Available from IEEE
  • Message from the General Chair

    Publication Year: 2011, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (65 KB) | HTML iconHTML
    Freely Available from IEEE
  • Message from the Program Co-chairs

    Publication Year: 2011, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (67 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organizing Committee

    Publication Year: 2011, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (78 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2011, Page(s):xiii - xiv
    Request permission for commercial reuse | PDF file iconPDF (88 KB)
    Freely Available from IEEE
  • Steering Committee

    Publication Year: 2011, Page(s): xv
    Request permission for commercial reuse | PDF file iconPDF (78 KB)
    Freely Available from IEEE
  • Reviewers

    Publication Year: 2011, Page(s): xvi
    Request permission for commercial reuse | PDF file iconPDF (71 KB)
    Freely Available from IEEE
  • Parametric Bootstrapping for Assessing Software Reliability Measures

    Publication Year: 2011, Page(s):1 - 9
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (251 KB) | HTML iconHTML

    The bootstrapping is a statistical technique to replicate the underlying data based on the resampling, and enables us to investigate the statistical properties. It is useful to estimate standard errors and confidence intervals for complex estimators of complex parameters of the probability distribution from a small number of data. In software reliability engineering, it is common to estimate softw... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment

    Publication Year: 2011, Page(s):10 - 19
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (382 KB) | HTML iconHTML

    Since software fault detection process is well-modeled by a non-homogeneous Poisson process, it is of great interest to estimate accurately the intensity function from observed software-fault data. In the existing work the same authors introduced the wavelet-based techniques for this problem and found that the Haar wavelet transform provided a very powerful performance in estimating software inten... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Unification of Software Reliability Models Using Markovian Arrival Processes

    Publication Year: 2011, Page(s):20 - 27
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB) | HTML iconHTML

    This paper proposes an unified modeling framework of Markov-type software reliability models (SRMs) using Markovian arrival processes (MAPs). The MAP is defined as a point process whose inter-arrival time follows a phase-type distribution incorporating the correlation between successive two arrivals. This paper presents MAP representation of Markov-type SRMs, called MAP-based SRMs. This framework ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Dependability Benchmarks to Support ISO/IEC SQuaRE

    Publication Year: 2011, Page(s):28 - 37
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (482 KB) | HTML iconHTML

    The integration of Commercial-Off-The-Shelf (COTS) components in software has reduced time-to-market and production costs, but selecting the most suitable component, among those available, remains still a challenging task. This selection process, typically named benchmarking, requires evaluating the behaviour of eligible components in operation, and ranking them attending to quality characteristic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity

    Publication Year: 2011, Page(s):38 - 44
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (151 KB) | HTML iconHTML

    For most purposes, it is sufficient for a low-power test set to ensure that the power dissipation during test application will not exceed that possible during functional operation. This is guaranteed for the fast functional capture cycles of functional broadside tests. This paper describes a procedure that generates broadside test sets with bounded switching activity during fast functional capture... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults

    Publication Year: 2011, Page(s):45 - 52
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (159 KB) | HTML iconHTML

    This paper describes a diagnostic test generation procedure for transition faults that produces mixed test sets consisting of broadside and skewed-load tests. A mix of broadside and skewed-load tests yields improved diagnostic resolution compared with a single test type. The procedure starts from a mixed test set generated for fault detection. It uses two procedures to obtain new tests that are us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Dependability Solution for Homogeneous MPSoCs

    Publication Year: 2011, Page(s):53 - 62
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1066 KB) | HTML iconHTML

    Nowadays highly dependable electronic devices are demanded by many safety-critical applications. Dependability attributes such as reliability and availability/maintainability of a many-processor system-on-chip (MPSoC) should already be examined at the design phase. Design for dependability approaches such as using available fault-free processor-cores and introducing a dependability manager infrast... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Gossiping with Network Coding

    Publication Year: 2011, Page(s):63 - 70
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (189 KB) | HTML iconHTML

    Gossip is a scalable and easy-to-deploy broadcast method for distributed systems. In gossip a broadcast message is disseminated through repeated information exchanges between randomly chosen nodes. Gossip can also achieve high reliability using a large amount of redundant messages, but this also incurs high load on the network. This paper proposes a new gossip algorithm which incorporates network ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Detecting Termination in Cognitive Radio Networks

    Publication Year: 2011, Page(s):71 - 78
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (906 KB) | HTML iconHTML

    The cognitive radio network is an emerging wireless communication and computing paradigm where the network is not equipped with control infrastructure. The cognitive radios are allowed to execute the processes over the multiple heterogeneous channels without perturbing the licensed users of respective channels. The termination detection is a fundamental and non-trivial problem in the distributed c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors

    Publication Year: 2011, Page(s):79 - 88
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (376 KB) | HTML iconHTML

    In the near future embedded systems will be faced with the phenomena of increasing error rates, caused by a variety of error sources that have to be considered during the design process. In this paper we propose a method to derive the reliability of a real-time capable CAN bus system with errors. Individual errors on the CAN bus might be correlated in arbitrary way, the proposed algorithm will cov... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers

    Publication Year: 2011, Page(s):89 - 98
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (223 KB) | HTML iconHTML

    Memory errors are a major source of reliability problems in current computers. Undetected errors may result in program termination, or, even worse, silent data corruption. Recent studies have shown that the frequency of permanent memory errors is an order of magnitude higher than previously assumed and regularly affects everyday operation. Often, neither additional circuitry to support hardware-ba... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploiting Total Order Multicast in Weakly Consistent Transactional Caches

    Publication Year: 2011, Page(s):99 - 108
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (230 KB) | HTML iconHTML

    Nowadays, distributed in-memory caches are increasingly used as a way to improve the performance of applications that require frequent access to large amounts of data. In order to maximize performance and scalability, these platforms typically rely on weakly consistent partial replication mechanisms. These schemes partition the data across the nodes and ensure a predefined (and typically very smal... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • COMeT: Continuous Online Memory Test

    Publication Year: 2011, Page(s):109 - 118
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (239 KB) | HTML iconHTML

    Today's computers have gigabytes of main memory due to improved DRAM density. As density increases, smaller bit cells become more susceptible to errors. With an increase in error susceptibility, the need for memory resiliency also increases. Self-testing of memory health can proactively check for errors to improve resiliency. This paper describes a software-only self test to continuously test memo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient Task Allocation to FPGAs in the Safety Critical Domain

    Publication Year: 2011, Page(s):119 - 128
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (247 KB) | HTML iconHTML

    Field Programmable Gate Arrays (FPGAs) are highly configurable programmable logic devices. They offer many benefits over traditional micro-processors such as the ability to efficiently run tasks in parallel and also highly predictable timing performance. They are becoming increasingly popular for use in the safety critical domain where predictability is essential. However, concerns about their dep... View full abstract»

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