{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:38:49Z","timestamp":1729615129735,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/sies.2014.6871208","type":"proceedings-article","created":{"date-parts":[[2014,8,18]],"date-time":"2014-08-18T17:02:39Z","timestamp":1408381359000},"page":"228-237","source":"Crossref","is-referenced-by-count":6,"title":["A kernel-based architecture for safe cooperative vehicular functions"],"prefix":"10.1109","author":[{"given":"Antonio","family":"Casimiro","sequence":"first","affiliation":[]},{"given":"Jose","family":"Rufino","sequence":"additional","affiliation":[]},{"given":"Ricardo C.","family":"Pinto","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Vial","sequence":"additional","affiliation":[]},{"given":"Elad M.","family":"Schiller","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Morales-Ponce","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Petig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"354","article-title":"Selfstabilizing TDMA algorithms for wireless ad-hoc networks without external reference","volume":"8255","author":"petig","year":"2013","journal-title":"Teruo Higashino Yoshiaki Katayama Toshimitsu Masuzawa Maria Potop-Butucaru and Masafumi Yamashita of Lecture Notes in Computer Science"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/25.69979"},{"key":"17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2069131.2069133","article-title":"Gulliver: A test-bed for developing, demonstrating and prototyping vehicular systems","author":"pahlavan","year":"2011","journal-title":"Proceedings of the 9th ACM International Symposium on Mobility Management and Wireless Access"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1024739"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1238912"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1122480.1122497"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/VTCFall.2012.6399373"},{"journal-title":"GENESYS A Candidate for An ARTEMIS Cross-Domain Reference Architecture for Embedded Systems","year":"2009","author":"obermaisser","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/978-3-642-16023-3_37","article-title":"Chameleon-mac: Adaptive and self-algorithms for media access control in mobile ad hoc networks","volume":"6366","author":"leone","year":"2010","journal-title":"Shlomi Dolev Jorge Arturo Cobb of Lecture Notes in Computer Science"},{"key":"14","first-page":"119","article-title":"Self-stabilizing TDMA algorithms for dynamic wireless ad-hoc networks","author":"leone","year":"2013","journal-title":"Marten Van Sinderen Octavian Postolache and Ce?sar Benavente-Peces"},{"key":"11","first-page":"189","author":"kim","year":"1995","journal-title":"The Distributed Recovery Block Scheme"},{"key":"12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-642-05434-1_21","article-title":"Relocation analysis of stabilizing mac algorithms for large-scale mobile ad hoc networks","volume":"5804","author":"leone","year":"2009","journal-title":"Shlomi Dolev Editor ALGOSENSORS of Lecture Notes in Computer Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"3","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-642-37974-1_14","article-title":"Bridging physical and digital traffic system simulations with the gulliver test-bed","author":"berger","year":"2013","journal-title":"Communication Technologies for Vehicles"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2013.6728435"},{"journal-title":"A research agenda for mixed-criticality systems","year":"2009","author":"barhorst","key":"2"},{"journal-title":"GRLIB IP Library User's Manual","year":"2014","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"2769","DOI":"10.23919\/ACC.2004.1383885","article-title":"Decentralized control of a large platoon of vehicles using non-identical controllers","volume":"3","author":"khatir","year":"2004","journal-title":"American Control Conference 2004 Proceedings of the 2004"},{"key":"7","article-title":"Safety kernel for cooperative sensor-based systems","author":"da costa no?brega","year":"2013","journal-title":"Henrik Lo?nn and Elad Michael Schiller"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2013.6615530"},{"key":"5","article-title":"Vehicular coordination via a safety kernel in the gulliver testbed","author":"casimiro","year":"2014","journal-title":"13th Int Workshop on Assurance in Distributed Systems and Networks (ADSN'14)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.23"},{"key":"9","article-title":"An architecture pattern enabling safety at lower cost and with higher performance","author":"johansson","year":"2014","journal-title":"Embedded Real Time Software and Systems Conference Toulouse France"},{"year":"2011","key":"8"}],"event":{"name":"2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)","start":{"date-parts":[[2014,6,18]]},"location":"Pisa","end":{"date-parts":[[2014,6,20]]}},"container-title":["Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6867218\/6871170\/06871208.pdf?arnumber=6871208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:27:01Z","timestamp":1602674821000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6871208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/sies.2014.6871208","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}