{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:22:05Z","timestamp":1725492125959},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443070"},{"type":"electronic","value":"9783540458289"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45828-x_10","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T13:59:11Z","timestamp":1190383151000},"page":"123-137","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"N.C. Audsley, A. Burns, R.I. Davis, K.W. Tindell, and A.J. Wellings. Fixed priority pre-emptive scheduling: An historical perspective. Real Time Systems, 8(2\u20133), 1995.","DOI":"10.1007\/BF01094342"},{"issue":"5","key":"10_CR2","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/32.387477","volume":"21","author":"A. Burns","year":"1995","unstructured":"A. Burns, K.W. Tindell, and A.J. Wellings. Effective analysis for engineering realtime fixed priority schedulers. IEEE Trans. Software Engineering, 21(5):475\u2013480, 1995.","journal-title":"IEEE Trans. Software Engineering"},{"key":"10_CR3","unstructured":"M. Harbour, M.H. Klein, and J. Lehoczky. Fixed priority scheduling of periodic tasks with varying execution priority. In IEEE Real-Time Systems Symposium, 1991."},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/32.263752","volume":"20","author":"M.G. Harbour","year":"1994","unstructured":"M.G. Harbour, M.H. Klein, and J.P. Lehoczky. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Transactions on Software Engineering, 20(1):13\u201328, 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR5","unstructured":"M.G. Harbour, M.H. Klein, R. Obenza, B. Pollak, and T. Ralya. A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems. Kluwer, 1993."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"M.H. Klein, J. Lehoczky, and R. Rajkumar. Rate monotonic analysis for real-time industrial computing. IEEE Computer, January 1994.","DOI":"10.1109\/2.248876"},{"key":"10_CR7","unstructured":"J. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In IEEE Real-Time Systems Symposium, 1989."},{"issue":"1","key":"10_CR8","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. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46\u201361, January 1973.","journal-title":"Journal of the ACM"},{"key":"10_CR9","unstructured":"Swedish WCET Network. Home page: \n                  http:\/\/www.docs.uu.se\/artes\/wcet\/\n                  \n                ."},{"key":"10_CR10","unstructured":"QNX overview. Link: \n                  http:\/\/www.qnx.com\/literature\/whitepapers\/archoverview.html\n                  \n                ."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"P. Puschner and A. Burns. A review of WCET analysis. Real Time Systems: Special Issue on Worst-Case Execution-Time Analysis, 18(2\/3), 2000.","DOI":"10.1023\/A:1008119029962"},{"key":"10_CR12","unstructured":"R. Rajkumar, M. Gagliardi, and L. Sha. The real-time publisher\/subscriber interprocess communication model for distributed real-time systems: Design and implementation. In IEEE Real-time Technology and Applications Symposium, 1995."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"L. Sha, R. Rajkumar, and S.S. Sathaye. Generalized rate-monotonic scheduling theory: A framework for developing real-time systems. IEEE Proceedings, January 1994.","DOI":"10.1109\/5.259427"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"J. Stankovic, M. Spuri, K. Ramamritham, and G. Buttazzo. Deadline Scheduling For Real-Time Systems: EDF and Related Algorithms. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4615-5535-3"},{"issue":"2","key":"10_CR15","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/9.250509","volume":"38","author":"P. Varaiya","year":"1993","unstructured":"P. Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38(2):195\u2013207, February 1993.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45828-X_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:10:19Z","timestamp":1558275019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45828-X_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443070","9783540458289"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45828-x_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}