{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T10:44:28Z","timestamp":1757587468494,"version":"3.28.0"},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1109\/eurocon.2011.5929321","type":"proceedings-article","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T20:57:43Z","timestamp":1309294663000},"page":"1-2","source":"Crossref","is-referenced-by-count":2,"title":["AIR: Technology innovation for future spacecraft onboard computing systems"],"prefix":"10.1109","author":[{"given":"J.","family":"Rufino","sequence":"first","affiliation":[]},{"given":"J.","family":"Craveiro","sequence":"additional","affiliation":[]},{"given":"T.","family":"Schoofs","sequence":"additional","affiliation":[]},{"given":"J.","family":"Cristovao","sequence":"additional","affiliation":[]},{"given":"S.","family":"Santos","sequence":"additional","affiliation":[]},{"given":"C.","family":"Tatibana","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Partitioning in avionics architectures: Requirements, mechanisms and assurance","author":"rushby","year":"1999","journal-title":"NASA Contractor Report CR-1999–209347"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-642-17245-8_7","article-title":"Architecting robustness and timeliness in a new generation of aerospace systems","volume":"6420","author":"rufino","year":"2010","journal-title":"Architecting Dependable Systems Ser Lecture Notes in Computer Science"},{"key":"ref2","article-title":"AIR Technology: a step towards ARINC 653 in space","author":"rufino","year":"2009","journal-title":"Proc DASIA 2009 “DAta Systems In Aerospace” Conf"},{"journal-title":"ARINC Specification 653P1-2","article-title":"Avionics application software standard interface, part 1 ? required services","year":"2006","key":"ref1"}],"event":{"name":"IEEE EUROCON 2011 - International Conference on Computer as a Tool","start":{"date-parts":[[2011,4,27]]},"location":"Lisbon","end":{"date-parts":[[2011,4,29]]}},"container-title":["2011 IEEE EUROCON - International Conference on Computer as a Tool"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5876183\/5929030\/05929321.pdf?arnumber=5929321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T02:30:13Z","timestamp":1497925813000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5929321\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/eurocon.2011.5929321","relation":{},"subject":[],"published":{"date-parts":[[2011,4]]}}}