Scheduled System Maintenance
On Tuesday, May 22, IEEE Xplore will undergo scheduled maintenance. Single article sales and account management will be unavailable
from 6:00am–5:00pm ET. There may be intermittent impact on performance from noon–6:00pm ET.
We apologize for the inconvenience.

Proceedings of IEEE International Computer Performance and Dependability Symposium

4-6 Sept. 1996

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings of IEEE International Computer Performance and Dependability Symposium

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (613 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1996
    Request permission for commercial reuse | PDF file iconPDF (74 KB)
    Freely Available from IEEE
  • The effects of LAN-like input traffic on a switch access node

    Publication Year: 1996, Page(s):96 - 105
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    This paper addresses the modeling and analysis of a switching network access node. This is an area of importance due to forthcoming high-speed ATM backbone networks and the need to transmit data for current and future network applications. The nature of these applications must be considered when designing an access node to a switching network. A traffic arrival process for the network and characte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mean value analysis for computer systems with variabilities in workload

    Publication Year: 1996, Page(s):32 - 41
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (968 KB)

    When evaluating the performance of computer systems, often uncertainties or variabilities in service demands may be observed. Applying well known mean valve analysis (MVA) for single- or multiclass queueing network models of such systems is inappropriate and ineffective, because these models fail to represent variations within a class. This paper proposes to use histograms for characterizing model... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance visualization: 2-D, 3-D, and beyond

    Publication Year: 1996, Page(s):188 - 197
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2016 KB)

    During the past ten years, performance data visualization techniques have evolved from static, two-dimensional graphics to dynamic graphics and immersive virtual environments. We sketch the domain of applicability for each visualization technique using analysis of input/output behavior and WWW traffic as example problem domains. With this background, we describe experiences with virtual environmen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SMART: simulation and Markovian analyzer for reliability and timing

    Publication Year: 1996
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    SMART is a new tool for performance, reliability, availability, and performability modeling. Numerical solution algorithms are available for both continuous- and discrete-time Markov chains. Mixed-time non-Markovian models can be studied using simulation. Multiple interacting models and fixed-point iterative techniques for the decomposition and solution of complex models can be easily specified. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SPN2MGM: tool support for matrix-geometric stochastic Petri nets

    Publication Year: 1996, Page(s):219 - 228
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (860 KB)

    In this paper we present the tool SPN2MGM that can be used to construct and solve stochastic Petri nets using matrix-geometric techniques. The tool automatically recognizes the “matrix-geometric structure” of the Markov chain underlying the stochastic Petri net, and solves the Markov chain with these well-known and efficient techniques. We informally characterize the class of stochasti... View full abstract»

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

    Publication Year: 1996
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    UltraSAN is a software package for model-based evaluation of systems represented as stochastic activity networks (SANs). SANs incorporate features of both stochastic Petri nets and queueing models, where parameters in a model such as case distributions, activity times, state transition rules, and reward variables can be marking dependent. Users may build SAN models using an X-Windows based user in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computation of the distribution of accumulated reward with Fluid Stochastic Petri-Nets

    Publication Year: 1996, Page(s):90 - 95
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    We describe the recently introduced Fluid Stochastic Petri-Nets as a means of computing the distribution of the accumulated rate reward in a GSPN. In practice, it is the expected value of a reward which is computed, a quantity which is dependent solely on the solution of the underlying Markov chain. Until now, the instantaneous reward rates have been a function of the GSPN marking only, and the Ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using time to improve the performance of coordinated checkpointing

    Publication Year: 1996, Page(s):282 - 291
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (840 KB)

    This paper describes and evaluates a coordinated checkpoint protocol that uses time to eliminate several performance overheads that are present in traditional protocols. The time-based protocol does not have to exchange coordination messages, does not need to add information to the processes' messages, and only accesses stable storage when checkpoints are saved. This protocol uses a simple initial... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture and safety requirements of the ACC railway interlocking system

    Publication Year: 1996, Page(s):21 - 29
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    The paper summarizes the design, implementation and validation of the Computer Based Interlocking (ACC) designed by Ansaldo Trasporti under the supervision of the Italian Railways. Particularly, details are provided on the methodology that has been adopted to set the safety requirements and to give preliminary safety demonstrations. During the development of the ACC design, new drafts of European ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bounding asymptotic dependability and performance measures

    Publication Year: 1996, Page(s):176 - 186
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    One of the major drawbacks of Markov models is the size of the generated state space. Often its high value (sometimes infinite) makes the numerical analysis impossible to perform. A possible approach to deal with this problem is to bound the measures of interest. In recent years, some methods have been proposed in this direction, mainly for stationary dependability measures. In this paper, we prop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SIMPLE: a universal tool box for event trace analysis

    Publication Year: 1996
    Cited by:  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (120 KB)

    The event trace analysis system SIMPLE allows the evaluation of arbitrarily formatted event traces. SIMPLE is designed as a software package which comprises independent tools that are all based on a new kind of event trace access: the trace format is described in a trace description language (TDL) and evaluation tools access the event trace through a standardized problem-oriented event trace inter... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance analysis tool for cache-based real-time systems with preemptions

    Publication Year: 1996, Page(s):210 - 218
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    Dependable real-time systems are essential to time-critical applications. The systems that run these applications require high degrees of performance and predictability. Although memory caching has long been known as a means of increasing system performance, it is typically unpredictable in nature. This paper presents a technique of using preferred preemption points to increase the predictability ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TimeNET: evaluation tool for non-Markovian stochastic Petri nets

    Publication Year: 1996
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    Stochastic Petri nets (SPNs) are well suited for the model-based performance and dependability evaluation. Most commonly, the firing times of the transitions are exponentially distributed, leading to an underlying continuous-time Markov chain. In order to increase the modeling power, several classes of non-Markovian SPNs were defined, in which the transitions may fire after a non-exponentially dis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On-line recovery for rediscovered software problems

    Publication Year: 1996, Page(s):78 - 87
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (864 KB)

    This paper discusses a method that can allow a system to avoid or recover from the exercise of certain known faults at runtime and thus make certain software upgrades unnecessary. The method uses the knowledge of the characteristic symptoms of a software fault and the appropriate recovery action for the fault to detect and recover from the future exercise of the fault. An analysis of field data sh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detecting failed processes using fault signatures

    Publication Year: 1996, Page(s):302 - 311
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    A strategy is presented for automatically identifying processes that have failed. A determination is made of the types of data that need to be collected, and circumstances under which the approach is likely to be useful. The strategy is applied to generate signatures for three different types of workloads, and several different resources. A typical failure is injected into the process, and the ass... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance and availability evaluation of NUMA architectures

    Publication Year: 1996, Page(s):271 - 280
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    A new approximation technique is proposed for obtaining analytic estimates of the performance of computing systems exhibiting non-uniform memory access (NUMA) times, where components are subject to failure and repair. The technique uses a multi-chain mean-value analysis together with a service time scaling factor derived to correct for the non-exponential (deterministic) service times found in mos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and simulation of a reliable token-ring protocol for realtime communications

    Publication Year: 1996, Page(s):130 - 138
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (808 KB)

    The key to the successful use of computer networks to support realtime communications is an adequate set of network communication protocols that ensure not only timely but also reliable message transmission. Traditional fault tolerance techniques may become invalid in a realtime environment as the latency introduced by those error recovery mechanisms may become unacceptably high. This paper presen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components

    Publication Year: 1996, Page(s):252 - 261
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    This paper addresses the dependability modeling of hardware and software fault-tolerant systems taking into account explicitly the interactions between the various components. It presents a framework for modeling these interactions based on Generalized Stochastic Petri Nets (GSPNs). The modeling approach is modular: the behavior of each component and each interaction is represented by its own GSPN... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A structured approach to redundant disk array implementation

    Publication Year: 1996, Page(s):11 - 20
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (784 KB)

    Error recovery in redundant disk arrays is typically performed in an ad hoc fashion, requiring architecture-specific code which limits extensibility and is difficult to verify. In this paper, we describe a technique for automating the execution of redundant disk array operations, including recovery from errors, independent of array architecture. Our approach employs a graphical representation of a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • First passage times in fluid models with an application to two priority fluid systems

    Publication Year: 1996, Page(s):166 - 175
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (684 KB)

    In this paper we analyze the first passage time in a fluid flow model where the input and output rates are controlled by a finite state Continuous Time Markov Chain (CTMC). We derive explicit expressions for the Laplace Transform of the joint distribution of the first time the buffer becomes empty and the state of the CTMC at that time. We discuss both infinite and finite buffer cases. We illustra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SHARPE: a modeler's toolkit

    Publication Year: 1996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a program that supports the specification and automated solution of reliability and performance models. It contains support for fault trees, reliability block diagrams, reliability graphs, Markov and semi-Markov chains, generalized stochastic Petri nets, product-form queueing networks, and acyclic task graphs. These ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Steady state solution of MRSPN with mixed preemption policies

    Publication Year: 1996, Page(s):106 - 115
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (828 KB)

    Markov Regenerative Stochastic Petri Nets (MRSPN) have been recently recognized as a valuable tool to model systems with non-exponential timed activities. The usual assumption in the implementation of such models is that at most a single non-exponential transition, with associated enabling memory policy, can be enabled in each marking. More recently, new memory policies have been studied in order ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal routing for distributed computing systems with data replication

    Publication Year: 1996, Page(s):42 - 51
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (720 KB)

    In a Distributed Computing System (DCS), data files are often replicated several copies and stored on different computers to improve reliability and availability. The particular program and the data files required for its execution may thus be placed on different nodes. Successfully executing the program, however, often requires the access of data files from remote machines. Thus, the program exec... View full abstract»

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