IDEAS home Printed from https://ideas.repec.org/a/taf/tsysxx/v45y2014i10p2145-2157.html
   My bibliography  Save this article

A study of N-version programming and its impact on software availability

Author

Listed:
  • Min Xie
  • Chengjie Xiong
  • Szu-Hui Ng

Abstract

N-version programming is a useful approach to improve the quality of software, especially for safety-critical systems. Positive performance in enhancing software availability is an expected result. In this paper, a software availability model for the study of the impact of N-version programming technique is proposed and investigated. The characteristics of the N-version software system and its operation and failure process are analysed. Based on this analysis, the time-dependent behaviour of the software system, which alternates between online and offline states, is described using a Markov chain. This model derives quantitative measures of software availability. Numerical examples and comparisons are also presented in this paper to directly illustrate N-version programming's positive impact on software availability measures. N-version programming generally provides a positive impact on the system. However, it does not always guarantee a higher availability performance. General recommendations are provided on N-version software structure design based on cost-effective criteria.

Suggested Citation

  • Min Xie & Chengjie Xiong & Szu-Hui Ng, 2014. "A study of N-version programming and its impact on software availability," International Journal of Systems Science, Taylor & Francis Journals, vol. 45(10), pages 2145-2157, October.
    • Handle: RePEc:taf:tsysxx:v:45:y:2014:i:10:p:2145-2157
    DOI: 10.1080/00207721.2013.763299
    as

    Download full text from publisher

    File URL: http://hdl.handle.net/10.1080/00207721.2013.763299
    Download Restriction: Access to full text is restricted to subscribers.
    File URL: https://libkey.io/10.1080/00207721.2013.763299?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Pievatolo, Antonio & Ruggeri, Fabrizio & Soyer, Refik, 2012. "A Bayesian hidden Markov model for imperfect debugging," Reliability Engineering and System Safety, Elsevier, vol. 103(C), pages 11-21.
    2. T Bhaskar & U D Kumar, 2006. "A cost model for N-version programming with imperfect debugging," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 57(8), pages 986-994, August.
    3. Ouzineb, Mohamed & Nourelfath, Mustapha & Gendreau, Michel, 2008. "Tabu search for the redundancy allocation problem of homogenous series–parallel multi-state systems," Reliability Engineering and System Safety, Elsevier, vol. 93(8), pages 1257-1272.
    4. P. K. Kapur & H. Pham & A. Gupta & P. C. Jha, 2011. "Software Reliability Growth Models," Springer Series in Reliability Engineering, in: Software Reliability Assessment with OR Applications, chapter 0, pages 49-95, Springer.
    5. Pham, Hoang, 2003. "Software reliability and cost models: Perspectives, comparison, and practice," European Journal of Operational Research, Elsevier, vol. 149(3), pages 475-489, September.
    6. Yamachi, Hidemi & Tsujimura, Yasuhiro & Kambayashi, Yasushi & Yamamoto, Hisashi, 2006. "Multi-objective genetic algorithm for solving N-version program design problem," Reliability Engineering and System Safety, Elsevier, vol. 91(9), pages 1083-1094.
    7. Pham, Hoang & Zhang, Xuemei, 2003. "NHPP software reliability and cost models with testing coverage," European Journal of Operational Research, Elsevier, vol. 145(2), pages 443-454, March.
    8. Berman, Oded & Kumar, U. Dinesh, 1999. "Optimization models for recovery block schemes," European Journal of Operational Research, Elsevier, vol. 115(2), pages 368-379, June.
    9. Wattanapongskorn, Naruemon & Coit, David W., 2007. "Fault-tolerant embedded system design and optimization considering reliability estimation uncertainty," Reliability Engineering and System Safety, Elsevier, vol. 92(4), pages 395-407.
    10. Maciejewski, Henryk & Caban, Dariusz, 2008. "Estimation of repairable system availability within fixed time horizon," Reliability Engineering and System Safety, Elsevier, vol. 93(1), pages 100-106.
    11. R Peng & G Levitin & M Xie & S H Ng, 2011. "Optimal defence of single object with imperfect false targets," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 62(1), pages 134-141, January.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Son, Kwang Seop & Kim, Dong Hoon & Kim, Chang Hwoi & Kang, Hyun Gook, 2016. "Study on the systematic approach of Markov modeling for dependability analysis of complex fault-tolerant features with voting logics," Reliability Engineering and System Safety, Elsevier, vol. 150(C), pages 44-57.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Aktekin, Tevfik & Caglar, Toros, 2013. "Imperfect debugging in software reliability: A Bayesian approach," European Journal of Operational Research, Elsevier, vol. 227(1), pages 112-121.
    2. Kwang Yoon Song & In Hong Chang & Hoang Pham, 2019. "A Testing Coverage Model Based on NHPP Software Reliability Considering the Software Operating Environment and the Sensitivity Analysis," Mathematics, MDPI, vol. 7(5), pages 1-21, May.
    3. Hirose, Hideo, 2012. "Estimation of the number of failures in the Weibull model using the ordinary differential equation," European Journal of Operational Research, Elsevier, vol. 223(3), pages 722-731.
    4. T Bhaskar & U D Kumar, 2006. "A cost model for N-version programming with imperfect debugging," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 57(8), pages 986-994, August.
    5. Avinash K. Shrivastava & Vivek Kumar & P. K. Kapur & Ompal Singh, 0. "Software release and testing stop time decision with change point," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 0, pages 1-12.
    6. Peng, R. & Li, Y.F. & Zhang, W.J. & Hu, Q.P., 2014. "Testing effort dependent software reliability model for imperfect debugging process considering both detection and correction," Reliability Engineering and System Safety, Elsevier, vol. 126(C), pages 37-43.
    7. Xiaoyue Jiang & Donglei Du & Thomas G. Ray, 2007. "On optimality of one‐bug‐look‐ahead policies for a software testing model," Naval Research Logistics (NRL), John Wiley & Sons, vol. 54(3), pages 346-355, April.
    8. Zhiguo Wang & Jinde Wang & Xue Liang, 2007. "Non-parametric Estimation for NHPP Software Reliability Models," Journal of Applied Statistics, Taylor & Francis Journals, vol. 34(1), pages 107-119.
    9. Chiu, Kuei-Chen & Huang, Yeu-Shiang & Lee, Tzai-Zang, 2008. "A study of software reliability growth from the perspective of learning effects," Reliability Engineering and System Safety, Elsevier, vol. 93(10), pages 1410-1421.
    10. Qing Tian & Chun-Wu Yeh & Chih-Chiang Fang, 2022. "Bayesian Decision Making of an Imperfect Debugging Software Reliability Growth Model with Consideration of Debuggers’ Learning and Negligence Factors," Mathematics, MDPI, vol. 10(10), pages 1-21, May.
    11. Chetna Choudhary & P. K. Kapur & Sunil K. Khatri & R. Muthukumar & Avinash K. Shrivastava, 2020. "Effort based release time of software for detection and correction processes using MAUT," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 11(2), pages 367-378, July.
    12. Wang, Jinyong & Wu, Zhibo, 2016. "Study of the nonlinear imperfect software debugging model," Reliability Engineering and System Safety, Elsevier, vol. 153(C), pages 180-192.
    13. Vahid Baradaran & Amir Hossein Hosseinian, 2020. "A bi-objective model for redundancy allocation problem in designing server farms: mathematical formulation and solution approaches," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 11(5), pages 935-952, October.
    14. Cha, Ji Hwan, 2019. "Poisson Lindley process and its main properties," Statistics & Probability Letters, Elsevier, vol. 152(C), pages 74-81.
    15. Gholinezhad, Hadi & Zeinal Hamadani, Ali, 2017. "A new model for the redundancy allocation problem with component mixing and mixed redundancy strategy," Reliability Engineering and System Safety, Elsevier, vol. 164(C), pages 66-73.
    16. Pourkarim Guilani, Pedram & Sharifi, Mani & Niaki, S.T.A. & Zaretalab, Arash, 2014. "Reliability evaluation of non-reparable three-state systems using Markov model and its comparison with the UGF and the recursive methods," Reliability Engineering and System Safety, Elsevier, vol. 129(C), pages 29-35.
    17. Hiroyuki Okamura & Tadashi Dohi, 2016. "Phase-type software reliability model: parameter estimation algorithms with grouped data," Annals of Operations Research, Springer, vol. 244(1), pages 177-208, September.
    18. Adarsh Anand & Mohini Agarwal & Gunjan Bansal & A. H. S. Garmabaki, 2016. "Studying product diffusion based on market coverage," Journal of Marketing Analytics, Palgrave Macmillan, vol. 4(4), pages 135-146, December.
    19. Gaver, Donald P. & Jacobs, Patricia A., 2014. "Reliability growth by failure mode removal," Reliability Engineering and System Safety, Elsevier, vol. 130(C), pages 27-32.
    20. Levitin, Gregory & Xing, Liudong & Haim, Hanoch Ben & Dai, Yuanshun, 2019. "Optimal structure of series system with 1-out-of-n warm standby subsystems performing operation and rescue functions," Reliability Engineering and System Safety, Elsevier, vol. 188(C), pages 523-531.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:taf:tsysxx:v:45:y:2014:i:10:p:2145-2157. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Chris Longhurst (email available below). General contact details of provider: http://www.tandfonline.com/TSYS20 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.