Stochastic Reliability and Maintenance Modeling
Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Article
It is well-known that minimally repaired systems are characterized by non-homogeneous Poisson processes. When the underlying lifetime distribution function or its associated intensity function is completely kn...
Article
Boundary value analysis (BVA) is a common technique in software testing that uses input values that lie at the boundaries where significant changes in behavior are expected. This approach is widely recognized ...
Article
In this paper, we focus on a pure birth process to describe software fault counts, called the geometric de-eutrophication software reliability model (SRM), and provide some useful results to handle the softwar...
Chapter
Component importance analysis measures the effect on system reliability of components’ reliabilities, enables the analyst to rank each component’s contribution to the system failure, and identifies the system’...
Chapter
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 ...
Article
In this paper we revisit a checkpoint/restart model by Slim et al (A new flexible 542 checkpoint/restart model, INRIA Technical Report, 6751, Centre 543 de recherche INRIA Grenoble, 2008) and derive the work...
Article
The phenomenon of software aging refers to the continuing degradation of software system performance with the operation time and is usually caused by the aging-related bugs such as the memory leak and the accu...
Article
Software testing-resource allocation plays a significant role in software project management. During the last two decades, a number of software-resource allocation problems have been formulated from various po...
Chapter
Taking account of border effects in communication network areas is one of the most important problems to quantify accurately the performance/dependability of wireless ad hoc networks (WAHNs), because the assum...
Article
This paper introduces a phase-type software reliability model (PH-SRM) and develops parameter estimation algorithms with grouped data. The PH-SRM is one of the most flexible models, which contains the existing...
Article
In this paper, we develop an adaptive approach to estimate the optimal preventive rejuvenation schedule, which maximizes the steady-state system availability. We formulate the upper and lower bounds of the pre...
Chapter and Conference Paper
Software reliability is one of the most important attributes in software quality metrics. To predict the number of software faults detected in testing phase, many approaches have been applied during the last f...
Chapter
This chapter provides a comprehensive survey of PH (phase-type) distribution and MAP (Markovian arrival process) fitting. The PH distribution and MAP are widely used in analytical model-based performance evalu...
Article
This paper presents the quantitative network survivability analysis for a power-aware mobile ad hoc network (MANET) based on Markov regenerative processes (MRGPs). The MRGP is one of the widest classes of stoc...
Chapter and Conference Paper
In this paper, we present a tool for estimating parameters of phase-type distribution (PH) and Markovian arrival process (MAP) on the statistical analysis package R. PH and MAP are useful for the analysis of n...
Article
Article
Article
This paper proposes a variant of EM (expectation-maximization) algorithm for Markovian arrival process (MAP) and phase-type distribution (PH) parameter estimation. Especially, we derive the deterministic annea...
Book
Essays in Honor of Professor Shunji Osaki on his 70th Birthday
Chapter
This chapter presents computation procedures for maximum likelihood estimates (MLEs) of software reliability models (SRMs) based on nonhomogeneous Poisson processes (NHPPs). The idea behind our methods is to r...