{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:38:55Z","timestamp":1762875535822},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388521"},{"type":"electronic","value":"9783642388538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38853-8_27","type":"book-chapter","created":{"date-parts":[[2013,6,13]],"date-time":"2013-06-13T10:39:00Z","timestamp":1371119940000},"page":"293-305","source":"Crossref","is-referenced-by-count":13,"title":["Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems"],"prefix":"10.1007","author":[{"given":"Katharina","family":"Gilles","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Groesbrink","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Baldin","sequence":"additional","affiliation":[]},{"given":"Timo","family":"Kerstan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Baldin, D., Kerstan, T.: Proteus, a Hybrid Virtualization Platform for Embedded Systems. In: Proc. of the International Embedded Systems Symposium (2009)","DOI":"10.1007\/978-3-642-04284-3_17"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the Art of Virtualization. In: Proc. of the 19th ACM Symposium on Operating Systems Principles (2003)","DOI":"10.1145\/945445.945462"},{"key":"27_CR3","unstructured":"Blanchard, H., Xenidis, J.: Xen on PowerPC (January 2006), \n                    \n                      http:\/\/www.xen.org\/files\/xs0106_xen_on_powerpc.pdf"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Solution of a problem in concurrent programming control. Communications of the ACM\u00a08(9) (1965)","DOI":"10.1145\/365559.365617"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Garside, R., Pighetti, J.: Integrating modular avionics: A new role emerges. IEEE A & E Systems Magazine (2009)","DOI":"10.1109\/MAES.2009.4811086"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-17226-7_10","volume-title":"From Active Data Management to Event-Based Systems and More","author":"S. Ghaisas","year":"2010","unstructured":"Ghaisas, S., Karmakar, G., Shenai, D., Tirodkar, S., Ramamritham, K.: SParK: Safety Partition Kernel for Integrated Real-Time Systems. In: Sachs, K., Petrov, I., Guerrero, P. (eds.) Buchmann Festschrift. LNCS, vol.\u00a06462, pp. 159\u2013174. Springer, Heidelberg (2010)"},{"issue":"4","key":"27_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.4236\/jsea.2012.54033","volume":"5","author":"Z. Gu","year":"2012","unstructured":"Gu, Z., Zhao, Q.: A State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization. Journal of Software Engineering and Applications\u00a05(4), 277\u2013290 (2012)","journal-title":"Journal of Software Engineering and Applications"},{"key":"27_CR8","unstructured":"IBM: PowerPC 405 Processor Core (2005), \n                    \n                      http:\/\/www-01.ibm.com\/chips\/techlib\/techlib.nsf\/products\/PowerPC_405_Embedded_Cores"},{"key":"27_CR9","unstructured":"IBM: PowerPC ISA 2.06 Revision B (July 2010), \n                    \n                      https:\/\/www.power.org\/documentation\/power-isa-version-2-06-revision-b\/"},{"key":"27_CR10","unstructured":"IBM Research: IBM PowerPC 4XX Instruction Set Simulator (ISS) (October 2012), \n                    \n                      https:\/\/www-01.ibm.com\/chips\/techlib\/techlib.nsf\/products\/PowerPC_4XX_Instruction_Set_Simulator_ISS"},{"key":"27_CR11","unstructured":"Intel Corporation (White paper): Applying multi-core and virtualization to industrial and safety-related applications (2009), \n                    \n                      http:\/\/download.intel.com\/platforms\/applied\/indpc\/321410.pdf"},{"key":"27_CR12","unstructured":"Kerstan, T., Baldin, D., Groesbrink, S.: Full virtualization of real-time systems by temporal partitioning. In: Proc. of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (2010)"},{"key":"27_CR13","unstructured":"King, S., Dunlap, G., Chen, P.: Operating System Support for Virtual Machines. In: Proc. of the USENIX Annual Technical Conference (2003)"},{"key":"27_CR14","unstructured":"Kumar, S., Raj, H., Schwan, K., Ganev, I.: Re-architecting VMMs for Multicore Systems: The Sidecore Approach. In: Proc. of the Workshop on Interaction between Operating Systems and Computer Architecture (2007)"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"Lamport, L.: A new solution of Dijkstra\u2019s concurrent programming problem. Commununications of the ACM\u00a017, 453\u2013455 (1974)","journal-title":"Commununications of the ACM"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"LeVasseur, J., Uhlig, V., Chapman, M., Chubb, P., Leslie, B., Heiser, G.: Pre-virtualization: Soft Layering for Virtual Machines. In: Proc. of the 13th Asia-Pacific Computer Systems Architecture Conference (2008)","DOI":"10.1109\/APCSAC.2008.4625458"},{"key":"27_CR17","unstructured":"Masmano, M., Ripoll, I., Crespo, A.: XtratuM: a Hypervisor for Safety Critical Embedded Systems. In: Proc. of the Eleventh Real-Time Linux Workshop (2009)"},{"issue":"7","key":"27_CR18","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/361011.361073","volume":"17","author":"G.J. Popek","year":"1974","unstructured":"Popek, G.J., Goldberg, R.P.: Formal Requirements for Virtualizable Third Generation Architectures. Communications of the ACM\u00a017(7), 412\u2013421 (1974)","journal-title":"Communications of the ACM"},{"key":"27_CR19","unstructured":"Prisaznuk, P.: Integrated Modular Avionics. In: Proc. of the IEEE National Aerospace and Electronics Conference (1992)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Prisaznuk, P.: ARINC 653 Role in Integrated Modular Avionics (IMA). In: Proc. of the 27th IEEEE Digital Avionics Systems Conference (2008)","DOI":"10.1109\/DASC.2008.4702770"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Smith, J.E., Nair, R.: The Architecture of Virtual Machines. IEEE Computer (2005)","DOI":"10.1016\/B978-155860910-5\/50002-1"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Tavares, A., Carvalho, A., Rodrigues, P., Garcia, P., Gomes, T., Cabral, J., Cardoso, P., Montenegro, S., Ekpanyapong, M.: A Customizable and ARINC 653 Quasi-compliant Hypervisor. In: Proc. of the IEEE International Conference on Industrial Technology (2012)","DOI":"10.1109\/ICIT.2012.6209928"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Xi, S., Wilson, J., Lu, C., Gill, C.: RT-Xen: Towards Real-time Hypervisor Scheduling in Xen. In: Proc. of the International Conference on Embedded Software (2011)","DOI":"10.1145\/2038642.2038651"}],"container-title":["IFIP Advances in Information and Communication Technology","Embedded Systems: Design, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38853-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T23:43:17Z","timestamp":1557790997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38853-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388521","9783642388538"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38853-8_27","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}