{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:22:26Z","timestamp":1725657746795},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281738","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:59:09Z","timestamp":1443722349000},"page":"221-226","source":"Crossref","is-referenced-by-count":1,"title":["Lessons learned from the development of an ARINC 653 compatible Operating System"],"prefix":"10.1109","author":[{"given":"Luis Fernando","family":"Arcaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romulo Silva","family":"de Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref11","article-title":"Mapeamento do isolamento espacial da ARINC 653 para a arquitetura ARMv7-A","author":"arcaro","year":"2014","journal-title":"SBESC 2014-Critical Systems Track"},{"journal-title":"Cortex-A8 Technical Reference Manual","year":"2010","key":"ref12"},{"journal-title":"ARINC","article-title":"Aircraft Data Network Part 7-Avionics Full Duplex Switched Ethernet (AFDX) Network (ARINC Specification 664P7)","year":"2005","key":"ref13"},{"key":"ref14","article-title":"Multicore in real-time systems-temporal isolation challenges due to shared resources","author":"kotaba","year":"2013","journal-title":"proceedings of Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical Mixed-Criticality Systems (at DATE Conf )"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2010.5655298"},{"key":"ref3","article-title":"Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives","author":"han","year":"2013","journal-title":"Software Practice and Experience"},{"journal-title":"AM335x ARM Cortex-A8 Microprocessors (MPUs) Technical Reference Manual","article-title":"Texas Instruments","year":"2013","key":"ref6"},{"journal-title":"Beagleboard org","year":"2014","key":"ref5"},{"journal-title":"ARM Architecture Reference Manual ARMv7-A and ARMv7-R Edition","article-title":"ARM","year":"2012","key":"ref8"},{"journal-title":"BeagleBone Rev A6 System Reference Manual beagle-board org","year":"2012","author":"coley","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702770"},{"journal-title":"ARINC","article-title":"Avionics Application Software Standard Interface Part 1-Required services (ARINC Specification 653P1-2)","year":"2006","key":"ref1"},{"journal-title":"Cortex-A Series Programmer's Guide","year":"2014","key":"ref9"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281738.pdf?arnumber=7281738","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T16:03:08Z","timestamp":1490371388000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281738\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281738","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}