{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:22:10Z","timestamp":1726410130787},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152962"},{"type":"electronic","value":"9783642152979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15297-9_15","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T04:11:13Z","timestamp":1283746273000},"page":"183-197","source":"Crossref","is-referenced-by-count":0,"title":["A Process Algebraic Framework for Modeling Resource Demand and Supply"],"prefix":"10.1007","author":[{"given":"Anna","family":"Philippou","sequence":"first","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","first-page":"154","volume-title":"Proceedings of RTSS\u201999","author":"K. Altisen","year":"1999","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Pnueli, A., Sifakis, J., Yovine, Y.: A framework for scheduler synthesis. In: Proceedings of RTSS\u201999, pp. 154\u2013163. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"1-2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems\u00a023(1-2), 55\u201384 (2002)","journal-title":"Real-Time Systems"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/A:1008047130023","volume":"15","author":"H. Ben-Abdallah","year":"1998","unstructured":"Ben-Abdallah, H., Choi, J.-Y., Clarke, D., Kim, Y.S., Lee, I., Xie, H.-L.: A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real-Time Systems\u00a015, 189\u2013219 (1998)","journal-title":"Real-Time Systems"},{"key":"15_CR4","first-page":"279","volume-title":"Proceedings of ECRTS\u201903","author":"G. Bucci","year":"2003","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Modeling flexible real time systems with preemptive time Petri nets. In: Proceedings of ECRTS\u201903, pp. 279\u2013286. IEEE Computer Society, Los Alamitos (2003)"},{"key":"15_CR5","first-page":"308","volume-title":"Proceedings of RTSS\u201997","author":"Z. Deng","year":"1997","unstructured":"Deng, Z., Liu, J.W.-S.: Scheduling real-time applications in an open environment. In: Proceedings of RTSS\u201997, pp. 308\u2013319. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"15_CR6","first-page":"129","volume-title":"Proceedings of RTSS\u201907","author":"A. Easwaran","year":"2007","unstructured":"Easwaran, A., Anand, M., Lee, I.: Compositional analysis framework using edp resource models. In: Proceedings of RTSS\u201907, pp. 129\u2013138. IEEE Computer Society, Los Alamitos (2007)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Easwaran, A., Lee, I., Sokolsky, O.: Interface algebra for analysis of hierarchical real-time systems. In: Proceedings of FIT (2008)","DOI":"10.1109\/ISORC.2007.25"},{"key":"15_CR8","first-page":"26","volume-title":"Proceedings of RTSS\u201902","author":"X. Feng","year":"2002","unstructured":"Feng, X., Mok, A.: A model of hierarchical real-time virtual resources. In: Proceedings of RTSS\u201902, pp. 26\u201335. IEEE Computer Society, Los Alamitos (2002)"},{"issue":"8","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E. Fersman","year":"2007","unstructured":"Fersman, E., Krc\u00e1l, P., Pettersson, P., Yi, W.: Task automata: Schedulability, decidability and undecidability. Information and Computation\u00a0205(8), 1149\u20131172 (2007)","journal-title":"Information and Computation"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: Schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 67\u201382. Springer, Heidelberg (2002)"},{"key":"15_CR11","unstructured":"GmbH, R.-T.S.: Real-Time Hybervisor (2010), http:\/\/www.real-time-systems.com"},{"key":"15_CR12","first-page":"253","volume-title":"Proceedings of RTAS\u201906","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Matic, S.: An interface algebra for real-time components. In: Proceedings of RTAS\u201906, pp. 253\u2013263. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Lee, I., Br\u00e9mond-Gr\u00e9goire, P., Gerber, R.: A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems. Proceedings of the IEEE, 158\u2013171 (1994)","DOI":"10.1109\/5.259433"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.jlap.2007.02.005","volume":"72","author":"I. Lee","year":"2007","unstructured":"Lee, I., Philippou, A., Sokolsky, O.: Resources in process algebra. Journal of Logic and Algebraic Programming\u00a072, 98\u2013122 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"15_CR15","unstructured":"Linuxworks. LynxSecure Embedded Hypervisor and Separation Kernel (2010), http:\/\/www.lynuxworks.com\/virtualization\/hypervisor.php"},{"key":"15_CR16","first-page":"151","volume-title":"Proceedings of ECRTS\u201903","author":"G. Lipari","year":"2003","unstructured":"Lipari, G., Bini, E.: Resource partitioning among real-time applications. In: Proceedings of ECRTS\u201903, pp. 151\u2013160. IEEE Computer Society, Los Alamitos (2003)"},{"key":"15_CR17","volume-title":"Real-time systems","author":"J. Liu","year":"2000","unstructured":"Liu, J.: Real-time systems. Prentice Hall, Englewood Cliffs (2000)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-40903-8_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M. Mousavi","year":"2004","unstructured":"Mousavi, M., Reniers, M., Basten, T., Chaudron, M.: PARS: a process algebra with resources and schedulers. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 134\u2013150. Springer, Heidelberg (2004)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Nunez, M., Rodriguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: Proceedings of FORTE\u201901, pp. 169\u2013184 (2001)","DOI":"10.1007\/0-306-47003-9_11"},{"key":"15_CR20","first-page":"173","volume-title":"Proceedings of ECRTS\u201902","author":"S. Saewong","year":"2002","unstructured":"Saewong, S., Rajkumar, R., Lehoczky, J., Klein, M.: Analysis of hierarchical fixed-priority scheduling. In: Proceedings of ECRTS\u201902, pp. 173\u2013181. IEEE Computer Society, Los Alamitos (2002)"},{"key":"15_CR21","first-page":"2","volume-title":"Proceedings of RTSS\u201903","author":"I. Shin","year":"2003","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proceedings of RTSS\u201903, pp. 2\u201313. IEEE Computer Society, Los Alamitos (2003)"},{"key":"15_CR22","first-page":"57","volume-title":"Proceedings of RTSS\u201904","author":"I. Shin","year":"2004","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Proceedings of RTSS\u201904, pp. 57\u201367. IEEE Computer Society, Los Alamitos (2004)"},{"key":"15_CR23","volume-title":"Proceedings of EMSOFT\u201906","author":"L. Thiele","year":"2006","unstructured":"Thiele, L., Wandeler, E., Stoimenov, N.: Real-time interfaces for composing real-time systems. In: Proceedings of EMSOFT\u201906. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15297-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:04:31Z","timestamp":1606169071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15297-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152962","9783642152979"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15297-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}