{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T13:05:21Z","timestamp":1784034321015,"version":"3.55.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T00:00:00Z","timestamp":1571011200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T00:00:00Z","timestamp":1571011200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672080"],"award-info":[{"award-number":["61672080"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010012","name":"National Aerospace Science Foundation of China","doi-asserted-by":"publisher","award":["2016ZD51031"],"award-info":[{"award-number":["2016ZD51031"]}],"id":[{"id":"10.13039\/501100010012","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s11219-019-09464-3","type":"journal-article","created":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T10:03:38Z","timestamp":1571047418000},"page":"221-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Anti-aging analysis for software reliability design modes in the context of single-event effect"],"prefix":"10.1007","volume":"28","author":[{"given":"Qi","family":"Shao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaodong","family":"Gou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tingting","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shunkun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,10,14]]},"reference":[{"key":"9464_CR1","doi-asserted-by":"publisher","DOI":"10.1109\/RADECS.2008.5782755","volume-title":"Assessing and mitigating radiation effects in Xilinx FPGAs","author":"P Adell","year":"2008","unstructured":"Adell, P., & Allen, G. (2008). Assessing and mitigating radiation effects in Xilinx FPGAs. Pasadena, CA: Jet Propulsion Laboratory, California Institute of Technology."},{"key":"9464_CR2","doi-asserted-by":"crossref","unstructured":"Andrzejak, A., & Silva, L. (2007). Deterministic models of software aging and optimal rejuvenation schedules. In Integrated Network Management, 2007. IM\u201907. 10th IFIP\/IEEE International Symposium on (pp. 159\u2013168). IEEE.","DOI":"10.1109\/INM.2007.374780"},{"issue":"9","key":"9464_CR3","doi-asserted-by":"publisher","first-page":"1568","DOI":"10.1016\/j.jss.2010.05.026","volume":"83","author":"A Avritzer","year":"2010","unstructured":"Avritzer, A., Cole, R. G., & Weyuker, E. J. (2010). Methods and opportunities for rejuvenation in aging distributed software systems. Journal of Systems and Software, 83(9), 1568\u20131578.","journal-title":"Journal of Systems and Software"},{"issue":"4","key":"9464_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/LES.2010.2073441","volume":"2","author":"C Bolchini","year":"2010","unstructured":"Bolchini, C., & Sandionigi, C. (2010). Fault classification for SRAM-based FPGAs in the space environment for fault mitigation. IEEE Embedded Systems Letters, 2(4), 107\u2013110.","journal-title":"IEEE Embedded Systems Letters"},{"key":"9464_CR5","first-page":"182","volume-title":"Introduction to reliability mathematics","author":"J Cao","year":"2006","unstructured":"Cao, J., & Cheng, K. (2006). Introduction to reliability mathematics (pp. 182\u2013228). Beijing: Higher Education Press."},{"key":"9464_CR6","unstructured":"Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on Logic of Programs (pp. 52\u201371). Springer."},{"issue":"1","key":"9464_CR7","first-page":"8","volume":"10","author":"D Cotroneo","year":"2014","unstructured":"Cotroneo, D., Natella, R., Pietrantuono, R., & Russo, S. (2014a). A survey of software aging and rejuvenation studies. ACM Journal on Emerging Technologies in Computing Systems (JETC), 10(1), 8.","journal-title":"ACM Journal on Emerging Technologies in Computing Systems (JETC)"},{"issue":"1","key":"9464_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2539117","volume":"10","author":"D Cotroneo","year":"2014","unstructured":"Cotroneo, D., Natella, R., Pietrantuono, R., & Russo, S. (2014b). A survey of software aging and rejuvenation studies. ACM Journal on Emerging Technologies in Computing Systems, 10(1), 1\u201334.","journal-title":"ACM Journal on Emerging Technologies in Computing Systems"},{"key":"9464_CR9","doi-asserted-by":"crossref","unstructured":"Das, A., & Das, O. (2009). Performability of layered systems\u2013models and methods. In Software technology and engineering (pp. 189\u2013193). World Scientific.","DOI":"10.1142\/9789814289986_0035"},{"key":"9464_CR10","doi-asserted-by":"crossref","unstructured":"Eto, H., & Dohi, T. (2006). Analysis of a service degradation model with preventive rejuvenation. In International Service Availability Symposium (pp. 17\u201329). Springer.","DOI":"10.1007\/11955498_2"},{"key":"9464_CR11","doi-asserted-by":"crossref","unstructured":"Gaillard, R. (2011). Single event effects: mechanisms and classification. In Soft errors in modern electronic systems (pp. 27\u201354). Springer.","DOI":"10.1007\/978-1-4419-6993-4_2"},{"issue":"1","key":"9464_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/12.656092","volume":"47","author":"S Garg","year":"1998","unstructured":"Garg, S., Puliafito, A., Telek, M., & Trivedi, K. (1998). Analysis of preventive maintenance in transactions based software systems. IEEE Transactions on Computers, 47(1), 96\u2013107.","journal-title":"IEEE Transactions on Computers"},{"issue":"6","key":"9464_CR13","doi-asserted-by":"publisher","first-page":"1845","DOI":"10.1109\/23.273471","volume":"40","author":"CA Gossett","year":"2002","unstructured":"Gossett, C. A., Hughlock, B. W., Katoozi, M., LaRue, G. S., & Wender, S. A. (2002). Single event phenomena in atmospheric neutron environments. IEEE Transactions on Nuclear Science, 40(6), 1845\u20131852.","journal-title":"IEEE Transactions on Nuclear Science"},{"issue":"2","key":"9464_CR14","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/MC.2007.55","volume":"40","author":"M Grottke","year":"2007","unstructured":"Grottke, M., & Trivedi, K. S. (2007). Fighting bugs: remove, retry, replicate, and rejuvenate. Computer, 40(2), 107\u2013109.","journal-title":"Computer"},{"key":"9464_CR15","doi-asserted-by":"crossref","unstructured":"Gunneflo, U., Karlsson, J., & Torin, J. (1989). Evaluation of error detection schemes using fault injection by heavy-ion radiation. In 1989 The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers (pp. 340\u2013347). IEEE.","DOI":"10.1109\/FTCS.1989.105590"},{"key":"9464_CR16","doi-asserted-by":"crossref","unstructured":"Heijmen, T. (2011). Soft errors from space to ground: Historical overview, empirical evidence, and future trends. In Soft errors in modern electronic systems (pp. 1\u201325). Springer.","DOI":"10.1007\/978-1-4419-6993-4_1"},{"key":"9464_CR17","doi-asserted-by":"crossref","unstructured":"Huang, Y., Kintala, C., Kolettis, N., & Fulton, N. D. (1995). Software rejuvenation: analysis, module and applications. In ftcs (p. 0381). IEEE.","DOI":"10.1109\/FTCS.1995.466961"},{"issue":"4","key":"9464_CR18","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.jss.2006.06.029","volume":"80","author":"L Jiang","year":"2007","unstructured":"Jiang, L., & Xu, G. (2007). Modeling and analysis of software aging and software failure. Journal of Systems and Software, 80(4), 590\u2013595.","journal-title":"Journal of Systems and Software"},{"issue":"6","key":"9464_CR19","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1109\/TDSC.2010.20","volume":"8","author":"K Kourai","year":"2011","unstructured":"Kourai, K., & Chiba, S. (2011). Fast software rejuvenation of virtual machine monitors. IEEE Transactions on Dependable and Secure Computing, 8(6), 839\u2013851.","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"9464_CR20","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., & Parker, D. (2007). Stochastic model checking. In International School on Formal Methods for the Design of Computer, Communication and Software Systems (pp. 220\u2013270). Springer.","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"9464_CR21","unstructured":"Kwiatkowska, M., Norman, G., & Parker, D. (2011). PRISM 4.0: Verification of probabilistic real-time systems. In International conference on computer aided verification (pp. 585\u2013591). Springer."},{"key":"9464_CR22","unstructured":"Lesea, A., & Fabula, J. (2008). Continuing experiments of atmospheric neutron effects on deep submicron integrated circuits. WP286 (v1. 0), Xilinx Inc, 2."},{"key":"9464_CR23","doi-asserted-by":"crossref","unstructured":"Machida, F., Xiang, J., Tadano, K., & Maeno, Y. (2012). Software life-extension: a new countermeasure to software aging. In Software reliability engineering (ISSRE), 2012 IEEE 23rd International Symposium on (pp. 131\u2013140). IEEE.","DOI":"10.1109\/ISSRE.2012.19"},{"issue":"1","key":"9464_CR24","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/TR.2016.2615880","volume":"66","author":"F Machida","year":"2017","unstructured":"Machida, F., Xiang, J., Tadano, K., & Maeno, Y. (2017). Lifetime extension of software execution subject to aging. IEEE Transactions on Reliability, 66(1), 123\u2013134.","journal-title":"IEEE Transactions on Reliability"},{"key":"9464_CR25","doi-asserted-by":"crossref","unstructured":"Matias, R., Andrzejak, A., Machida, F., Elias, D., & Trivedi, K. (2014). A systematic differential analysis for fast and robust detection of software aging. In Reliable distributed systems (SRDS), 2014 IEEE 33rd International Symposium on (pp. 311\u2013320). IEEE.","DOI":"10.1109\/SRDS.2014.38"},{"key":"9464_CR26","unstructured":"McMurtrey, D., Morgan, K. S., Pratt, B., & Wirthlin, M. J. (2008). Estimating TMR reliability on FPGAs using Markov models."},{"key":"9464_CR27","first-page":"1","volume":"2014","author":"TA Nguyen","year":"2014","unstructured":"Nguyen, T. A., Kim, D. S., & Park, J. S. (2014). A comprehensive availability modeling and analysis of a virtualized servers system using stochastic reward nets. The Scientific World Journal, 2014, 1\u201318.","journal-title":"The Scientific World Journal"},{"issue":"4","key":"9464_CR28","doi-asserted-by":"publisher","first-page":"1630","DOI":"10.1109\/TR.2016.2570539","volume":"65","author":"G Ning","year":"2016","unstructured":"Ning, G., Zhao, J., Lou, Y., Alonso, J., Matias, R., Trivedi, K. S., Yin, B. B., & Cai, K. Y. (2016). Optimization of two-granularity software rejuvenation policy based on the Markov regenerative process. IEEE Transactions on Reliability, 65(4), 1630\u20131646.","journal-title":"IEEE Transactions on Reliability"},{"key":"9464_CR29","doi-asserted-by":"crossref","unstructured":"Okamura, H., & Dohi, T. (2011). A pomdp formulation of multistep failure model with software rejuvenation. In Software aging and rejuvenation (WoSAR), 2011 IEEE Third International Workshop on (pp. 14\u201319). IEEE.","DOI":"10.1109\/WoSAR.2011.11"},{"issue":"3","key":"9464_CR30","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.peva.2012.07.004","volume":"70","author":"H Okamura","year":"2013","unstructured":"Okamura, H., & Dohi, T. (2013). Dynamic software rejuvenation policies in a transaction-based system under Markovian arrival processes. Performance Evaluation, 70(3), 197\u2013211.","journal-title":"Performance Evaluation"},{"key":"9464_CR31","doi-asserted-by":"crossref","unstructured":"Okamura, H., Luo, C., & Dohi, T. (2013). Estimating response time distribution of server application in software aging phenomenon. In Software reliability engineering workshops (ISSREW), 2013 IEEE international symposium on (pp. 281\u2013284). IEEE.","DOI":"10.1109\/ISSREW.2013.6688907"},{"issue":"3","key":"9464_CR32","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1080\/16843703.2014.11673349","volume":"11","author":"H Okamura","year":"2014","unstructured":"Okamura, H., Yamamoto, K., & Dohi, T. (2014). Transient analysis of software rejuvenation policies in virtualized system: phase-type expansion approach. Quality Technology & Quantitative Management, 11(3), 335\u2013351.","journal-title":"Quality Technology & Quantitative Management"},{"key":"9464_CR33","doi-asserted-by":"crossref","unstructured":"Parnas, D. L. (1994). Software aging. In Proceedings of the 16th international conference on Software engineering (pp. 279\u2013287). IEEE Computer Society Press.","DOI":"10.1109\/ICSE.1994.296790"},{"key":"9464_CR34","first-page":"153","volume-title":"ERSA","author":"BH Pratt","year":"2008","unstructured":"Pratt, B. H., Caffrey, M. P., Gibelyou, D., Graham, P. S., Morgan, K., & Wirthlin, M. J. (2008). TMR with more frequent voting for improved FPGA reliability. In ERSA (pp. 153\u2013158)."},{"key":"9464_CR35","unstructured":"Qiao, Y., Zheng, Z., Fang, Y., Qin, F., Trivedi, K. S., & Cai, K.-Y. (2018). Two-level rejuvenation for android smartphones and its optimization. IEEE Transactions on Reliability."},{"key":"9464_CR36","unstructured":"Qin, F., Zheng, Z., Qiao, Y., & Trivedi, K. S. (2018). Studying aging-related bug prediction using cross-project models. IEEE Transactions on Reliability., 1\u201320."},{"key":"9464_CR37","doi-asserted-by":"crossref","unstructured":"Queille, J.-P., & Sifakis, J. (1982). Specification and verification of concurrent systems in CESAR. In International Symposium on programming (pp. 337\u2013351). Springer.","DOI":"10.1007\/3-540-11494-7_22"},{"issue":"09n10","key":"9464_CR38","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1142\/S021819401540029X","volume":"25","author":"J Rahme","year":"2015","unstructured":"Rahme, J., & Xu, H. (2015). A software reliability model for cloud-based software rejuvenation using dynamic fault trees. International Journal of Software Engineering and Knowledge Engineering, 25(09n10), 1491\u20131513.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"9464_CR39","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.jss.2015.02.017","volume":"104","author":"H Santos","year":"2015","unstructured":"Santos, H., Pimentel, J. F., Da Silva, V. T., & Murta, L. (2015). Software rejuvenation via a multi-agent approach. Journal of Systems and Software, 104, 41\u201359.","journal-title":"Journal of Systems and Software"},{"key":"9464_CR40","doi-asserted-by":"crossref","unstructured":"Valentim, N. A., Macedo, A., & Jr, R. M. A systematic mapping review of the first 20 years of software aging and rejuvenation research. In IEEE International Symposium on Software Reliability Engineering Workshops, 2016.","DOI":"10.1109\/ISSREW.2016.42"},{"key":"9464_CR41","first-page":"43","volume":"34","author":"J Von Neumann","year":"1956","unstructured":"Von Neumann, J. (1956). Probabilistic logics and the synthesis of reliable organisms from unreliable components. Automata studies, 34, 43\u201398.","journal-title":"Automata studies"},{"key":"9464_CR42","doi-asserted-by":"crossref","unstructured":"Wang, Z.-M., Ding, L.-L., Yao, Z.-B., Guo, H.-X., Zhou, H., & Lv, M. (2009). The reliability and availability analysis of SEU mitigation techniques in SRAM-based FPGAs. In Radiation and its effects on components and systems (RADECS), 2009 European Conference on (pp. 497\u2013503). IEEE.","DOI":"10.1109\/RADECS.2009.5994702"},{"issue":"1","key":"9464_CR43","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.ress.2004.02.011","volume":"87","author":"W Xie","year":"2005","unstructured":"Xie, W., Hong, Y., & Trivedi, K. (2005). Analysis of a two-level software rejuvenation policy. Reliability Engineering & System Safety, 87(1), 13\u201322.","journal-title":"Reliability Engineering & System Safety"},{"key":"9464_CR44","doi-asserted-by":"crossref","unstructured":"Xin, W. (2010). Partitioning triple modular redundancy for single event upset mitigation in FPGA. In E-Product E-Service and E-Entertainment (ICEEE), 2010 International Conference on (pp. 1\u20134). IEEE.","DOI":"10.1109\/ICEEE.2010.5660842"},{"issue":"6","key":"9464_CR45","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s00607-014-0385-x","volume":"96","author":"M Yang","year":"2014","unstructured":"Yang, M., Min, G., Yang, W., & Li, Z. (2014). Software rejuvenation in cluster computing systems with dependency between nodes. Computing, 96(6), 503\u2013526.","journal-title":"Computing"},{"issue":"2","key":"9464_CR46","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1109\/TDSC.2013.38","volume":"11","author":"J Zhao","year":"2014","unstructured":"Zhao, J., Trivedi, K. S., Grottke, M., Alonso, J., & Wang, Y. (2014). Ensuring the performance of Apache HTTP server affected by aging. IEEE Transactions on Dependable and Secure Computing, 11(2), 130\u2013141.","journal-title":"IEEE Transactions on Dependable and Secure Computing"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09464-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-019-09464-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-019-09464-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,12]],"date-time":"2020-10-12T23:32:09Z","timestamp":1602545529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-019-09464-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,14]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["9464"],"URL":"https:\/\/doi.org\/10.1007\/s11219-019-09464-3","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,14]]},"assertion":[{"value":"14 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}