{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:34:42Z","timestamp":1763458482090,"version":"build-2065373602"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100011950","name":"ITEA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100011950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1109\/fdl68117.2025.11165272","type":"proceedings-article","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T17:24:10Z","timestamp":1758648250000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Leveraging Model-Driven Architecture for Efficient Custom Instruction Utilization in Embedded Systems in C and Rust"],"prefix":"10.1109","author":[{"given":"Raphael","family":"Kunz","sequence":"first","affiliation":[{"name":"Infineon Technologies AG,Neubiberg,Germany"}]},{"given":"Mayuri","family":"Bhadra","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Neubiberg,Germany"}]},{"given":"Lijun","family":"Chen","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Neubiberg,Germany"}]},{"given":"Stephanie","family":"Ecker","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Neubiberg,Germany"}]},{"given":"Wolfgang","family":"Ecker","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Neubiberg,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ZINC.2016.7513640"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2010.5536628"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1851340.1851352"},{"volume-title":"Stack Overflow Survey 2024","year":"2024","key":"ref4"},{"volume-title":"A Proactive Approach to More Secure Code","year":"2019","key":"ref5"},{"volume-title":"Memory Safety","year":"2020","key":"ref6"},{"article-title":"Compiling C to Safe Rust, Formalized","year":"2024","author":"Fromherz","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3428204"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/NorCAS64408.2024.10752480"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICoSSE62619.2024.00012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2016.7753576"},{"key":"ref12","first-page":"196","article-title":"A Model-Driven Architecture Approach to Efficient and Adaptable Software Code Generation","volume-title":"MBMV 2024; 27. Workshop","author":"Bhadra"},{"article-title":"A new approach for generating view generators","volume-title":"Design and Verification Conference-US","author":"Schreiner","key":"ref13"},{"volume-title":"The Rust Language Reference","year":"2025","key":"ref14"},{"volume-title":"The Rust Reference: Inline Assembly","year":"2024","key":"ref15"},{"volume-title":"RISC-V LLVM Documentation","year":"2025","key":"ref16"},{"volume-title":"Rust Compiler Developer Guide","year":"2025","key":"ref17"},{"volume-title":"Clang - A C language family frontend for LLVM","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.21236\/ADA605735"},{"key":"ref20","article-title":"HW-Acceleration for Edge-AI","volume-title":"Ph.D. dissertation","author":"Prebeck","year":"2024"},{"volume-title":"RISC-V instruction set simulator (ISS)","year":"2025","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559494"},{"author":"Appel","key":"ref23","article-title":"The Science of Deep Specification"}],"event":{"name":"2025 Forum on Specification & Design Languages (FDL)","start":{"date-parts":[[2025,9,10]]},"location":"St. Goar, Germany","end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11165265\/11165266\/11165272.pdf?arnumber=11165272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T15:39:00Z","timestamp":1759246740000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11165272\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/fdl68117.2025.11165272","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]}}}