International Journal of Performability Engineering
نویسندگان
چکیده
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resiliencescaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability models at the construction level. Actually, addressing the model largeness problem is important with respect to the investigation of the scalability of current techniques to meet the complexity challenges of ubiquitous systems. Finally we present two case studies in which some of the presented techniques are applied for modeling web services and General Packet Radio Service (GPRS) mobile telephone networks, as prominent examples of large and evolving systems.
منابع مشابه
A Multiprocessor System with Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performability Study
This paper introduces an analytical method for approximating the performability of a firm realtime system modeled by a multi-server queue. The service discipline in the queue is earliestdeadline- first (EDF), which is an optimal scheduling algorithm. Real-time jobs with exponentially distributed relative deadlines arrive according to a Poisson process. All jobs have deadlines until the end of s...
متن کاملSpecification and Analysis of Real-Time Systems Using CSP and Petri Nets
Abstract Formal methods such as CSP (Communicating Sequential Processes) are widely used for reasoning about concurrency, communication, safety and liveness issues. Some of these models have been extended to permit reasoning about real-time constraints. Yet, the research in formal specification and verification of complex systems has often ignored the specification of stochastic properties of t...
متن کاملPerformability Analysis for Software-Intensive System Considering Variety of Tasks and Operation-Oriented Restoration
Jyh-Bin Ke is an Associate Professor of Applied Mathematics at National Chung-Hsing University, Taiwan. He received his MS and Ph.D. in Civil Engineering from the University of California, Berkeley, USA. His areas of research include queuing theory, reliability and stochastic modeling. His publications appeared in Computers and Operational Research, Applied Mathematical Modeling, Mathematical M...
متن کاملPerformability analysis of guarded-operation duration: a translation approach for reward model solutions
Performability measures are often defined for analyzing the worth of fault-tolerant systems whose performance is gracefully degradable. Accordingly, performability evaluation is inherently well-suited for application of reward model solution techniques. On the other hand, the complexity of performability evaluation for solving engineering problems may prevent us from utilizing those techniques ...
متن کاملPerformability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performability study that analyzes the guarded operation duration for onboard software upgrading. In particular, we define a “performability index” Y that quantifies the extent to which the guarded operation with a duration φ re...
متن کاملPmccs-6 Part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-communication Systems Pmccs-6 Part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-communication Systems
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...
متن کامل