{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:05Z","timestamp":1772164025539,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T00:00:00Z","timestamp":1498003200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["LO 1719\/1-3"],"award-info":[{"award-number":["LO 1719\/1-3"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,21]]},"DOI":"10.1145\/3078633.3081030","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T13:40:22Z","timestamp":1497015622000},"page":"111-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["OSEK-V: application-specific RTOS instantiation in hardware"],"prefix":"10.1145","author":[{"given":"Christian","family":"Dietrich","sequence":"first","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AEEC. Avionics Application Software Standard Interface (ARINC Specification 653-1). ARINC Inc 2003.  AEEC. Avionics Application Software Standard Interface (ARINC Specification 653-1). ARINC Inc 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Automotive Open System Architecture GbR","author":"AUTOSAR.","year":"2013","unstructured":"AUTOSAR. Specification of Operating System (Version 5.1.0). Tech. rep . Automotive Open System Architecture GbR , 2013 . AUTOSAR. Specification of Operating System (Version 5.1.0). Tech. rep. Automotive Open System Architecture GbR, 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.45"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.35"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134292"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.748199"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.16807"},{"key":"e_1_3_2_1_8_1","first-page":"12","volume-title":"OSPERT \u201915.","author":"Dietrich Christian","year":"2015","unstructured":"Christian Dietrich , Martin Hoffmann , and Daniel Lohmann . \u201c Back to the Roots: Implementing the RTOS as a Specialized State Machine \u201d. In: OSPERT \u201915. 2015 , pp. 7\u2013 12 . Christian Dietrich, Martin Hoffmann, and Daniel Lohmann. \u201cBack to the Roots: Implementing the RTOS as a Specialized State Machine\u201d. In: OSPERT \u201915. 2015, pp. 7\u201312."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670529.2754963"},{"key":"e_1_3_2_1_10_1","unstructured":"Guidelines for the Use of the C Language in Critical Systems (MISRA-C). 2004.  Guidelines for the Use of the C Language in Critical Systems (MISRA-C). 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.18"},{"key":"e_1_3_2_1_12_1","volume-title":"An n log n algorithm for minimizing states in a finite automaton. Tech. rep. Computer Science Department","author":"Hopcroft John","year":"1971","unstructured":"John Hopcroft . An n log n algorithm for minimizing states in a finite automaton. Tech. rep. Computer Science Department , University of California , 1971 . John Hopcroft. An n log n algorithm for minimizing states in a finite automaton. Tech. rep. Computer Science Department, University of California, 1971."},{"key":"e_1_3_2_1_13_1","volume-title":"ISO 26262-4: 2011: Road vehicles \u2013 Functional safety \u2013 Part 4: Product development at the system level","author":"ISO","year":"2011","unstructured":"ISO 26262-4. ISO 26262-4: 2011: Road vehicles \u2013 Functional safety \u2013 Part 4: Product development at the system level . 2011 . ISO 26262-4. ISO 26262-4:2011: Road vehicles \u2013 Functional safety \u2013 Part 4: Product development at the system level. 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30501-9_158"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944656"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.62"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESSCIRC.2014.6942056"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596532.1596540"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74869"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/377769.377778"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1047743"},{"issue":"34","key":"e_1_3_2_1_22_1","first-page":"129","article-title":"Gedanken-experiments on sequential machines","author":"Moore Edward F.","year":"1956","unstructured":"Edward F. Moore . \u201c Gedanken-experiments on sequential machines \u201d. In: Automata studies. Annals of mathematics studies , no. 34 . 1956 , pp. 129 \u2013 153 . Edward F. Moore. \u201cGedanken-experiments on sequential machines\u201d. In: Automata studies. Annals of mathematics studies, no. 34. 1956, pp. 129\u2013153.","journal-title":"Automata studies. Annals of mathematics studies"},{"key":"e_1_3_2_1_23_1","volume-title":"OSEK\/VDX Group","author":"OSEK\/VDX Group","year":"2005","unstructured":"OSEK\/VDX Group . Operating System Specification 2.2.3. Tech. rep. http:\/\/portal.osekvdx.org\/files\/pdf\/specs\/ os223.pdf, visited 2014-09-29 . OSEK\/VDX Group , 2005 . OSEK\/VDX Group. Operating System Specification 2.2.3. Tech. rep. http:\/\/portal.osekvdx.org\/files\/pdf\/specs\/ os223.pdf, visited 2014-09-29. OSEK\/VDX Group, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2028359"},{"key":"e_1_3_2_1_25_1","volume-title":"Agile Design for Hardware. EE|Times blog post","author":"Patterson David","year":"2015","unstructured":"David Patterson and Borivoje Nikoli\u00b4c . Agile Design for Hardware. EE|Times blog post . 2015 . David Patterson and Borivoje Nikoli\u00b4c. Agile Design for Hardware. EE|Times blog post. 2015."},{"issue":"1","key":"e_1_3_2_1_26_1","first-page":"11","article-title":"The Synthesis Kernel","volume":"1","author":"Pu Calton","year":"1988","unstructured":"Calton Pu , Henry Massalin , and John Ioannidis . \u201c The Synthesis Kernel \u201d. In: Computing Systems 1 . 1 ( 1988 ), pp. 11 \u2013 32 . Calton Pu, Henry Massalin, and John Ioannidis. \u201cThe Synthesis Kernel\u201d. In: Computing Systems 1.1 (1988), pp. 11\u2013 32.","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.002"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.476258"},{"key":"e_1_3_2_1_29_1","volume-title":"Structured Computer Organization. Fifth","author":"Tanenbaum Andrew S.","year":"2006","unstructured":"Andrew S. Tanenbaum . Structured Computer Organization. Fifth . 2006 . Andrew S. Tanenbaum. Structured Computer Organization. Fifth. 2006."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/332833.332837"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982267"},{"key":"e_1_3_2_1_32_1","first-page":"155","volume-title":"ICCAD \u201988.","author":"Varma D.","year":"1988","unstructured":"D. Varma and E.A. Trachtenberg . \u201c A fast algorithm for the optimal state assignment of large finite state machines \u201d. In: ICCAD \u201988. 1988 , pp. 152\u2013 155 . D. Varma and E.A. Trachtenberg. \u201cA fast algorithm for the optimal state assignment of large finite state machines\u201d. In: ICCAD \u201988. 1988, pp. 152\u2013155."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/74382.74437"},{"key":"e_1_3_2_1_34_1","volume-title":"Version 2.0. Tech. rep. UCB\/EECS-2014- 54. EECS Department","author":"Waterman Andrew","year":"2014","unstructured":"Andrew Waterman , Yunsup Lee , David A. Patterson , and Krste Asanovi\u00b4c . The RISC-V Instruction Set Manual, Volume I: User-Level ISA , Version 2.0. Tech. rep. UCB\/EECS-2014- 54. EECS Department , University of California , Berkeley , 2014 . Andrew Waterman, Yunsup Lee, David A. Patterson, and Krste Asanovi\u00b4c. The RISC-V Instruction Set Manual, Volume I: User-Level ISA, Version 2.0. Tech. rep. UCB\/EECS-2014- 54. EECS Department, University of California, Berkeley, 2014."}],"event":{"name":"LCTES '17: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2017","location":"Barcelona Spain","acronym":"LCTES '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 18th ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078633.3081030","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3078633.3081030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:30:31Z","timestamp":1750203031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078633.3081030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,21]]},"references-count":34,"alternative-id":["10.1145\/3078633.3081030","10.1145\/3078633"],"URL":"https:\/\/doi.org\/10.1145\/3078633.3081030","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140582.3081030","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,21]]},"assertion":[{"value":"2017-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}