{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:17:54Z","timestamp":1753438674593},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004836","name":"Det Frie Forskningsrd","doi-asserted-by":"publisher","award":["6111-00363B"],"award-info":[{"award-number":["6111-00363B"]}],"id":[{"id":"10.13039\/501100004836","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/tc.2020.3002697","type":"journal-article","created":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T21:17:26Z","timestamp":1592342246000},"page":"1-1","source":"Crossref","is-referenced-by-count":3,"title":["PaRTAA: A Real-time Multiprocessor for Mixed-Criticality Airborne Systems"],"prefix":"10.1109","author":[{"given":"Shibarchi","family":"Majumder","sequence":"first","affiliation":[]},{"given":"Jens F. D.","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Bak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"661 specification: Cockpit display system interfaces to user systems, prepared by airlines electronic engineering committee, published by aeronautical radio inc.","year":"2002"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/aer.2019.30"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2009.5377690"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1284480.1284514"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470359"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2003.07.004"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2016.36"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.002"},{"key":"ref35","article-title":"Implementing a real-time avionic application on a many-core processor","author":"lo","year":"2016","journal-title":"42nd European Rotorcraft Forum"},{"key":"ref34","article-title":"The use of multi-core processors in airborne systems","author":"jean","year":"2011"},{"key":"ref10","article-title":"Airlines electronic engineering committee (AEEC)","year":"2003","journal-title":"Avionics application software standard interface ARINC specification"},{"key":"ref11","article-title":"Microprocessor evaluations for safety-critical, real-time applications: Authority for expenditure no. 43 phase 5","author":"mahapatra","year":"2011"},{"key":"ref12","article-title":"Microprocessor evaluations for safety-critical, real-time applications: Authority for expenditure no. 43 phase 3","author":"mahapatra","year":"2009"},{"key":"ref13","article-title":"Partitioning in avionics architectures: Requirements, mechanisms, and assurance","author":"rushby","year":"2000","journal-title":"National Aeronautics and Space Administration Washington D C In Review"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRT.1991.144077"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1996.557849"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.78"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925994"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378622"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2012.87"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2010.2096520"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/aer.2019.80"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2004.1330747"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2960359"},{"key":"ref6","article-title":"Radio Technical Commission for Aeronautics","year":"2000","journal-title":"RTCA\/DO-254 Design Assurance Guidance for Airborne Electronic Hardware"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.95"},{"key":"ref5","article-title":"Radio Technical Commission for Aeronautics","year":"1992","journal-title":"RTCA\/DO-178B Software considerations in airborne systems and equipment certification"},{"key":"ref8","article-title":"Position paper CAST-32A: Multi-core processors","year":"2016"},{"key":"ref7","article-title":"Radio Technical Commission for Aeronautics","year":"2011","journal-title":"Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref2","article-title":"Single core equivalent virtual machines for hard real-time computing on multicore processors","author":"sha","year":"2014"},{"key":"ref9","article-title":"Radio Technical Commission for Aeronautics","year":"2011","journal-title":"RTCA\/DO-248C Supporting Information for DO-178C and DO-278A"},{"key":"ref1","article-title":"Radio Technical Commission for Aeronautics","year":"2005","journal-title":"RTCA\/DO-297 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212740"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2014.09.004"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2013.08.002"},{"key":"ref24","article-title":"Mixed criticality on multicore\/manycore platforms (Dagstuhl seminar 15121)","volume":"5","author":"baruah","year":"2015","journal-title":"Dagstuhl Reports"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.088"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213180"},{"key":"ref25","first-page":"191","article-title":"Applied reconfigurable computing 11th International symposium, ARC 2015 Bochum, Germany, april 13–17, 2015 proceedings","volume":"9040","author":"sano","year":"2015","journal-title":"Lecture Notes Comput Sci (Including Subseries Lecture Notes Artif Intell Lecture Notes Bioinf )"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/4358213\/09118979.pdf?arnumber=9118979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:09:57Z","timestamp":1651068597000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9118979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/tc.2020.3002697","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}