{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:51Z","timestamp":1750307691962,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,31]],"date-time":"2009-03-31T00:00:00Z","timestamp":1238457600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P18913-N15"],"award-info":[{"award-number":["P18913-N15"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,31]]},"DOI":"10.1145\/1519130.1519134","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:53Z","timestamp":1239035693000},"page":"19-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Programmable temporal isolation in real-time and embedded execution environments"],"prefix":"10.1145","author":[{"given":"Silviu S.","family":"Craciunas","sequence":"first","affiliation":[{"name":"University of Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Kirsch","sequence":"additional","affiliation":[{"name":"University of Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Payer","sequence":"additional","affiliation":[{"name":"University of Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"R\u00f6ck","sequence":"additional","affiliation":[{"name":"University of Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[{"name":"University of Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000027934.77900.22"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.31"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1993.393499"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048932.30002.d9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777444"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212734"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375634.1375656"},{"key":"e_1_3_2_1_10_1","volume-title":"The Tiptoe system","author":"Craciunas S. S.","year":"2007","unstructured":"Craciunas , S. S. , Kirsch , C. M. , Payer , H. , R\u00f6ck , H. , Sokolova , A. , Stadler , H. , and Staudinger , R . The Tiptoe system , 2007 . tiptoe.cs.uni-salzburg.at. Craciunas, S. S., Kirsch, C. M., Payer, H., R\u00f6ck, H., Sokolova, A., Stadler, H., and Staudinger, R. The Tiptoe system, 2007. tiptoe.cs.uni-salzburg.at."},{"key":"e_1_3_2_1_11_1","first-page":"349","volume-title":"Proc. ATC","author":"Craciunas S. S.","year":"2008","unstructured":"Craciunas , S. S. , Kirsch , C. M. , Payer , H. , Sokolova , A. , Stadler , H. , and Staudinger , R . A compacting real-time memory management system . In Proc. ATC ( 2008 ), USENIX, pp. 349 -- 362 . Craciunas, S. S., Kirsch, C. M., Payer, H., Sokolova, A., Stadler, H., and Staudinger, R. A compacting real-time memory management system. In Proc. ATC (2008), USENIX, pp. 349--362."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400103"},{"key":"e_1_3_2_1_13_1","volume-title":"Scuola Superiore S. Anna","author":"Gai P.","year":"2001","unstructured":"Gai , P. , Lipari , G. , and di Natale , M. A flexible and configurable real-time kernel for time predictability and minimal RAM requirements. Tech. rep ., Scuola Superiore S. Anna , 2001 . Gai, P., Lipari, G., and di Natale, M. A flexible and configurable real-time kernel for time predictability and minimal RAM requirements. Tech. rep., Scuola Superiore S. Anna, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435458.1435461"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703886"},{"key":"e_1_3_2_1_16_1","volume-title":"Real-time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz H.","year":"1997","unstructured":"Kopetz , H. Real-time Systems: Design Principles for Distributed Embedded Applications . Kluwer Academic Publishers , 1997 . Kopetz, H. Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.3233\/EMC-2005-00019","volume":"1","author":"Lipari G.","year":"2005","unstructured":"Lipari , G. , and Bini , E. A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing 1 , 2 ( 2005 ), 257--269. Lipari, G., and Bini, E. A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing 1, 2 (2005), 257--269.","journal-title":"Journal of Embedded Computing"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA266639","volume-title":"Processor capacity reserves for multimedia operating systems. Tech. rep","author":"Mercer C. W.","year":"1993","unstructured":"Mercer , C. W. , Savage , S. , and Tokuda , H . Processor capacity reserves for multimedia operating systems. Tech. rep ., Carnegie Mellon University , 1993 . Mercer, C. W., Savage, S., and Tokuda, H. Processor capacity reserves for multimedia operating systems. Tech. rep., Carnegie Mellon University, 1993."},{"key":"e_1_3_2_1_19_1","volume-title":"A virtualized real-time I\/O subsystem. Master's thesis","author":"Stadler H.","year":"2008","unstructured":"Stadler , H. A virtualized real-time I\/O subsystem. Master's thesis , University of Salzburg , Salzburg, Austria , 2008 . Stadler, H. A virtualized real-time I\/O subsystem. Master's thesis, University of Salzburg, Salzburg, Austria, 2008."},{"key":"e_1_3_2_1_20_1","first-page":"146","volume-title":"Proc. RTSS","author":"Stankovic J. A.","year":"1987","unstructured":"Stankovic , J. A. , and Ramamritham , K . The design of the Spring kernel . In Proc. RTSS ( 1987 ), IEEE, pp. 146 -- 157 . Stankovic, J. A., and Ramamritham, K. The design of the Spring kernel. In Proc. RTSS (1987), IEEE, pp. 146--157."},{"key":"e_1_3_2_1_21_1","unstructured":"VMware Inc. Virtualization overview 2006. www.vmware.com\/pdf\/virtualization.pdf. VMware Inc. Virtualization overview 2006. www.vmware.com\/pdf\/virtualization.pdf."},{"key":"e_1_3_2_1_22_1","first-page":"166","volume":"2008","author":"Watson J.","year":"2008","unstructured":"Watson , J. Virtualbox : bits and bytes masquerading as machines. Linux Journal 2008 , 166 ( 2008 ), 1. Watson, J. Virtualbox: bits and bytes masquerading as machines. Linux Journal 2008, 166 (2008), 1.","journal-title":"Linux Journal"},{"key":"e_1_3_2_1_23_1","unstructured":"Wind River. RTLinux. www.windriver.com. Wind River. RTLinux. www.windriver.com."}],"event":{"name":"EuroSys '09: Fourth EuroSys Conference 2009","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Nuremburg Germany","acronym":"EuroSys '09"},"container-title":["Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1519130.1519134","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1519130.1519134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:54Z","timestamp":1750253394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1519130.1519134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,31]]},"references-count":22,"alternative-id":["10.1145\/1519130.1519134","10.1145\/1519130"],"URL":"https:\/\/doi.org\/10.1145\/1519130.1519134","relation":{},"subject":[],"published":{"date-parts":[[2009,3,31]]},"assertion":[{"value":"2009-03-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}