{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T23:58:36Z","timestamp":1705017516993},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,10,27]],"date-time":"2012-10-27T00:00:00Z","timestamp":1351296000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s11227-012-0833-3","type":"journal-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T16:40:08Z","timestamp":1354207208000},"page":"593-610","source":"Crossref","is-referenced-by-count":5,"title":["XtratuM\/PPC: a hypervisor for partitioned system on PowerPC processors"],"prefix":"10.1007","volume":"63","author":[{"given":"Rui","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingguo","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Sheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuan-Ching","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,27]]},"reference":[{"key":"833_CR1","unstructured":"Kim D (2001) Strongly partitioned system architecture for integration of real-time applications. Dissertation, University of Florida"},{"key":"833_CR2","volume-title":"IRTAW\u201903: Proceedings of the 12th international workshop on Real-time Ada","author":"JL Tokar","year":"2003","unstructured":"Tokar JL (2003) Space & time partitioning with ARINC 653 and pragma profile. In: IRTAW\u201903: Proceedings of the 12th international workshop on Real-time Ada. ACM, New York. ISSN:1094-3641"},{"key":"833_CR3","volume-title":"The 8th ACM symposium on operating system principles","author":"J Rushby","year":"1981","unstructured":"Rushby J (1981) Design and verification of secure systems. In: The 8th ACM symposium on operating system principles, Pacific Grove, California, 14\u201316 December 1981. ACM Operating systems review, vol\u00a015, no\u00a05, pp\u00a012\u201321"},{"issue":"8","key":"833_CR4","first-page":"12","volume":"18","author":"MW Vanfleet","year":"2005","unstructured":"Vanfleet MW, Luke JA et al (2005) MILS: architecture for high-assurance embedded computing. J Def Softw Eng 18(8):12\u201316","journal-title":"J Def Softw Eng"},{"issue":"10","key":"833_CR5","first-page":"20","volume":"18","author":"W Scott Harrison","year":"2005","unstructured":"Scott Harrison W, Hanebutte N et al (2005) The MILS architecture for a secure global information grid. J Def Softw Eng 18(10):20\u201324","journal-title":"J Def Softw Eng"},{"issue":"10","key":"833_CR6","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1016\/0141-9331(96)84158-5","volume":"19","author":"A Cook","year":"1995","unstructured":"Cook A (1995) ARINC 653\u2014challenges of the present and future. Microprocess Microsyst 19(10):575\u2013579. doi: 10.1016\/0141-9331(96)84158-5","journal-title":"Microprocess Microsyst"},{"key":"833_CR7","series-title":"Lecture notes in computer science","isbn-type":"print","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-642-01924-1_3","volume-title":"Validating safety and security requirements for partitioned architectures","author":"J Delange","year":"2009","unstructured":"Delange J, Pautet L et al (2009) Validating safety and security requirements for partitioned architectures. Lecture notes in computer science, vol 5570. Springer, Berlin, pp 30\u201343. ISBN 978-3-642-01923-4","ISBN":"http:\/\/id.crossref.org\/isbn\/9783642019234"},{"issue":"8","key":"833_CR8","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/S0141-9331(97)01113-7","volume":"20","author":"A Cook","year":"1997","unstructured":"Cook A, Hunt KJR (1997) ARINC 653\u2014achieving software re-use. Microprocess Microsyst 20(8):479\u2013483. doi: 10.1016\/S0141-9331(97)01113-7","journal-title":"Microprocess Microsyst"},{"key":"833_CR9","volume-title":"Proceeding of the 6th embedded real time software and systems congress (ERTS2 2012)","author":"M Masmano","year":"2012","unstructured":"Masmano M, Peir\u00f3 S et al (2012) IO virtualisation in a partitioned system. In: Proceeding of the 6th embedded real time software and systems congress (ERTS2 2012), Toulouse, France, February 2012"},{"key":"833_CR10","unstructured":"Behmann F (2009) Virtualization for embedded power architecture CPUs. Electronics Products September 2009 Issue, pp 32\u201333"},{"key":"833_CR11","first-page":"36","volume":"April","author":"R Fuchsen","year":"2008","unstructured":"Fuchsen R (2008) Virtualization concepts for safety-critical systems. Boards & Solutions\u2014 Eur Embed Comput Mag April:36\u201337","journal-title":"Boards & Solutions\u2014 Eur Embed Comput Mag"},{"key":"833_CR12","unstructured":"VMware Inc (2006) White Paper\u2014Virtualization Overview"},{"key":"833_CR13","volume-title":"Proceeding of the IEEE\/AIAA 27th digital avionics systems conference (DASC08)","author":"S Santos","year":"2008","unstructured":"Santos S, Rufino J, Schoofs T, Tatibana C, Windsor J (2008) A portable ARINC 653 standard interface. In: Proceeding of the IEEE\/AIAA 27th digital avionics systems conference (DASC08), St. Paul, Minnesota, USA, October 2008"},{"key":"833_CR14","first-page":"263","volume-title":"Proceeding of the eleventh real-time Linux workshop","author":"M Masmano","year":"2009","unstructured":"Masmano M, Ripoll I, Crespo A et al (2009) XtratuM: a hypervisor for safety critical embedded systems. In: Proceeding of the eleventh real-time Linux workshop, Dresden, German, pp 263\u2013272"},{"key":"833_CR15","unstructured":"Kernel based virtual machine. http:\/\/www.linux-kvm.org\/page\/PowerPC"},{"key":"833_CR16","volume-title":"The 9th real-time Linux workshop","author":"Z Rui","year":"2007","unstructured":"Rui Z, Baojun W, Siro A, McGuire N, Qingguo Z (2007) XtratuM for PowerPC. In: The 9th real-time Linux workshop, Linz, Austria"},{"key":"833_CR17","unstructured":"SYSGO product datasheet of PikeOS. http:\/\/www.sysgo.com\/fileadmin\/user_upload\/datasheets\/PikeOS.pdf"},{"key":"833_CR18","unstructured":"da Silva Pascoal EMC (2008) AMOBA\u2013ARINC653 simulator for modular space based applications. Dissertation, Universidade de Lisboa"},{"key":"833_CR19","first-page":"20","volume-title":"Doctoral symposium on systems software verification (DS SSV\u201909)","author":"C Baumann","year":"2009","unstructured":"Baumann C, Bormer T (2009) Verifying the PikeOS microkernel: first results in the verisoft XT avionics project. In: Huuck R, Klein G, Schlich B (eds) Doctoral symposium on systems software verification (DS SSV\u201909), Department of Computer Science, RWTH Aachen, June 2009, number AIB-2009-14 in Aachener Informatik Berichte, pp 20\u201322."},{"key":"833_CR20","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-04468-7_16","volume-title":"Computer safety, reliability, and security (SAFECOMP 2009)","author":"C Baumann","year":"2009","unstructured":"Baumann C, Beckert B et al (2009) Formal verification of a microkernel used in dependable software systems. In: Buth B, Rabe G, Seyfarth T (eds) Computer safety, reliability, and security (SAFECOMP 2009). Lecture notes in computer science, vol 5775. Springer, Hamburg, pp 187\u2013200"},{"key":"833_CR21","unstructured":"Kalinich S (2009) Networking in space: or the longest ethernet cord ever. http:\/\/www.brightsideofnews.com\/news\/2009\/6\/3\/networking-in-space-or-thelongest-ethernet-cord-ever.aspx"},{"key":"833_CR22","unstructured":"Applied Micro Circuits Corporation (2006) PPC440 Processor user\u2019s manual, revision 1.04, April 21, 2006"},{"key":"833_CR23","unstructured":"Real-Time Systems GmbH, http:\/\/www.real-time-systems.com\/real-time_hypervisor"},{"key":"833_CR24","unstructured":"XtratuM Project, http:\/\/www.xtratum.org"},{"key":"833_CR25","unstructured":"PIKA Technologies Inc., PIKA technologies selects AMCC, http:\/\/www.pikatechnologies.com\/english\/View.asp?mp=803&x=978"},{"key":"833_CR26","unstructured":"LynuxWorks Inc., RTOS for Software Certification: LynxOS-178, http:\/\/www.lynuxworks.com\/rtos\/rtos-178.php"},{"key":"833_CR27","unstructured":"Masmano M, Ripoll I, Crespo A et al (2005) Framework for real-time embedded systems based on COntRacts: nanokernels for multidomain support Industrial Informatics and Real-Time Systems Group, Universidad Polit\u00e9cnica de Valencia"},{"key":"833_CR28","volume-title":"Workshop on operating systems platforms for embedded real-time applications","author":"M Masmano","year":"2005","unstructured":"Masmano M, Ripoll I, Crespo A (2005) An overview of the XtratuM nanokernel. In: Workshop on operating systems platforms for embedded real-time applications, Universidad Polit\u00e9cnica de Valencia, Spain"},{"key":"833_CR29","isbn-type":"print","volume-title":"The Linux kernel primer: a top-down approach for X86 and PowerPC architectures","author":"C Salzberg Rodriguez","year":"2005","unstructured":"Salzberg Rodriguez C, Fischer G, Smolski S (2005) The Linux kernel primer: a top-down approach for X86 and PowerPC architectures. Prentice Hall, New York. ISBN: 0-13-118163-7","ISBN":"http:\/\/id.crossref.org\/isbn\/0131181637"},{"key":"833_CR30","unstructured":"Bovet DP, Cesati M (2005) Understanding Linux kernel, 3rd edn, O\u2019Reilly. ISBN: 0-596-00565-2"},{"issue":"1","key":"833_CR31","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:TIME.0000048932.30002.d9","volume":"29","author":"GC Buttazzo","year":"2005","unstructured":"Buttazzo GC (2005) Rate-monotonic vs. EDF: judgement day. Real-Time Syst 29(1):5\u201326","journal-title":"Real-Time Syst"},{"key":"833_CR32","first-page":"321","volume-title":"AINA\u20192005","author":"H-C Chang","year":"2005","unstructured":"Chang H-C, Li K-C, Lin Y-L, Yang C-T, Wang H-H, Lee L-T (2005) Performance issues of grid computing based on different architecture cluster computing platforms. In: AINA\u20192005, pp 321\u2013324"},{"issue":"1","key":"833_CR33","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s11227-008-0204-2","volume":"48","author":"K-C Li","year":"2009","unstructured":"Li K-C, Weng T-H (2009) Performance-based parallel application toolkit for high-performance clusters. J Supercomput 48(1):43\u201365","journal-title":"J Supercomput"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-012-0833-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-012-0833-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-012-0833-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:08Z","timestamp":1559370248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-012-0833-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,27]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["833"],"URL":"https:\/\/doi.org\/10.1007\/s11227-012-0833-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,27]]}}}