An Analysis Of Recurrent Software Errors In A Real-Time Control System

Goel, Amrit L.; Okumoto, Kazuhira

doi:10.1145/800127.804160

Cited by 55 publications

(32 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The cases considered here are the power law (PLP), the Musa-Okumoto (MOP) (Musa and Okumoto 1984), the Goel-Okumoto (GOP) (Goel and Okumoto 1978) and a generalized form of a Goel-Okumoto (GGOP) processes defined, respectively, by the following mean value functions,…”

Section: Description Of the Modelmentioning

confidence: 99%

Non-homogeneous Poisson models with a change-point: an application to ozone peaks in Mexico city

Achcar¹,

Rodrigues²,

Paulino

et al. 2009

Environ Ecol Stat

View full text Add to dashboard Cite

In this paper, we use some non-homogeneous Poisson models in order to study the behavior of ozone measurements in Mexico City. We assume that the number of ozone peaks follows a non-homogeneous Poisson process. We consider four types of rate function for the Poisson process: power law, Musa-Okumoto, Goel-Okumoto, and a generalized Goel-Okumoto rate function. We also assume that a change-point may or may not be present. The analysis of the problem is performed by using a Bayesian approach via Markov chain Monte Carlo methods. The best model is chosen using the DIC criterion as well as graphical approach.

show abstract

Section: Description Of the Modelmentioning

confidence: 99%

Non-homogeneous Poisson models with a change-point: an application to ozone peaks in Mexico city

Achcar¹,

Rodrigues²,

Paulino

et al. 2009

Environ Ecol Stat

View full text Add to dashboard Cite

show abstract

“…An activation/correction model for related design faults is needed. The one proposed is a generalization of the Goel and Okumoto model [4], and is described by the following hypotheses: 1) initially there are k related design faults with probability q k , k ≥ 1, 2) the total related design fault activation rate when k ≥ 1 faults are present is ψ k , 3) a related design fault, when activated, causes identical errors with probability c (error correlation), 4) an activated related desing fault causing a disagreement is diagnosed as such with probability E d (diagnosis efficiency) and with probability 1 − E d is treated as a transient physical fault 1 , i.e., the system is restarted without correction, 5) a diagnosed related design fault is properly corrected in a version with probability E c (correction efficiency), 6) a related design fault not properly corrected in any version leaves the same related design fault activation rate as the system had before.…”

Section: Model Hypothesesmentioning

confidence: 99%

Evaluation of safety-oriented two-version architectures

Carrasco

Figueras

Kuntzman

1991

Journal of Systems and Software

View full text Add to dashboard Cite

A Markov model taking into account physical and design faults for a two-version architecture oriented to safety-related applications is developed. Only a probabilistic knowledge of the initial state of the versions in relation to the presence of design faults is assumed. The model can be split into two submodels accounting separately for physical and design faults, and a closed form expression for the unsafety of the system is obtained. The parameter estimation problem is discussed and a method to predict the probability distribution of the number of related design faults at the beginning of the operational life of the system is proposed. The method uses a pool model to process fault-occurrence data collected during a "face-to-face" debugging of the two versions. It has by nature a limited capability for proving version diversity, but it is shown that the limit is of the order of the diversity reported by recent experiments on real software. Finally, the impact of version correction during operation is shown to be negligible for critical applications.

show abstract

“…To overcome this limitation, Goel and Okumoto [GOE78b,GOE78d,GOE79b] proposed an imperfect debugging model IDM] which is basically an extension of model TBF1 tJEL72].…”

Section: -9mentioning

confidence: 99%

A Guidebook for Software Reliability Assessment.

Goel¹

1983

View full text Add to dashboard Cite

An Analysis Of Recurrent Software Errors In A Real-Time Control System

Cited by 55 publications

References 4 publications

Non-homogeneous Poisson models with a change-point: an application to ozone peaks in Mexico city

Non-homogeneous Poisson models with a change-point: an application to ozone peaks in Mexico city

Evaluation of safety-oriented two-version architectures

A Guidebook for Software Reliability Assessment.

Contact Info

Product

Resources

About