{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:16:14Z","timestamp":1725495374275},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_2","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"19-33","source":"Crossref","is-referenced-by-count":3,"title":["Scheduling System Verification"],"prefix":"10.1007","author":[{"given":"Pao-Ann","family":"Hsiung","sequence":"first","affiliation":[]},{"given":"Farn","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Yue-Sun","family":"Kuo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"2_CR1","unstructured":"R. Alur, C. Courcoubetis, and D. L. Dill, \u201cModel checking for real-time systems,\u201d 5th IEEE LICS, 1990."},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","first-page":"52","volume-title":"Procs. Workshop on Logics of Programs","author":"E. M. Clarke","year":"1981","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla, \u201cAutomatic verification of finite state concurrent system using temporal logic,\u201d Procs. Workshop on Logics of Programs, Lecture Notes in Computer Science, vol. 131, pp. 52\u201371, 1981."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"E. A. Emerson, \u201cTemporal and Modal Logic,\u201d in Handbook of Theoretical Computer Science, Ed. J. van Leeuwen, Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, P.-H. Ho, and H. Wong-Toi, \u201cHyTech: the next generation,\u201d Procs. IEEE Real-Time Systems Symposium, pp. 56\u201365, 1995.","DOI":"10.1109\/REAL.1995.495196"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"M. G. Harbour, M. H. Klein, J. P. Lehoczky, \u201cFixed priority scheduling of periodic tasks with varying execution priority,\u201d Procs. IEEE Real-Time System Symposium, pp. 116\u2013128, 1991.","DOI":"10.1109\/REAL.1991.160365"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"M. G. Harbour, M. H. Klein, J. P. Lehoczky, \u201cTiming analysis for fixed-priority scheduling of hard real-time systems,\u201d IEEE Trans. Software Engineering, vol. 20, no. 1, Jan. 1994.","DOI":"10.1109\/32.263752"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1109\/32.241774","volume":"19","author":"D. I. Katcher","year":"1993","unstructured":"D. I. Katcher, H. Arakawa, and J. K. Strosnider, \u201cEngineering and analysis of fixed priority schedulers,\u201d IEEE Trans. Software Engineering, vol. 19, pp. 920\u2013934, Sept. 1993.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"L. Lamport, \u201cA Fast Mutual Exclusion Algorithm,\u201d ACM Trans. on Computer Systems, vol. 5, no. 1, pp. 1\u201311, Feb. 1987.","journal-title":"ACM Trans. on Computer Systems"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J. P. Lehoczky, \u201cFixed priority scheduling of periodic task sets with arbitrary deadlines,\u201d Procs. IEEE Real-Time Systems Symposium, pp. 201\u2013209, 1990.","DOI":"10.1109\/REAL.1990.128748"},{"issue":"1","key":"2_CR10","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J. W. Layland, \u201cScheduling algorithms for multiprogramming in a hard-real-time environment,\u201d Journal of the Association for Computing Machinery, vol. 20, no. 1, pp. 46\u201361, Jan. 1973.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"J. P. Lehoczky, L. Sha, and Y. Ding, \u201cThe rate monotonic scheduling algorithm: exact characterization and average case behavior,\u201d Procs. IEEE Real-Time Systems Symposium, pp. 166\u2013171, 1989.","DOI":"10.1109\/REAL.1989.63567"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.55469","volume":"23","author":"L. Sha","year":"1990","unstructured":"L. Sha and J. B. Goodenough, \u201cReal-time scheduling theory and Ada,\u201d IEEE Computer, vol. 23, pp. 53\u201362, Apr. 1990.","journal-title":"IEEE Computer"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-1-4615-3956-8_5","volume-title":"Foundations of Real-Time Computing: Scheduling and Resource Management","author":"L. Sha","year":"1991","unstructured":"L. Sha, M. H. Klein, and J. B. Goodenough, \u201cRate monotonic analysis for real-time systems,\u201d Foundations of Real-Time Computing: Scheduling and Resource Management, A. van Tilborg and G. M. Koob, Eds. New York: Kluwer, pp. 129\u2013155, 1991."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"K. W. Tindell, A. Burns, and A. J. Wellings, \u201cMode changes in priority pre-emptively scheduled systems,\u201d Procs. IEEE Real-Time Systems Symposium, pp. 100\u2013109, 1992.","DOI":"10.1109\/REAL.1992.242672"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:00:04Z","timestamp":1556967604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}