{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:44:32Z","timestamp":1768344272760,"version":"3.49.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/sies.2013.6601497","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T18:04:23Z","timestamp":1380132263000},"page":"241-248","source":"Crossref","is-referenced-by-count":50,"title":["Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study"],"prefix":"10.1109","author":[{"given":"Franck","family":"Wartel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonidas","family":"Kosmidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Code","family":"Lo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Triquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Quinones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriana","family":"Gogonel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Baldovin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Mezzetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liliana","family":"Cucu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tullio","family":"Vardanega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","author":"wetzel","year":"2005","journal-title":"PowerPC User Instruction Set Architecture"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.29"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.49"},{"key":"36","first-page":"2142","article-title":"An approach for estimating execution time probability distributions of component-based real-time systems","volume":"15","author":"perrone","year":"2009","journal-title":"J UCS"},{"key":"18","year":"0","journal-title":"SoCLib"},{"key":"33","first-page":"129","article-title":"Optimal priority assignment algorithms for probabilistic real-time systems","author":"maxim","year":"2011","journal-title":"The 19th International Conference on Real-Time and Network Systems (RTNS)"},{"key":"15","article-title":"A cache design for probabilistic real-time systems","author":"kosmidis","year":"2013","journal-title":"DATE"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/2392987.2393001"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.132"},{"key":"13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/2038617.2038619","article-title":"A new way about using statistical analysis of worst-case execution times","volume":"8","author":"yue","year":"2011","journal-title":"ACM SIGBED Review"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1142\/9781860944024"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.65"},{"key":"11","article-title":"A time-composable operating system","author":"baldovin","year":"2012","journal-title":"6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.80"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990614"},{"key":"21","author":"bradley","year":"1968","journal-title":"Distribution-free statistical tests"},{"key":"20","author":"feller","year":"1996","journal-title":"An Introduction to Probability Theory and Its Applications"},{"key":"22","first-page":"427","article-title":"The et test, a goodness-of-fit test for the distribution tail","author":"garrido","year":"2000","journal-title":"Methodology Practice and Inference Second International Conference on Mathematical Methods in Reliability"},{"key":"23","article-title":"Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment","year":"2001","journal-title":"ARP4761"},{"key":"24","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/REAL.1996.563715","article-title":"Real-time queueing theory","author":"lehoczky","year":"1996","journal-title":"The 10th IEEE Real-Time Systems Symposium (RTSS96)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181583"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1279711.1279714"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356581"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2050143"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355238"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.65"},{"key":"2","article-title":"On the industrial fitness of WCET analysis","author":"mezzetti","year":"2011","journal-title":"6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis"},{"key":"10","year":"0","journal-title":"SCADE"},{"key":"1","article-title":"Embedded systems at thales: The artemis challenges for an industrial group","author":"edelin","year":"2009","journal-title":"Presentation at the ARTIST Summer School in Europe"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.12.042"},{"key":"7","author":"poovey","year":"2007","journal-title":"Characterization of the EEMBC Benchmark Suite"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"32","article-title":"A component-based framework for modeling and analyzing probabilistic real-time systems","author":"santinelli","year":"2007","journal-title":"16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'11)"},{"key":"5","article-title":"Statistical-based wcet estimation and validation","author":"hansen","year":"2009","journal-title":"6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.203"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465796"},{"key":"9","year":"0","journal-title":"Avionics Application Software Standard Interface ARINC Specification 653P1-3 Aeronautical Radio"},{"key":"8","article-title":"The Ma?lardalen WCET benchmarks - Past, present and future","author":"gustafsson","year":"2010","journal-title":"6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis"}],"event":{"name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","location":"Porto","start":{"date-parts":[[2013,6,19]]},"end":{"date-parts":[[2013,6,21]]}},"container-title":["2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589042\/6601457\/06601497.pdf?arnumber=6601497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:04:21Z","timestamp":1602673461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6601497"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/sies.2013.6601497","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}