{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:04:50Z","timestamp":1729638290020,"version":"3.28.0"},"reference-count":46,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005228","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T16:34:59Z","timestamp":1421166899000},"page":"1-10","source":"Crossref","is-referenced-by-count":7,"title":["Architectures for mixed-criticality systems based on networked multi-core chips"],"prefix":"10.1109","author":[{"given":"R.","family":"Obermaisser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2011.6096118"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2013.6719728"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2010.31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.78"},{"key":"ref31","first-page":"363","article-title":"parmerasa-multicore execution of parallelised hard real-time applications supporting analysability","author":"ungerer","year":"2013","journal-title":"DSD"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837353"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702769"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2010.38"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2013.6732214"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2012.19"},{"journal-title":"Tech Rep","year":"2002","key":"ref10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2055877"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/5.259424"},{"key":"ref12","first-page":"31","article-title":"Generating and maintaining a safety argument for integrated modular systems","author":"nicholson","year":"2000","journal-title":"Proceedings of the 5th Australian Workshop on Safety Critical Systems and Software"},{"journal-title":"Real-Time Systems-Design Principles for Distributed Embedded Applications","year":"2011","author":"kopetz","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250707"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.32"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1040"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.33"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-3-540-75101-4_33","article-title":"A comparison of partitioning operating systems for integrated systems","volume":"4680","author":"leiner","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"ref19","article-title":"Certification of trusted mpsoc platforms","author":"ernst","year":"2010","journal-title":"10th International Forum on Embedded MPSoC and Multicore"},{"year":"2010","key":"ref28","article-title":"D2.2 Functional Specification of Middleware and System Components"},{"key":"ref4","article-title":"Modular certification","author":"rushby","year":"2001","journal-title":"Tech Rep"},{"journal-title":"GENESYS-An ARTEMIS Cross-Domain Reference Architecture for Embedded Systems","year":"2009","author":"obermaisser","key":"ref27"},{"key":"ref3","article-title":"Partitioning for avionics architectures: Requirements, mechanisms, and assurance","author":"rushby","year":"1999","journal-title":"NASA Contractor Report CR-1999&#x2013;209347 NASA Langley Research Center"},{"year":"2008","key":"ref6","article-title":"Promoting open carrier grade base platforms. virtualization: State of the art"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2544350.2544353"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618105"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455231"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2071388"},{"journal-title":"IEC 61508 Edition 2 0 Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems","year":"2010","key":"ref2"},{"journal-title":"Time-triggered Communication","year":"2011","author":"bauer","key":"ref9"},{"journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref1"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176680"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.24"},{"year":"2013","key":"ref45"},{"article-title":"Safety-Critical Software Development for Integrated Modular Avionics","year":"2007","author":"paul","key":"ref22"},{"article-title":"White Paper PikeOS and Time-Triggering","year":"2013","author":"henrik","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/WCINS.2010.5541912"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.18"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICFCC.2010.5497528"},{"journal-title":"lynuxworks","article-title":"LynxOS User's Guide, Release 4.0, DOC-0453&#x2013;02","year":"2005","key":"ref23"},{"journal-title":"Radio Technical Commission for Aeronautics Tech Rep","article-title":"ARINC 655 remote data concentrator (RDC)-generic description","year":"1999","key":"ref44"},{"key":"ref26","article-title":"Microprocessors for the new millenium, challenges, opportunities, and new frontiers","author":"gelsinger","year":"2001","journal-title":"Proc of the Solid State Circuit Conference IEEE Press"},{"journal-title":"ARINC Specification 653 Avionics Application Software Standard Interface Part 1-Required Services","year":"2006","key":"ref43"},{"key":"ref25","first-page":"1","article-title":"Evaluating the potential of graphics processors for high performance embedded computing","author":"mu","year":"2011","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE) 2011"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005228.pdf?arnumber=7005228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:35:38Z","timestamp":1498174538000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005228\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005228","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}