{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:08:04Z","timestamp":1762866484864,"version":"3.41.0"},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T00:00:00Z","timestamp":1410134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["FP7-287702"],"award-info":[{"award-number":["FP7-287702"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"name":"HIPARTES","award":["TIN2011-28567-C03-03"],"award-info":[{"award-number":["TIN2011-28567-C03-03"]}]},{"name":"HISEM","award":["Prometeo 2009\/02"],"award-info":[{"award-number":["Prometeo 2009\/02"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2014,9,23]]},"abstract":"<jats:p>XtratuM is an open source hypervisor that uses para-virtualization techniques designed to comply with safety critical real-time requirements. Several projects aimed to define a reference architecture for space on-board systems have adopted XtratuM as a virtualization layer in order to enforce the strong spatial and temporal isolation between software components that is required on real-time airborne systems.<\/jats:p>\n          <jats:p>Given the shift in the general trend in processor development towards multicore processors, the European Space Agency (ESA) is commissioning a set of studies in order to evaluate their suitability for their use on the space market. This paper focuses on the porting of XtratuM to the LEON4 multicore processor, in the frame of a ESA study that pursues to assess its fitness for its use in future space missions.<\/jats:p>","DOI":"10.1145\/2668138.2668142","type":"journal-article","created":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T14:39:29Z","timestamp":1410273569000},"page":"27-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["XtratuM hypervisor redesign for LEON4 multicore processor"],"prefix":"10.1145","volume":"11","author":[{"given":"E.","family":"Carrascosa","sequence":"first","affiliation":[{"name":"Universidad Polit\u00e9cnica de Valencia, Valencia, Spain"}]},{"given":"J.","family":"Coronel","sequence":"additional","affiliation":[{"name":"FentISS, Valencia, Spain"}]},{"given":"M.","family":"Masmano","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Valencia, Valencia, Spain"}]},{"given":"P.","family":"Balbastre","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Valencia, Valencia, Spain"}]},{"given":"A.","family":"Crespo","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Valencia, Valencia, Spain"}]}],"member":"320","published-online":{"date-parts":[[2014,9,8]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Avionics application software standard interface (ARINC-653). Part 1 - Required services","author":"Airlines Electronic Eng. Committee (AEEC).","year":"2006","unstructured":"Airlines Electronic Eng. Committee (AEEC). Avionics application software standard interface (ARINC-653). Part 1 - Required services . 2006 . Airlines Electronic Eng. Committee (AEEC). Avionics application software standard interface (ARINC-653). Part 1 - Required services. 2006."},{"key":"e_1_2_1_2_1","volume-title":"Avionics application software standard interface (ARINC-653). Part 1 - Required services","author":"Airlines Electronic Eng. Committee (AEEC).","year":"2006","unstructured":"Airlines Electronic Eng. Committee (AEEC). Avionics application software standard interface (ARINC-653). Part 1 - Required services . 2006 . Airlines Electronic Eng. Committee (AEEC). Avionics application software standard interface (ARINC-653). Part 1 - Required services. 2006."},{"key":"e_1_2_1_3_1","unstructured":"Embedded Microprocessor Benchmark Consortium (EEMBC). CoreMark Benchmark. http:\/\/www.coremark.org.  Embedded Microprocessor Benchmark Consortium (EEMBC). CoreMark Benchmark. http:\/\/www.coremark.org."},{"key":"e_1_2_1_4_1","unstructured":"European Space Agency (ESA). The ESA Next Generation Microprocessor (NGMP). http:\/\/microelectronics.esa.int\/ngmp.  European Space Agency (ESA). The ESA Next Generation Microprocessor (NGMP). http:\/\/microelectronics.esa.int\/ngmp."},{"key":"e_1_2_1_5_1","volume-title":"Integrated Modular Avionics for Space (IMA-SP)","author":"European Space Agency Project.","year":"2010","unstructured":"European Space Agency Project. Integrated Modular Avionics for Space (IMA-SP) , 2010 -2012. European Space Agency Project. Integrated Modular Avionics for Space (IMA-SP), 2010-2012."},{"key":"e_1_2_1_6_1","volume-title":"11th Real-Time Linux Workshop","author":"Masmano M.","year":"2009","unstructured":"M. Masmano , I. Ripoll , A. Crespo , and J. Metge . XtratuM: a hypervisor for safety critical embedded systems . In 11th Real-Time Linux Workshop , Dresden (Germany) , 2009 . M. Masmano, I. Ripoll, A. Crespo, and J. Metge. XtratuM: a hypervisor for safety critical embedded systems. In 11th Real-Time Linux Workshop, Dresden (Germany), 2009."},{"key":"e_1_2_1_7_1","volume-title":"DASIA 2009","author":"Masmano M.","year":"2009","unstructured":"M. Masmano , I. Ripoll , A. Crespo , J. Metge , and P. Arberet . XtratuM: An open source hypervisor for TSP embedded systems in aerospace . In DASIA 2009 . DAta Systems In Aerospace., Istanbul (Turkey) , 2009 . M. Masmano, I. Ripoll, A. Crespo, J. Metge, and P. Arberet. XtratuM: An open source hypervisor for TSP embedded systems in aerospace. In DASIA 2009. DAta Systems In Aerospace., Istanbul (Turkey), 2009."},{"key":"e_1_2_1_8_1","volume-title":"European Conference on Embedded Real Time Software and Systems.","author":"Masmano M.","year":"2010","unstructured":"M. Masmano , I. Ripoll , S. Peir\u00f3 , and A. Crespo . XtratuM for LEON3: An open source hypervisor for high integrity systems. In ERTS2 2010 . European Conference on Embedded Real Time Software and Systems. , Toulouse (France) , 2010 . M. Masmano, I. Ripoll, S. Peir\u00f3, and A. Crespo. XtratuM for LEON3: An open source hypervisor for high integrity systems. In ERTS2 2010. European Conference on Embedded Real Time Software and Systems., Toulouse (France), 2010."},{"key":"e_1_2_1_9_1","volume-title":"DASIA 2012","author":"Patte M.","year":"2012","unstructured":"M. Patte , V. Lefftz , M. Zulianello , A. Crespo , M. Masmano , and J. Coronel . System impact of distributed multicore systems . In DASIA 2012 . DAta Systems In Aerospace., Dubrovnik (Croatia ), May 2012 . M. Patte, V. Lefftz, M. Zulianello, A. Crespo, M. Masmano, and J. Coronel. System impact of distributed multicore systems. In DASIA 2012. DAta Systems In Aerospace., Dubrovnik (Croatia), May 2012."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/358274.358283"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2668138.2668142","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2668138.2668142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:22Z","timestamp":1750227202000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2668138.2668142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,8]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,9,23]]}},"alternative-id":["10.1145\/2668138.2668142"],"URL":"https:\/\/doi.org\/10.1145\/2668138.2668142","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2014,9,8]]},"assertion":[{"value":"2014-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}