Book section · January 1, 2025
We are dependent on computer, communication, cyber physical systems (CPS), IoT, transportation, financial and many other technical systems in our daily lives. Reliability and availability are key attributes of these systems, thus making the assessment of t ...
Full textCite
Book section · January 1, 2024
Our daily lives are dependent on various technological systems that may be mission-critical, safety-critical, or business-critical. Reliability and availability are crucial attributes and, thus, key requirements that should be considered during the entire ...
Full textCite
Book section · January 1, 2023
This chapter introduces the moment-based epistemic uncertainty propagation in Markov models. The epistemic uncertainty in Markov models introduces the uncertainty of model parameters, and it can be propagated by regarding parameters as random variables. Th ...
Full textCite
Book section · November 16, 2020
Reliability and availability are key attributes of technical systems. Methods of quantifying these attributes are thus essential during all phases of system lifecycle. Data (measurement)-driven methods are suitable for components or subsystems but, for the ...
Full textCite
Book section · January 1, 2020
In this chapter we present a summary of some future directions for software aging and rejuvenation research. ...
Full textCite
Book section · January 1, 2020
Software aging and rejuvenation originated at AT&T Bell Labs. A significant amount of research on the topic also took place at Duke University and Università degli Studi di Napoli Federico II. We present here a historical perspective on this topic as viewe ...
Full textCite
Book section · January 1, 2019
Modern systems implement multiple and complex operations to manage the user demand, thereby ensuring adequate quality levels. They are usually made of a collection of interconnected (autonomous) subsystems, with a common goal to be pursued, that are percei ...
Full textCite
Book section · April 22, 2015
Modeling is a fundamental aspect of the design process of a complex system, as it allows the designer to compare different architectural choices as well as predict the behavior of the system under varying input traffic, service, fault and prevention parame ...
Full textCite
Book section · January 1, 2015
In this paper, on-line algorithms for division and multiplication are developed. It is assumed that the operands as well as the result flow through the arithmetic unit in a digit-by-digit, most significant digit first fashion. The use of a redundant digit ...
Full textCite
Book section · January 1, 2014
IaaS clouds are major enablers of data-intensive cloud applications because they provide necessary computing capacity for managing Big Data environments. In a typical IaaS cloud, virtual machine (VM) instances deployed on physical machines (PM) are provide ...
Full textCite
Book section · December 1, 2012
This chapter presents multi-state availability modeling in practice. We use three analytic modeling techniques; (1) continuous time Markov chains, (2) stochastic reward nets, and (3) multi-state fault trees. Two case studies are presented to show the usage ...
Full textCite
Book section · January 1, 2012
Software aging and rejuvenation research has shown that the application of approaches for software aging modeling, monitoring, and rejuvenation has the potential to significantly increase software resilience. In this chapter, we present an overview of impo ...
Full textCite
Book section · July 31, 2011
This chapter presents modeling method and evaluation techniques for computing dependability metrics of systems. The chapter begins providing a summary of seminal works. After presenting the background, the most prominent model types are presented, and the ...
Full textCite
Book section · June 30, 2011
Accelerated life test (ALT) methods are successfully applied in many industries to reduce the test period of highly dependable products. Software industry is not different, having the same demand to reduce the period of test for software products with very ...
Full textCite
Book section · January 1, 2011
This chapter addresses the issue of determining the response time distribution in networks of queues. Four different techniques are described and demonstrated. A two step numerical approach to compute the response time distribution for closed Markovian net ...
Full textCite
Book section · January 1, 2010
Modern complex systems are expected to be reliable and to provide certain levels of performance during operation. Hence definition and evaluation of reliability and performability indices become necessary. State-space models, such as continuous time Markov ...
Full textCite
Book section · January 1, 2010
Since their first specification, Markov models have been widely used for modeling many kinds of systems, in different environments, in application fields, and with different purposes. The success of the formalism of Markov chains is due to the simplicity a ...
Full textCite
Book section · January 1, 2008
We present an overview of evaluating the reliability of the complex systems with Markov modeling. In this article, the definition of reliability and the description of basic reliability models are given. Markov models are discussed in detail and illustrati ...
Full textCite
Book section · January 1, 2008
Several recent studies have established that most system outages are due to software faults. Given the ever-increasing complexity of software and the well-developed techniques and analysis for hardware reliability, this trend is not likely to change in the ...
Full textCite
