{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:35:26Z","timestamp":1725471326350},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540366799"},{"type":"electronic","value":"9783540366812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11802167_32","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T11:58:29Z","timestamp":1160049509000},"page":"308-317","source":"Crossref","is-referenced-by-count":0,"title":["Dual-Mode r-Reliable Task Model for Flexible Scheduling in Reliable Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Kyong Hoon","family":"Kim","sequence":"first","affiliation":[]},{"given":"Jong","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Sung Je","family":"Hong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"32_CR1","doi-asserted-by":"publisher","first-page":"1443","DOI":"10.1109\/12.477249","volume":"44","author":"M. Hamdaoui","year":"1995","unstructured":"Hamdaoui, M., Ramanathan, P.: A dynamic priority assignment technique for streams with (m,k)-firm deadlines. IEEE Transactions on Computers\u00a044(12), 1443\u20131451 (1995)","journal-title":"IEEE Transactions on Computers"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Koren, G., Shasha, D.: Skip-Over: algorithms and complexity for overloaded systems that allow skips. In: Proceedings of Real-Time Systems Symposium, pp. 110\u2013117 (1995)","DOI":"10.1109\/REAL.1995.495201"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"West, R., Poellabauer, C.: Analysis of a window-constrained scheduler for real-time and best-effort packet streams. In: Proceedings of Real-Time Systems Symposium, pp. 239\u2013248 (2000)","DOI":"10.1109\/REAL.2000.896013"},{"issue":"4","key":"32_CR4","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G. Bernat","year":"2001","unstructured":"Bernat, G., Burns, A., Llamosi, A.: Weakly hard real-time systems. IEEE Transactions on Computers\u00a050(4), 308\u2013321 (2001)","journal-title":"IEEE Transactions on Computers"},{"issue":"10","key":"32_CR5","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1109\/32.637146","volume":"23","author":"A.K. Mok","year":"1997","unstructured":"Mok, A.K., Chen, D.: A multiframe model for real-time tasks. IEEE Transactions on Software Engineering\u00a023(10), 635\u2013645 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR6","unstructured":"Lin, K.-J., Natarajan, S., Liu, J.W.-S.: Imprecise results: utilizing partial computations in real-time systems. In: Proceedings of Real-Time Systems Symposium, pp. 210\u2013217 (1987)"},{"issue":"5","key":"32_CR7","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/2.76287","volume":"24","author":"J.W.-S. Liu","year":"1991","unstructured":"Liu, J.W.-S., Lin, K.-J., Shih, W.-K., Yu, A.C.-S., Chung, C., Yao, J., Zhao, W.: Algorithms for scheduling imprecise computations. IEEE Computers\u00a024(5), 58\u201368 (1991)","journal-title":"IEEE Computers"},{"issue":"7","key":"32_CR8","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1109\/12.508319","volume":"45","author":"J.K. Dey","year":"1996","unstructured":"Dey, J.K., Kurose, J., Towsley, D.: On-line scheduling policies for a class of IRIS (Increasing Reward with Increasing Service) real-time tasks. IEEE Transactions on Computers\u00a045(7), 802\u2013813 (1996)","journal-title":"IEEE Transactions on Computers"},{"issue":"11","key":"32_CR9","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TSE.1986.6312999","volume":"12","author":"A.L. Liestman","year":"1986","unstructured":"Liestman, A.L., Campbell, R.H.: A fault-tolerant scheduling problem. IEEE Transactions on Software Engineering\u00a012(11), 1089\u20131095 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"32_CR10","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/TC.1986.1676787","volume":"35","author":"C. Krishna","year":"1986","unstructured":"Krishna, C., Shin, K.G.: On scheduling tasks with a quick recovery from failure. IEEE Transactions on Computers\u00a035(5), 448\u2013455 (1986)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"32_CR11","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/TC.2003.1183950","volume":"52","author":"C.-C. Han","year":"2003","unstructured":"Han, C.-C., Shin, K.G., Wu, J.: A fault-tolerant scheduling algorithm for real-time periodic tasks with possible software faults. IEEE Transactions on Computers\u00a052(3), 362\u2013372 (2003)","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"32_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1023\/A:1008046012844","volume":"15","author":"S. Ghosh","year":"1998","unstructured":"Ghosh, S., Melhem, R., Mos\u015be, D., Sarma, J.S.: Fault-tolerant rate-monotonic scheduling. Journal of Real-Time Systems\u00a015(2), 149\u2013181 (1998)","journal-title":"Journal of Real-Time Systems"},{"issue":"1","key":"32_CR13","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. Journal of Real-Time Systems\u00a020(1), 83\u2013102 (2001)","journal-title":"Journal of Real-Time Systems"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Seto, D., Krogh, B., Sha, L., Chutinan, A.: Dynamic control systems upgrade using Simplex architecture. IEEE Control Systems, 72\u201380 (1998)","DOI":"10.1109\/37.710880"},{"key":"32_CR15","unstructured":"Sha, L.: Dependable system upgrade. In: Proceedings of Real-Time Systems Symposium, pp. 440\u2013448 (1998)"},{"issue":"2","key":"32_CR16","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/A:1021726418716","volume":"24","author":"R. Chandra","year":"2003","unstructured":"Chandra, R., Liu, X., Sha, L.: On the scheduling of flexible and reliable real-time control systems. Journal of Real-Time Systems\u00a024(2), 153\u2013169 (2003)","journal-title":"Journal of Real-Time Systems"},{"key":"32_CR17","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multi-programming in a hard real-time environment. Journal of ACM\u00a020, 46\u201361 (1973)","journal-title":"Journal of ACM"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"Quan, G., Hu, X.: Enhanced fixed-priority scheduling with (m,k)-firm guarantee. In: Proceedings of Real-Time Systems Symposium, pp. 79\u201388 (2000)","DOI":"10.1109\/REAL.2000.895998"},{"issue":"10","key":"32_CR19","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1109\/TSE.1989.559777","volume":"15","author":"H. Chetto","year":"1989","unstructured":"Chetto, H., Chetto, M.: Some results of the earliest deadline scheduling algorithm. IEEE Transactions on Software Engineering\u00a015(10), 1261\u20131269 (1989)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11802167_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:11:43Z","timestamp":1605625903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11802167_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366799","9783540366812"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11802167_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}