{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T00:19:09Z","timestamp":1787012349531,"version":"build-2736575974"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"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,9,24]]},"DOI":"10.1109\/itsc57777.2023.10422590","type":"proceedings-article","created":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T18:32:39Z","timestamp":1707849159000},"page":"710-717","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Contract-Based Definition of Update-Compatibility \u2013 Modelling Safety Integration Criteria"],"prefix":"10.1109","author":[{"given":"Irune","family":"Yarza","sequence":"first","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Arrasate-Mondragón,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Irune","family":"Agirre","sequence":"additional","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Arrasate-Mondragón,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Imanol","family":"Mugarza","sequence":"additional","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Arrasate-Mondragón,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gregor","family":"Nitsche","sequence":"additional","affiliation":[{"name":"German Aerospace Center (DLR) e.V.,Oldenburg,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Uven","sequence":"additional","affiliation":[{"name":"German Aerospace Center (DLR) e.V.,Oldenburg,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan Maria","family":"Orbegozo","sequence":"additional","affiliation":[{"name":"CAF Signalling,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"IEC 61508 Functional safety of Electrical\/Electronic\/Programmable Electronic safety-related systems (Second edition)","year":"2010"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/s20247160"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66284-8_17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107343"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2020.103257"},{"key":"ref6","first-page":"1","article-title":"Uptane: Securing software updates for automobiles","volume-title":"International Conference on Embedded Security in Car, Conference Proceedings","author":"Karthik"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2017.2778751"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1656437.1656440"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2820"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_22"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI51800.2020.00318"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99130-6_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3176879"},{"key":"ref14","article-title":"Design paradigms for multi-layer time coherency in ADAS and automated driving (MULTIC)","author":"B\u00f6De","year":"2017","journal-title":"FAT"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2021.104351"},{"key":"ref17","article-title":"D4.1 -UP2DATE Middleware Foundations","volume-title":"UP2DATE","year":"2021"},{"key":"ref18","volume-title":"Enterprise-control system integration"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744901"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"key":"ref21","article-title":"OCRA: othello contracts refinement analysisversion 2.0","volume-title":"Tech. Rep.","author":"Cimatti","year":"2021"},{"key":"ref22","volume-title":"D3.8 final report on probabilistic analysis for mixed criticality on multicore","author":"Cucu"}],"event":{"name":"2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)","location":"Bilbao, Spain","start":{"date-parts":[[2023,9,24]]},"end":{"date-parts":[[2023,9,28]]}},"container-title":["2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10420842\/10420843\/10422590.pdf?arnumber=10422590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T06:55:13Z","timestamp":1709448913000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10422590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,24]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/itsc57777.2023.10422590","relation":{},"subject":[],"published":{"date-parts":[[2023,9,24]]}}}