{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:16:31Z","timestamp":1730283391491,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100003077","name":"Knowledge Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100003077","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/models-c53483.2021.00046","type":"proceedings-article","created":{"date-parts":[[2021,12,20]],"date-time":"2021-12-20T23:48:24Z","timestamp":1640044104000},"page":"254-263","source":"Crossref","is-referenced-by-count":4,"title":["Trace-based Timing Analysis of Automotive Software Systems: an Experience Report"],"prefix":"10.1109","author":[{"given":"Alessio","family":"Bucaioni","sequence":"first","affiliation":[]},{"given":"Enxhi","family":"Ferko","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Lonn","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ERTS 2018","article-title":"Towards simulation-based verification for continuous integration and delivery","year":"2018","author":"kaijser","key":"ref10"},{"key":"ref11","first-page":"15","article-title":"A-cps: Automation in high-performance cyber physical systems development","author":"bucaioni","year":"2019","journal-title":"STAF (Co-Located Events)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/25148625"},{"journal-title":"Junior Researcher Community Event at Software Technologies Applications and Foundations 2019 STAF-JRC19","article-title":"Boosting the development of high-performance automotive systems","year":"2019","author":"bucaioni","key":"ref13"},{"journal-title":"PANORAMA - Boosting Design Efficiency for Heterogeneous Systems","year":"0","key":"ref14"},{"journal-title":"Timing Augmented Description Language (TADL2) syntax semantics metamodel Ver 2 Deliverable","year":"2012","key":"ref15"},{"key":"ref16","first-page":"1","article-title":"Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints","author":"m s","year":"2017","journal-title":"Software & Systems Modeling"},{"journal-title":"Eclipse","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"journal-title":"EAST-ADL Domain Model Specification Deliverable D4 1 1","year":"2010","key":"ref19"},{"journal-title":"Embedded Real-Time Software (ERTS)","article-title":"A design framework for end-to-end timing constrained automotive applications","year":"2010","author":"stappert","key":"ref4"},{"journal-title":"Autosar techincal overview version 4 3","year":"2016","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2014.72"},{"journal-title":"Safety Critical Computer Systems","year":"1996","author":"storey","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88479-8_30"},{"journal-title":"Proceedings of the IEEE Real-Time System Symposium Workshop on Compositional Theory and Technology for Real-Time Embedded Systems","article-title":"A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics","year":"2008","author":"f n","key":"ref7"},{"journal-title":"Embedded Real Time Software","article-title":"Developing automotive products using the east-adl2, an autosar compliant architecture description language","year":"2008","author":"cuenot","key":"ref2"},{"journal-title":"Project's website","year":"2016","key":"ref9"},{"key":"ref1","first-page":"3","article-title":"This car runs on code","volume":"46","author":"robert n","year":"2009","journal-title":"IEEE Spectrum"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/323647.323631"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219045"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2012.40"},{"key":"ref24","first-page":"398","article-title":"A parallel trace-data interface for scalable performance analysis","author":"geimer","year":"2006","journal-title":"International Workshop on Applied Parallel Computing"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1007\/s10009-020-00582-z","article-title":"Amt 2.0: qualitative and quantitative trace analysis with extended signal temporal logic","volume":"22","author":"ni?kovi?","year":"2020","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref26","article-title":"Understanding bidirectional transformations with tggs and jtl","volume":"57","author":"eramo","year":"2013","journal-title":"Electronic Communications of the EASST"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA47634.2020.00013"}],"event":{"name":"2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","start":{"date-parts":[[2021,10,10]]},"location":"Fukuoka, Japan","end":{"date-parts":[[2021,10,15]]}},"container-title":["2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9643592\/9643613\/09643829.pdf?arnumber=9643829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:07Z","timestamp":1652201707000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9643829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/models-c53483.2021.00046","relation":{},"subject":[],"published":{"date-parts":[[2021,10]]}}}