Abstract
In this paper, we study a non-homogeneous Poisson Process that generalizes the well-known Jelinski-Moranda (J-M) model, originally proposed as a predictive model for software failures. The process under investigation consists of a fixed number of identical independent Poisson arrival processes, each operating from a common starting point until its first arrival occurs. While numerous studies in the field of software reliability are built upon the J-M model, there is a dearth of existing literature that examines the properties of this generalized version beyond software reliability. Considering this process is very common in real-world scenarios situated within stochastic environments, our study focuses solely on its theoretical exploration of general mathematical properties. First we formally define it in two ways, and clarify its relationships with established models such as continuous-time Markov Chain, Markov process and Markov Arrival Process by constructing it as a special case. Then, within the framework of Poisson process, we delve into an analysis of specific properties related to conditional expectations, with our primary contribution being in the computation of expected conditional arrival times.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Jelinski, Z., Moranda, P.: Software reliability research. In: Statistical Computer Performance Evaluation, pp. 465–484. Elsevier, Amsterdam (1972)
Littlewood, B., Verrall, J.L.: A Bayesian reliability growth model for computer software. J. R. Stat. Soc. Ser. C (Appl. Stat.) 22(3), 332–346 (1973)
Jewell, W.S.: Bayesian estimation of undetected errors. Bayesian Statistics (1983)
Jewell, W.S.: Bayesian extensions to a basic model of software reliability. IEEE Trans. Softw. Eng. 12, 1465–1471 (1985)
Ho, T.F., Chan, W.C., Chung, C.G.: A quantum modification to the Jelinski-Moranda software reliability model. In: Proceedings of the 33rd Midwest Symposium on Circuits and Systems, pp. 339–342 (1990)
Wang, Y., Yip, P.S., Hayakawa, Y.: A frailty model for detecting number of faults in a system. Stat. Sin. 12, 1001–1013 (2002)
Mahapatra, G.S., Roy, P.: Modified Jelinski-Moranda software reliability model with imperfect debugging phenomenon. Int. J. Comput. Appl. 48(18), 38–46 (2012)
Al Turk, L.I., Alsolami, E.G.: Jelinski-Moranda software reliability growth model: a brief literature and modification. Int. J. Softw. Eng. Appl. (2016). https://doi.org/10.5121/ijsea.2016.7204
Majeske, K.D.: A non-homogeneous Poisson process predictive model for automobile warranty claims. Reliab. Eng. Syst. Saf. 92(2), 243–251 (2007)
Fierro, R., Leiva, V., Ruggeri, F., Sanhueza, A.: On a Birnbaum-Saunders distribution arising from a non-homogeneous Poisson process. Stat. Probab. Lett. 83(4), 1233–1239 (2013)
Leonenko, N., Scalas, E., Trinh, M.: The fractional non-homogeneous Poisson process. Stat. Probab. Lett. 120, 147–156 (2017)
Green, L.: Queueing analysis in healthcare. In: Patient Flow: Reducing Delay in Healthcare Delivery, pp. 281–307. Springer, Berlin (2006)
Alanis, R., Ingolfsson, A., Kolfal, B.: A Markov chain model for an ems system with repositioning. Prod. Oper. Manag. 22(1), 216–231 (2013)
Cire, A.A., Diamant, A.: Dynamic scheduling of home care patients to medical providers. Prod. Oper. Manag. 31(11), 4038–4056 (2022)
Lamar, D.G., Zúñiga, J.S., Alonso, A.R., González, M.R., Álvarez, M.M.H.: A very simple control strategy for power factor correctors driving high-brightness LEDs. IEEE Trans. Power Electron. 24(8), 2032–2042 (2009)
Yu, Z., Baxley, R.J., Zhou, G.T.: Brightness control in dynamic range constrained visible light OFDM systems. In: 2014 23rd Wireless and Optical Communication Conference, pp. 1–5. IEEE (2014)
Neuts, M.F.: A versatile Markovian point process. J. Appl. Probab. 16(4), 764–779 (1979)
Lucantoni, D.M.: New results on the single server queue with a batch Markovian arrival process. Commun. Stat. Stoch. Models 7(1), 1–46 (1991)
Breuer, L.: From Markov Jump Processes to Spatial Queues. Springer Science & Business Media, Berlin (2003)
Breuer, L., Baum, D.: An Introduction to Queueing Theory: And Matrix-Analytic Methods. Springer Science & Business Media, Berlin (2005)
Bladt, M., Nielsen, B.F.: Matrix-Exponential Distributions in Applied Probability, vol. 81. Springer, Berlin (2017)
Gallager, R.G.: Discrete Stochastic Processes. OpenCourseWare: Massachusetts Institute of Technology, Cambridge (2011)
Acknowledgements
We would also like to express our heartfelt gratitude to the editor and the anonymous reviewers whose insightful comments and constructive suggestions have greatly enhanced the quality of this paper.
Author information
Authors and Affiliations
Contributions
Y. Wu: Conceptualization, Methodology, Investigation, Formal analysis, Validation, Writing-original draft, Resources. B. Zeng: Conceptualization, Methodology, Writing-review & editing, Supervision.
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that they have no conflicts of interest.
Additional information
This work is supported by Fundamental Research Funds for the Central Universities of China (No. A0920502052001-214).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Wu, Y., Zeng, B. Properties related with conditional expectation for a non-homogeneous Poisson Process. J. Oper. Res. Soc. China (2024). https://doi.org/10.1007/s40305-023-00527-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40305-023-00527-8