{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:46:22Z","timestamp":1730220382506,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347125","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:11Z","timestamp":1260456251000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["A spatial and temporal partitioning approach for dependable automotive systems"],"prefix":"10.1109","author":[{"given":"Damien","family":"Chabrol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Aussagues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"David","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/356678.356680"},{"key":"ref3","article-title":"Structured programming","author":"dijkstra","year":"1969","journal-title":"Proc Conf NATO Science Committee"},{"journal-title":"ISO26262","article-title":"Road vehicles — Functional safety — Part 6: Product development: software level","year":"0","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79789-7_4"},{"journal-title":"Autosar","year":"0","key":"ref11"},{"key":"ref5","first-page":"294","article-title":"A trusted computing base for embedded systems","author":"rushby","year":"1984","journal-title":"Proceedings 7th DoD\/NBS Computer Security Initiative Conference"},{"key":"ref8","article-title":"Partitioning in Avionics Architectures: Requirements","author":"rushby","year":"1998","journal-title":"Technical Report Computer Science Laboratory SRI International"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49646-7_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.7053"},{"key":"ref9","article-title":"Guaranteeing Timeliness in Safety-Critical Real-Time Systems","author":"aussagu\u00e8s","year":"1998","journal-title":"IFAC 15th Workshop on Distributed Computer Control Systems (DCCS'98)"},{"key":"ref1","first-page":"59","article-title":"Measuring the Performance of Real-Time Systems","volume":"18","author":"halang","year":"2000","journal-title":"The International Journal of Time-Critical Computing Systems"}],"event":{"name":"2009 IEEE 14th International Conference on Emerging Technologies & Factory Automation. ETFA 2009","start":{"date-parts":[[2009,9,22]]},"location":"Mallorca","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347125.pdf?arnumber=5347125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:46:21Z","timestamp":1489877181000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347125","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}