{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:50:16Z","timestamp":1756000216656},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/aiccsa.2018.8612862","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T01:26:29Z","timestamp":1547774789000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["A Model-Based Concept for RTOS Portability"],"prefix":"10.1109","author":[{"given":"Renata Martins","family":"Gomes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Baunach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502042"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693095"},{"key":"ref12","first-page":"41","article-title":"A co-designed RTOS and MCU concept for dynamically composed embedded systems","author":"gomes","year":"2017","journal-title":"OSPERT'17"},{"journal-title":"Event-b and the Rodin Platform","year":"0","key":"ref13"},{"journal-title":"Deploy Project","year":"0","key":"ref14"},{"journal-title":"MSP430 ultra-low-power sensing and measurement MCUs","year":"0","author":"instruments","key":"ref15"},{"journal-title":"The RISC-V Instruction Set Manual Volume I User-Level ISA Version 2 2","year":"2017","author":"waterman","key":"ref16"},{"key":"ref17","article-title":"Formal Refinement for Operating System Kernels","author":"craig","year":"2007","journal-title":"Secaucus"},{"journal-title":"Formal Models of Operating System Kernels","year":"2010","author":"craig","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0308-9"},{"journal-title":"Formal construction of instruction set architectures","year":"2009","author":"wright","key":"ref28"},{"journal-title":"The Linux Kernel Archives","year":"2018","author":"linux","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968493"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1286821.1286824"},{"key":"ref6","first-page":"45","article-title":"KVM for ARM","author":"dall","year":"2010","journal-title":"Proceedings of the Linux Symposium"},{"key":"ref29","first-page":"7","article-title":"Towards versatile models for contemporary hardware platforms","author":"borghorst","year":"2016","journal-title":"12th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'16)"},{"journal-title":"The FreeRTOS kernel","year":"2018","key":"ref5"},{"key":"ref8","article-title":"Porting linux to x86–64","author":"kleen","year":"2001","journal-title":"Proceedings of the Linux Symposium"},{"key":"ref7","first-page":"398","article-title":"Porting Linux to the M32R processor","author":"takata","year":"2003","journal-title":"Proceedings of the Linux Symposium"},{"year":"2008","key":"ref2","article-title":"IEEE Standard for Information Technology - Portable Operating System Interface (POSIX(R))"},{"journal-title":"Official FreeRTOS ports","year":"2018","key":"ref9"},{"journal-title":"Is this the future of the Internet of Things?","year":"2015","author":"forum","key":"ref1"},{"key":"ref20","first-page":"155","article-title":"Modelling and proof analysis of interrupt driven scheduling","author":"stoddart","year":"2007","journal-title":"International Users Conference"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2015.24"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2174\/1874110X01509011125"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2893177"},{"key":"ref23","article-title":"Modeling guidelines of FreeRTOS in Event-B","author":"alkhammash","year":"2017","journal-title":"Shaping the future of ICT trends in information technology communications engineering and management"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2017.12.001"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"}],"event":{"name":"2018 IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2018,10,28]]},"location":"Aqaba","end":{"date-parts":[[2018,11,1]]}},"container-title":["2018 IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8612460\/8612765\/08612862.pdf?arnumber=8612862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T03:48:45Z","timestamp":1551152925000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8612862\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2018.8612862","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}