{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:02:06Z","timestamp":1730275326865,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913193","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["Achieving timing composability with measurement-based probabilistic timing analysis"],"prefix":"10.1109","author":[{"given":"Leonidas","family":"Kosmidis","sequence":"first","affiliation":[]},{"given":"Eduardo","family":"Quinones","sequence":"additional","affiliation":[]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Quad Core LEON4 SPARC V8 Processor-Data Sheet and User's Manual","year":"2011","author":"gaisler","key":"19"},{"journal-title":"SoCLib","year":"2012","key":"17"},{"journal-title":"PowerPC User Instruction Set Architecture","year":"2005","author":"wetzel","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.108"},{"journal-title":"An Introduction to Probability Theory and Its Applications","year":"1996","author":"feller","key":"16"},{"key":"13","article-title":"A time-composable operating system","author":"baldovin","year":"2012","journal-title":"WCET Workshop"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"},{"key":"11","article-title":"Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment","author":"aircraft","year":"2001","journal-title":"ARP4761"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1142\/9781860944024"},{"journal-title":"ARINC Specification 651 Design Guide for Integrated Modular Avionics","year":"1997","key":"21"},{"key":"20","article-title":"The M\ufffdlardalen WCET benchmarks-past, present and future","author":"gustafsson","year":"2010","journal-title":"WCET Workshop"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555764"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2010.2041634"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2009.167"},{"key":"25","first-page":"251","article-title":"Predator: A Predictable SDRAM Memory Controller","author":"benny akesson","year":"2007","journal-title":"2007 5th IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS) CODES+ISSS"},{"key":"26","first-page":"341","article-title":"On the evaluation of the impact of shared resources in multithreaded cots processors in time-critical environments","volume":"8","author":"radojkov\ufffdc","year":"2012","journal-title":"ACM Trans Archit Code Optim"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380389"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.27"},{"journal-title":"Draft 3 of Supplement 1 to ARINC Specification 653 Avionics Application Software Standard Interface","year":"2003","key":"3"},{"key":"2","article-title":"This car runs on code","author":"charette","year":"2009","journal-title":"IEEE Spectrum Online"},{"journal-title":"Automotive open system architecture","year":"2012","key":"10"},{"journal-title":"Automotive Chip Content Growing Fast Says Gartner","year":"2011","author":"clarke","key":"1"},{"key":"7","article-title":"Measurement-based probabilistic timing analysis for multi-path programs","author":"cucu-grosjean","year":"2012","journal-title":"ECRTS"},{"key":"6","article-title":"Towards composable timing for real-time software","author":"puschner","year":"2009","journal-title":"Workshop on Software Technologies for Future Dependable Distributed Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.65"},{"key":"4","article-title":"On the industrial fitness of wcet analysis","author":"mezzetti","year":"2011","journal-title":"WCET Workshop"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.116"},{"key":"8","article-title":"PROARTIS: Probabilistically analysable real-time systems","volume":"7869","author":"cazorla","year":"2012","journal-title":"ACM TECS"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2013,6,19]]},"location":"Paderborn","end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913193.pdf?arnumber=6913193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T11:13:22Z","timestamp":1580642002000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6913193\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913193","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}