{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T15:38:34Z","timestamp":1760888314374,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/dasc.2008.4702767","type":"proceedings-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T19:19:34Z","timestamp":1228936774000},"page":"1.E.2-1-1.E.2-7","source":"Crossref","is-referenced-by-count":20,"title":["A portable ARINC 653 standard interface"],"prefix":"10.1109","author":[{"given":"Sergio","family":"Santos","sequence":"first","affiliation":[]},{"given":"Jose","family":"Rufino","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Schoofs","sequence":"additional","affiliation":[]},{"given":"Cassia","family":"Tatibana","sequence":"additional","affiliation":[]},{"given":"James","family":"Windsor","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"formally verified application-level framework for real-time scheduling on posix real-time operating systems","volume":"30","author":"peng","year":"2004","journal-title":"IEEE Transactions on Software Engineering"},{"journal-title":"Embedded Software Development with eCOS","year":"2002","author":"massa","key":"17"},{"journal-title":"Virtual Machines Versatile Platforms for Systems and Processes","year":"2005","author":"smith","key":"18"},{"year":"0","key":"15"},{"year":"0","key":"16"},{"year":"0","key":"13"},{"key":"14","first-page":"1","article-title":"robust partitioning and composability in arinc 653 conformant real-time operating systems","author":"rufino","year":"2008","journal-title":"st INTERAC Plenary Workshop"},{"key":"11","article-title":"arinc 653 in space","author":"diniz","year":"2005","journal-title":"Proceedings of the DASIA 2005 Data Systems In Aerospace Conference"},{"key":"12","article-title":"arinc 653 interface in rtems","author":"rufino","year":"2007","journal-title":"Proceedings of the DASIA 2007 Data Systems In Aerospace Conference"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"journal-title":"The use of POSIX in real-time systems assessing its effectiveness and performance","year":"2000","author":"obenland","key":"20"},{"journal-title":"Digital Unix - Guide to Realtime Programming","year":"1996","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.30"},{"year":"0","key":"24"},{"year":"0","key":"25"},{"journal-title":"Achievements and exploitation of the AUTOSAR development partnership","year":"2006","author":"fennel","key":"26"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"journal-title":"Virtualization for Embedded Systems","year":"2007","author":"heiser","key":"10"},{"key":"1","article-title":"amoba - arinc 653 simulator for modular space based applications","author":"pascoal","year":"2008","journal-title":"DAta Systems In Aerospace Conference"},{"journal-title":"VxWorks Programmers Guide-5 5","year":"2003","author":"river","key":"7"},{"year":"0","key":"6"},{"year":"0","key":"5"},{"article-title":"partitioning in avionics architectures: requirements, mechanisms and assurance","year":"1999","author":"rushby","key":"4"},{"key":"9","article-title":"the pikeos concepts","author":"kaiser","year":"2007","journal-title":"History and Design"},{"journal-title":"Combining Partitioning and Virtualization for Safety-Critical Systems","year":"2007","author":"kaiser","key":"8"}],"event":{"name":"2008 IEEE\/AIAA 27th Digital Avionics Systems Conference (DASC)","start":{"date-parts":[[2008,10,26]]},"location":"St. Paul, MN, USA","end":{"date-parts":[[2008,10,30]]}},"container-title":["2008 IEEE\/AIAA 27th Digital Avionics Systems Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4694773\/4702732\/04702767.pdf?arnumber=4702767","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T02:59:52Z","timestamp":1489805992000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4702767\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/dasc.2008.4702767","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}