{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:10Z","timestamp":1725552730686},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308072"},{"type":"electronic","value":"9783540322955"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596356_22","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:49:24Z","timestamp":1132624164000},"page":"194-202","source":"Crossref","is-referenced-by-count":1,"title":["Checkpointing for the Reliability of Real-Time Systems with On-Line Fault Detection"],"prefix":"10.1007","author":[{"given":"Sang-Moon","family":"Ryu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong-Jo","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MDT.2002.1003798","volume":"19","author":"E. Dupont","year":"2002","unstructured":"Dupont, E., Nicolaidis, M., Rohr, P.: Embedded Robustness IPs for Transient-Error-Free ICs. IEEE Design & Test of Computers\u00a019, 56\u201370 (2002)","journal-title":"IEEE Design & Test of Computers"},{"issue":"11","key":"22_CR2","doi-asserted-by":"publisher","first-page":"1328","DOI":"10.1109\/TC.1987.5009472","volume":"36","author":"K.G. Shin","year":"1987","unstructured":"Shin, K.G., Lin, T.-H., Lee, Y.-H.: Optimal Checkpointing of Real-Time Tasks. IEEE Trans. Computers\u00a0C-36(11), 1328\u20131341 (1987)","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1026589200419","volume":"20","author":"S. Punnekkat","year":"2001","unstructured":"Punnekkat, S., Burns, A., Davis, R.: Analysis of Checkpointing for Real-Time Systems. Real-Time Systems\u00a020(1), 83\u2013102 (2001)","journal-title":"Real-Time Systems"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Chakrabarty, K.: Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems. In: Proc. Design, Automation and Test in Europe Conference and Exhibition, Messe Munich, Germany, pp. 918\u2013923 (2003)","DOI":"10.1109\/DATE.2003.1253723"},{"issue":"3","key":"22_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/24.974127","volume":"50","author":"S.W. Kwak","year":"2001","unstructured":"Kwak, S.W., Kim, B.K., Choi, B.J.: An Optimal Checkpointing-Strategy for Real-Time Control Systems under Transient Faults. IEEE Trans. Reliability\u00a050(3), 293\u2013301 (2001)","journal-title":"IEEE Trans. Reliability"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Ranganathan, A., Upadhyaya, S.J.: Simulation Analysis of a Dynamic Checkpointing Strategy for Real-Time Systems. In: Proc. 27th Annual Simulation Symp., April 1994, pp. 181\u2013187 (1994)","DOI":"10.1109\/SIMSYM.1994.283098"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Siewiorek, D.P.: Reliable Computer Systems: Design and Evaluation. A. K. Peters (1998)","DOI":"10.1201\/9781439863961"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0020-0190(83)90093-5","volume":"16","author":"A. Duda","year":"1983","unstructured":"Duda, A.: The Effects of Checkpointing on Program Execution Time. Information Processing Letters\u00a016, 221\u2013229 (1983)","journal-title":"Information Processing Letters"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1109\/12.2197","volume":"37","author":"P. L\u2019ecuyer","year":"1988","unstructured":"L\u2019ecuyer, P., Malenfant, J.: Computing Optimal Checkpointing Strategies for Rollback and Recovery Systems. IEEE Trans. Computers\u00a037(4), 491\u2013496 (1988)","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/32.120317","volume":"18","author":"V. Grassi","year":"1992","unstructured":"Grassi, V., Donatiello, L., Tucci, S.: On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems. IEEE Trans. Software Engineering\u00a018(1), 72\u201377 (1992)","journal-title":"IEEE Trans. Software Engineering"},{"issue":"9","key":"22_CR11","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1109\/12.620479","volume":"46","author":"A. Ziv","year":"1997","unstructured":"Ziv, A., Bruck, J.: An On-Line Algorithm for Checkpoint Placement. IEEE Trans. Computers\u00a046(9), 976\u2013985 (1997)","journal-title":"IEEE Trans. Computers"},{"issue":"4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1109\/24.9847","volume":"37","author":"R. Geist","year":"1988","unstructured":"Geist, R., Reynolds, R., Westall, J.: Selection of a Checkpoint Interval in a Critical-Task Environment. IEEE Trans. Reliability\u00a037(4), 395\u2013400 (1988)","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1109\/24.3763","volume":"37","author":"A.M. Saleh","year":"1988","unstructured":"Saleh, A.M., Patel, J.H.: Transient-Fault Analysis for Retry Techniques. IEEE Trans. Reliability\u00a037(3), 323\u2013330 (1988)","journal-title":"IEEE Trans. Reliability"},{"key":"22_CR14","volume-title":"Design and Analysis of Fault-Tolerant Digital Systems","author":"B.W. Johnson","year":"1989","unstructured":"Johnson, B.W.: Design and Analysis of Fault-Tolerant Digital Systems. Addison-Wesley, Reading (1989)"},{"issue":"1","key":"22_CR15","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/40.259897","volume":"14","author":"J. Sosnowski","year":"1994","unstructured":"Sosnowski, J.: Transient Fault Tolerance in Digital Systems. IEEE Micro\u00a014(1), 24\u201335 (1994)","journal-title":"IEEE Micro"},{"issue":"5","key":"22_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/40.958697","volume":"21","author":"M. Pflanz","year":"2001","unstructured":"Pflanz, M., Vierhaus, H.T.: Online Check and Recovery Techniques for Dependable Embedded Processors. IEEE Mirco\u00a021(5), 24\u201340 (2001)","journal-title":"IEEE Mirco"},{"key":"22_CR17","volume-title":"Probability and Random Processes for Electrical Engineering","author":"A. Leon-Garcia","year":"1994","unstructured":"Leon-Garcia, A.: Probability and Random Processes for Electrical Engineering. Addison-Wesley, Reading (1994)"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing \u2013 EUC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596356_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:54:37Z","timestamp":1619492077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596356_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308072","9783540322955"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11596356_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}