In this article, the probability of undetectable burst errors for network systems applying the tandem Cyclic Redundancy Check (CRC) coding scheme is analyzed under a performability framework.

De Souza e Silva, E. and H.R. Gail, Performability analysis of computer systems: from model specification to solution, Performance Evaluation 14 (1992) 157-196. Computer systems reliability/availability modeling deals with the representation of changes in the structure of the system being modeled, which are generally due to faults, and how such changes affect the availability of the system. On ...

Model-based evaluation is extensively used to estimate the performance and reliability of dependable systems. Traditionally, these systems were small self-contained, main challenge for model-based has been efficiency solution process. Recently, problem specifying maintaining complex models increasingly gained attention, as modern are characterized by many components interactions. Components sha...

PMCCS-6 The Sixth International Workshop on Performability Modeling of Computer and Communication Systems September 5-7, 2003 Monticello, Illinois, USA part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems Extended Abstracts PMCCS-6 The Sixth International Workshop on Performability Modeling of Computer and Communicat...

Grid computing offers many scientific and commercial benefits, but also many technical and organisational challenges. This has led to many research areas in traditional distributed systems directing their efforts on to grid systems. Amongst the challenges for grid computing is the need to provide reliable quality of service to end users. Grid computing promises much for high performance computi...

Local area networks are representative of a growing class of distributed systems which demand more sophisticated methods and tools to evaluate system behavior in the presence of faults. In particular, since they are likely to exhibit degradable performance, the concept of performability can provide more re ned assessments of their ability to perform under fault and error conditions. This paper ...

Conclusions Performability models of multiprocessor systems and their evaluation are presented. Two cases in which hierarchical modeling is applied are examined. 1. Models are developed to analyze the behavior of processor arrays of various sizes in the presence of permanent, transient, intermittent, and near-coincident faults. Models can be generated for typical reconfiguration schemes that co...

Computer and communication systems are designed to meet a certain speciied behavior. The procurement of metrics to establish how well the system behaves, that is, how closely it follows the speciied behavior , is the objective of quantitative analysis. Traditionally, performance and dependability evaluation are used as separate approaches to provide quantitative gures of system behavior. Perfor...

Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a formally-specified system. In recent years, we have extended CTL such that it allows for the specification of properties over finite-state continuous-time Markov chains (CTMCs). Computational techniques for model chec...