{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:54:34Z","timestamp":1757310874657,"version":"3.37.3"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004836","name":"Danish Independent Research Foundation","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.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/tcad.2019.2960359","type":"journal-article","created":{"date-parts":[[2019,12,17]],"date-time":"2019-12-17T21:07:18Z","timestamp":1576616838000},"page":"2307-2318","source":"Crossref","is-referenced-by-count":4,"title":["\u00c6r\u00f8: A Platform Architecture for Mixed-Criticality Airborne Systems"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7900-9785","authenticated-orcid":false,"given":"Shibarchi","family":"Majumder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1765-5551","authenticated-orcid":false,"given":"Jens Frederik","family":"Dalsgaard Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Bak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925994"},{"journal-title":"RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"2011","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.07.014"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-009-0073-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/758480"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79707-4_7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRT.1991.144077"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1996.557849"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378622"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2012.87"},{"article-title":"Microprocessor evaluation for safety-critical, real-time applications: Authority expenditure no 43 phase 5 report","year":"2011","author":"mahapatra","key":"ref4"},{"article-title":"Assurance of multicore processors in airborne systems","year":"2017","author":"mutuel","key":"ref3"},{"journal-title":"RTCA\/DO-254 Design Assurance Guidance for Airborne Electronic Hardware","year":"2000","key":"ref6"},{"journal-title":"Safety Implications of the Use of System-on-chip (SoC) on Commercial Of-the-shelf (COTS) Devices in Airborne Critical Applications","year":"2008","author":"faubladier","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2016.36"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.002"},{"journal-title":"RTCA\/DO-178B Software considerations in airborne systems and equipment certification","year":"1992","key":"ref2"},{"journal-title":"RTCA\/DO-297 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations","year":"2005","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/aer.2019.30"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.78"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212740"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9204502\/08935377.pdf?arnumber=8935377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:05:33Z","timestamp":1651068333000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8935377\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":21,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2019.2960359","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2020,10]]}}}