With the increasing complexity of multiprocessor and distributed processing systems, the need to develop efficient and accurate modeling methods is evident. Fault tolerance and degradable performance of such systems has given rise to considerable interest in models for the combined evaluation of performance and reliability [l], [2]. Markov or semi-Markov reward models can be used to evaluate th...

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. This paper seeks to identify some of the challenges and o...

Conclusions Within integrated services digital networks (ISDN), all inter-etzehange signaling messages for ISDN and intelligent network (IN) call controls are carried through a common channel signaling network (CCSN) as a backbone signaling network. Since CCSN usually have very strict reliability requirements as well as good performance objectives, performance and reliability of CCSN need to be...

Reward models have become an important method for specifying performability models for many types of systems. Many methods have been proposed for solving reward models, but no method has proven itself to be applicable over all system classes and sizes. Furthermore, speciication of reward models has usually been done at the state level, which can be extremely cumbersome for realistic models. We ...

In this paper, we propose a framework to analyze Markov reward models, which are commonly used in system performability analysis. The framework builds on a set of analytical tools developed for a class of stochastic processes referred to as Stochastic Hybrid Systems (SHS). The state space of an SHS is comprised of: i) a discrete state that describes the possible configurations/modes that a syst...

SRAM-based FPGAs are increasingly popular in the aerospace industry due to their field programmability and low cost. However, they suffer from cosmic radiation induced Single Event Upsets (SEUs). In safety-critical applications, the dependability of the design is a prime concern since failures may have catastrophic consequences. An early analysis of the relationship between dependability metric...

An integral part of the performance modeling process is the specification of the performability measures of interest. The notations proposed for this purpose can be grouped into classes that differ from each other in their expressiveness and usability. Two representative notations are the continuous stochastic reward logic CSRL and the measure specification language MSL. The former is a stochas...

Grid computing is a newly developed technology for complex systems with large-scale resource sharing, wide-area communication, and multi-institutional collaboration. Although the developmental tools and infrastructures for the grid have been widely studied, grid reliability analysis and modeling are not easy because of its largeness, complexity and stiffness. This chapter introduces the grid co...