{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:38:15Z","timestamp":1725471495737},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/etfa.2016.7733550","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T21:26:20Z","timestamp":1478553980000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Safe tasks: Run time verification of the RTFM-lang model of computation"],"prefix":"10.1109","author":[{"given":"Marcus","family":"Lindner","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Lindner","sequence":"additional","affiliation":[]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128747"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601482"},{"journal-title":"Using the FreeRTOS Real Time Kernel A Practical Guide - NXP LPC17xx Edition","year":"2010","author":"barry","key":"ref10"},{"key":"ref6","article-title":"Kernel support for MPU based memory protection in RTFM-core","author":"lindner","year":"2015","journal-title":"masters thesis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1460412.1460479"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925989"},{"key":"ref12","first-page":"1","article-title":"A new approach to memory partitioning in on-board spacecraft software","author":"urue\u00f1a","year":"0"},{"journal-title":"ARM infocenter DUI 0552A","article-title":"Cortex-M3 Devices - Generic User Guide","year":"2010","key":"ref8"},{"journal-title":"ARM infocenter DDI 0403E B","article-title":"ARMv7-M Architecture Reference Manual","year":"2014","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEA.2015.7334252"},{"key":"ref9","article-title":"Entwurf und Implementierung von Speicherschutzmecha-nismen für das WSN\/IoT Betriebssystem RIOT-OS unter Verwendung der Speicherschutzeinheit des Cortex M4 Prozessors","author":"famulla","year":"2014","journal-title":"Bachelor-Thesis"},{"year":"0","key":"ref1"}],"event":{"name":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2016,9,6]]},"location":"Berlin, Germany","end":{"date-parts":[[2016,9,9]]}},"container-title":["2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7593665\/7733490\/07733550.pdf?arnumber=7733550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,7]],"date-time":"2016-12-07T17:34:09Z","timestamp":1481132049000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7733550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/etfa.2016.7733550","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}