{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:31Z","timestamp":1750306531522,"version":"3.41.0"},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2015,1,22]],"date-time":"2015-01-22T00:00:00Z","timestamp":1421884800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Research Promotion Agency"},{"name":"Austrian Federal Ministry for Transport, Innovation and Technology"},{"name":"Province of Styria, and the Styrian Business Promotion Agency"},{"name":"Austrian Federal Ministry of Economy, Family and Youth"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2015,1,22]]},"abstract":"<jats:p>Automotive embedded systems have become very complex, are strongly integrated, and the safety-criticality and real-time constraints of these systems raise new challenges. Distributed system development, short time-to-market intervals, and automotive safety standards (such as ISO 26262 [8]) require efficient and consistent product development along the entire development lifecycle. The automotive OSEK\/VDX standard provides an architecture for distributed real-time units in vehicles and a language aiming in specifying the configuration of real-time OSEK operating systems. The aim of this paper is to enhance a model-driven system-engineering framework with the capability of generating OS configurations from existing high level control system information. Furthermore, to enable the possibility to update stored information from OSEK Implementation Language (OIL) files and support round-trip engineering of real-time operating system (RTOS) configurations. This enables the seamless description of automotive RTOS, from system level requirements to software implementation and therefore ensures consistency and correctness of the configuration. To that aim, a bidirectional tool bridge is proposed based on OSEK OIL exchange format files.<\/jats:p>","DOI":"10.1145\/2724942.2724953","type":"journal-article","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T14:05:51Z","timestamp":1422453951000},"page":"67-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automotive real-time operating systems"],"prefix":"10.1145","volume":"11","author":[{"given":"Georg","family":"Macher","sequence":"first","affiliation":[{"name":"Graz University of Technology, AVL List GmbH, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muesluem","family":"Atas","sequence":"additional","affiliation":[{"name":"Graz University of Technology, AVL List GmbH, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Armengaud","sequence":"additional","affiliation":[{"name":"AVL List GmbH, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,1,22]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"AUTOSAR development cooperation. AUTOSAR AUTomotive Open System ARchitecture 2009.  AUTOSAR development cooperation. AUTOSAR AUTomotive Open System ARchitecture 2009."},{"volume-title":"IEEE Magazin","year":"2008","author":"Broy Manfred","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.140"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Holger Giese Stephan Hildebrandt and Stefan Neumann. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. LNCS 5765 pages pp. 555--579 2010.  Holger Giese Stephan Hildebrandt and Stefan Neumann. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. LNCS 5765 pages pp. 555--579 2010.","DOI":"10.1007\/978-3-642-17322-6_24"},{"volume-title":"Proc SVERTS: Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, Workshop at UML 2003","year":"2003","author":"Gu Zonghua","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","unstructured":"Joerg Holtmann Jan Meyer and Matthias Meyer. A Seamless Model-Based Development Process for Automotive Systems 2011.  Joerg Holtmann Jan Meyer and Matthias Meyer. A Seamless Model-Based Development Process for Automotive Systems 2011."},{"key":"e_1_2_1_7_1","unstructured":"ISO - International Organization for Standardization. ISO 17356 Road vehicles -- Open interface for embedded automotive applications 2005.  ISO - International Organization for Standardization. ISO 17356 Road vehicles -- Open interface for embedded automotive applications 2005."},{"key":"e_1_2_1_8_1","unstructured":"ISO - International Organization for Standardization. ISO 26262 Road vehicles Functional Safety Part 1--10 2011.  ISO - International Organization for Standardization. ISO 26262 Road vehicles Functional Safety Part 1--10 2011."},{"key":"e_1_2_1_9_1","first-page":"307","volume-title":"Gwangsu Kim. Lightweight AUTOSAR Software Platform for Automotive. In IEEE International Conference on Consumer Electronics","author":"Kim JaeYoung","year":"2012"},{"key":"e_1_2_1_10_1","first-page":"2001","author":"Koester Lutz","year":"2001","journal-title":"Embedded Intelligence"},{"volume-title":"Lecture Notes in Informatics","year":"2014","author":"Macher Georg","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","first-page":"256","volume-title":"7th European Congress Embedded Real Time Software and Systems Proceedings","author":"Macher Georg","year":"2014"},{"volume-title":"Graz University of Technology","year":"2012","author":"Mader Roland","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","unstructured":"OSEK\/VDX Steering Committee. OSEK\/VDX System Generation OIL: OSEK Implementation Language. http:\/\/portal.osek-vdx.org\/files\/pdf\/specs\/oil25.pdf 2004.  OSEK\/VDX Steering Committee. OSEK\/VDX System Generation OIL: OSEK Implementation Language. http:\/\/portal.osek-vdx.org\/files\/pdf\/specs\/oil25.pdf 2004."},{"key":"e_1_2_1_15_1","unstructured":"Imran Rafiq Quadri and Andrey Sadovykh. MADES: A SysML\/MARTE high level methodology for real-time and embedded systems 2011.  Imran Rafiq Quadri and Andrey Sadovykh. MADES: A SysML\/MARTE high level methodology for real-time and embedded systems 2011."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2005.70"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535409_63"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2724942.2724953","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2724942.2724953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:13Z","timestamp":1750227133000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2724942.2724953"}},"subtitle":["a model-based configuration approach"],"short-title":[],"issued":{"date-parts":[[2015,1,22]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,1,22]]}},"alternative-id":["10.1145\/2724942.2724953"],"URL":"https:\/\/doi.org\/10.1145\/2724942.2724953","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2015,1,22]]},"assertion":[{"value":"2015-01-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}