{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:05:14Z","timestamp":1739423114718,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042836"},{"type":"electronic","value":"9783642042843"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04284-3_17","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T17:55:48Z","timestamp":1252950948000},"page":"185-194","source":"Crossref","is-referenced-by-count":10,"title":["Proteus, a Hybrid Virtualization Platform for Embedded Systems"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Baldin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"Kerstan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462","volume-title":"Xen and the Art of Virtualization","author":"P. Barham","year":"2003","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauery, R., Pratt, I., Warfield, A.: Xen and the Art of Virtualization. ACM, New York (2003)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/HOTOS.2001.990073","volume-title":"HOTOS 2001: Proceedings of the Eighth Workshop on Hot Topics in Operating Systems","author":"P.M. Chen","year":"2001","unstructured":"Chen, P.M., Noble, B.D.: When virtual is better than real. In: HOTOS 2001: Proceedings of the Eighth Workshop on Hot Topics in Operating Systems, Washington, DC, USA, p. 133. IEEE Computer Society, Los Alamitos (2001)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1435458.1435461","volume-title":"IIES 2008: Proceedings of the 1st workshop on Isolation and integration in embedded systems","author":"G. Heiser","year":"2008","unstructured":"Heiser, G.: The role of virtualization in embedded systems. In: IIES 2008: Proceedings of the 1st workshop on Isolation and integration in embedded systems, pp. 11\u201316. ACM, New York (2008)"},{"unstructured":"Hills, G.: Real-Time Operating Systems (RTOS), Embedded Development Tools, Optimizing Compilers, IDE tools, Debuggers - Green Hills Software (2009), http:\/\/www.ghs.com\/","key":"17_CR4"},{"unstructured":"Laune, C., Harris, B.P.M.: Practical Analysis of Stripped Binary Code. Technical report, Computer Sciences Department, University of Wisconsin (2006)","key":"17_CR5"},{"unstructured":"LeVasseur, J., Uhlig, V., Chapman, M., Chubb, P., Leslie, B., Heiser, G.: Pre-virtualization: soft layering for virtual machines. Technical Report 2006-15, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, TH (2006)","key":"17_CR6"},{"issue":"2","key":"17_CR7","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/EMC-2005-00019","volume":"1","author":"G. Lipari","year":"2005","unstructured":"Lipari, G., Bini, E.: A methodology for designing hierarchical scheduling systems. J. Embedded Comput.\u00a01(2), 257\u2013269 (2005)","journal-title":"J. Embedded Comput."},{"unstructured":"LynuxWorks, Embedded Hypervisor and Separation Kernel for Operating-system Virtualization: LynxSecure (2009), http:\/\/www.lynuxworks.com\/virtualization\/hypervisor.php","key":"17_CR8"},{"doi-asserted-by":"crossref","unstructured":"Debray, S., Muth, R., Weippert, M.: Alias Analysis of Executable Code. Technical report, Department of Computer Science, University of Arizona (1998)","key":"17_CR9","DOI":"10.1145\/268946.268948"},{"issue":"5","key":"17_CR10","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MC.2005.173","volume":"38","author":"J. Smith","year":"2005","unstructured":"Smith, J., Nair, R.: The architecture of virtual machines. Computer\u00a038(5), 32\u201338 (2005)","journal-title":"Computer"},{"unstructured":"Systems, O.I.: MILS Technical Primer (2008), http:\/\/www.ois.com\/Products\/MILS-Technical-Primer.html","key":"17_CR11"},{"unstructured":"University of Paderborn, ORCOS (2009), https:\/\/orcos.cs.uni-paderborn.de\/orcos\/","key":"17_CR12"},{"unstructured":"VirtualLogix, VirtualLogix - Real-time Virtualization for Connected Devices: Products - VLX for Embedded Systems (2009), http:\/\/www.virtuallogix.com\/","key":"17_CR13"},{"unstructured":"VmWare, TRANGO Virtual Prozessors: Scalable security for embedded devices (2009), http:\/\/www.trango-vp.com\/","key":"17_CR14"}],"container-title":["IFIP Advances in Information and Communication Technology","Analysis, Architectures and Modelling of Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04284-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T04:13:08Z","timestamp":1739333588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04284-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042836","9783642042843"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04284-3_17","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}