{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:30:49Z","timestamp":1763458249937,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1109\/isie51358.2023.10228088","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:30:24Z","timestamp":1693503024000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["Hardware support for Static-Priority Stack Resource Policy based scheduling"],"prefix":"10.1109","author":[{"given":"Per","family":"Lindgren","sequence":"first","affiliation":[{"name":"Luleå University of Technology"}]},{"given":"Pawel","family":"Dzialo","sequence":"additional","affiliation":[{"name":"Luleå University of Technology"}]},{"given":"Henri","family":"Lunnikivi","sequence":"additional","affiliation":[{"name":"Tampere University"}]}],"member":"263","reference":[{"year":"0","key":"ref13","article-title":"AURIXTM TC3xx"},{"year":"2023","key":"ref12","article-title":"ESP32C3 Technical Reference Manual"},{"year":"2023","key":"ref15","article-title":"seL4 - If I run seL4, is my system secure?"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.18"},{"year":"2023","key":"ref11","article-title":"Core-Local Interrupt Controller (CLIC) RISC-V Privileged Architecture Extensions"},{"year":"2021","key":"ref10","article-title":"The RISC-V Instruction Set Manual, Volume II: Privileged Architecture"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.48943"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128747"},{"year":"2023","key":"ref17","article-title":"Why Rust is actually good for your car"},{"key":"ref16","article-title":"Concurrent Reactive Objects in Rust Secure by Construction","volume":"40","author":"lindner","year":"2019","journal-title":"Ada User Journal"},{"year":"2023","key":"ref18","article-title":"Automotive Safety and Cybersecurity: Infineon’s AURIXTM TC3xx, TC4x, TRAVEOTM T2G & PSoC families of microcontrollers support Rust"},{"year":"2023","key":"ref8","article-title":"Armv8-M Architecture Reference Manual"},{"year":"2023","key":"ref7","article-title":"Armv6-M Architecture Reference Manual"},{"year":"2023","key":"ref9","article-title":"Armv7-M Architecture Reference Manual"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990598"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601482"},{"journal-title":"Real time rust on multi-core microcontrollers","year":"2020","author":"aparicio rivera","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.37"}],"event":{"name":"2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2023,6,19]]},"location":"Helsinki, Finland","end":{"date-parts":[[2023,6,21]]}},"container-title":["2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10227852\/10227910\/10228088.pdf?arnumber=10228088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T17:53:25Z","timestamp":1695664405000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10228088\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isie51358.2023.10228088","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]}}}