{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T20:44:47Z","timestamp":1698871487301},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2017,11,22]],"date-time":"2017-11-22T00:00:00Z","timestamp":1511308800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2017,11,22]]},"abstract":"The increased number of systems consisting of multiple interacting components imposes the evolution of timing analyses towards methods able to estimate the timing behavior of an entire system by aggregating timings bounds of its components. In this paper we propose the first discussion on the properties required by measurement-based timing analyses to ensure such compositionality. We identify the properties of reproducibility and representativity as necessary conditions to ensure the convergence of any measurement protocol allowing a compositional measurement-based timing analysis.<\/jats:p>","DOI":"10.1145\/3166227.3166230","type":"journal-article","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T13:24:24Z","timestamp":1511789064000},"page":"24-31","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Reproducibility and representativity"],"prefix":"10.1145","volume":"14","author":[{"given":"C.","family":"Maxim","sequence":"first","affiliation":[{"name":"Inria and Airbus"}]},{"given":"A.","family":"Gogonel","sequence":"additional","affiliation":[{"name":"Inria"}]},{"given":"I.","family":"Asavoae","sequence":"additional","affiliation":[{"name":"Inria"}]},{"given":"M.","family":"Asavoae","sequence":"additional","affiliation":[{"name":"Inria"}]},{"given":"L.","family":"Cucu-Grosjean","sequence":"additional","affiliation":[{"name":"Inria"}]}],"member":"320","published-online":{"date-parts":[[2017,11,22]]},"reference":[{"key":"e_1_2_1_2_1","first-page":"30","volume-title":"4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011)","author":"Santos M.","year":"2011","unstructured":"M. Santos , B. Lisper , G. Lima , and V. Lima , \" Sequential composition of execution time distributions by convolution,\" in Proc . 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011) , November 2011 , pp. 30 -- 37 . M. Santos, B. Lisper, G. Lima, and V. Lima, \"Sequential composition of execution time distributions by convolution,\" in Proc. 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011), November 2011, pp. 30--37."},{"key":"e_1_2_1_3_1","volume-title":"Alan Burns","author":"Cucu-Grosjean L.","year":"2013","unstructured":"L. Cucu-Grosjean , \"Independence - a misunderstood property of and for (probabilistic) real-time systems,\" in \"Real-Time Systems: the past, the present, and the future\", the 60th birthday of Prof . Alan Burns , 2013 . L. Cucu-Grosjean, \"Independence - a misunderstood property of and for (probabilistic) real-time systems,\" in \"Real-Time Systems: the past, the present, and the future\", the 60th birthday of Prof. Alan Burns, 2013."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_1_6_1","first-page":"159","volume-title":"11th International Conference, CC 2002","author":"Cousot P.","year":"2002","unstructured":"P. Cousot and R. Cousot , \" Modular static program analysis,\" in Compiler Construction , 11th International Conference, CC 2002 , 2002 , pp. 159 -- 178 . P. Cousot and R. Cousot, \"Modular static program analysis,\" in Compiler Construction, 11th International Conference, CC 2002, 2002, pp. 159--178."},{"key":"e_1_2_1_7_1","volume-title":"Workshop on Worst-Case Execution Time Analysis, WCET","author":"Reineke J.","year":"2009","unstructured":"J. Reineke and R. Sen , \" Sound and efficient WCET analysis in the presence of timing anomalies,\" in 9th Intl . Workshop on Worst-Case Execution Time Analysis, WCET , 2009 . J. Reineke and R. Sen, \"Sound and efficient WCET analysis in the presence of timing anomalies,\" in 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET, 2009."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.49"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_9"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2004.34"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54108-7_2"},{"key":"e_1_2_1_12_1","volume-title":"Jan.","author":"Guet F.","year":"2016","unstructured":"F. Guet , L. Santinelli , and J. Morio , \" On the Reliability of the Probabilistic Worst-Case Execution Time Estimates,\" in 8th European Congress on Embedded Real Time Software and Systems (ERTS) , Jan. 2016 . F. Guet, L. Santinelli, and J. Morio, \"On the Reliability of the Probabilistic Worst-Case Execution Time Estimates,\" in 8th European Congress on Embedded Real Time Software and Systems (ERTS), Jan. 2016."},{"key":"e_1_2_1_13_1","volume-title":"Statistical analysis of WCET for scheduling,\" in the 22nd IEEE Real-Time Systems Symposium","author":"Edgar S.","year":"2001","unstructured":"S. Edgar and A. Burns , \" Statistical analysis of WCET for scheduling,\" in the 22nd IEEE Real-Time Systems Symposium , 2001 . S. Edgar and A. Burns, \"Statistical analysis of WCET for scheduling,\" in the 22nd IEEE Real-Time Systems Symposium, 2001."},{"key":"e_1_2_1_14_1","first-page":"200","volume-title":"Extreme value theory for estimating task execution time bounds: A careful look,\" in 28th Euromicro Conference on Real-Time Systems","author":"Lima G.","year":"2016","unstructured":"G. Lima , D. Dias , and E. Barros , \" Extreme value theory for estimating task execution time bounds: A careful look,\" in 28th Euromicro Conference on Real-Time Systems , 2016 , pp. 200 -- 211 . G. Lima, D. Dias, and E. Barros, \"Extreme value theory for estimating task execution time bounds: A careful look,\" in 28th Euromicro Conference on Real-Time Systems, 2016, pp. 200--211."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038617.2038619"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"e_1_2_1_17_1","volume-title":"The M\u00e4lardalen WCET benchmarks - past, present and future,\" in the International Workshop on Worst-case Execution-time Analysis","author":"Gustafsson J.","year":"2010","unstructured":"J. Gustafsson , A. Betts , A. Ermedahl , and B. Lisper , \" The M\u00e4lardalen WCET benchmarks - past, present and future,\" in the International Workshop on Worst-case Execution-time Analysis , 2010 . J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, \"The M\u00e4lardalen WCET benchmarks - past, present and future,\" in the International Workshop on Worst-case Execution-time Analysis, 2010."},{"key":"e_1_2_1_18_1","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"Lynch N. A.","year":"1989","unstructured":"N. A. Lynch and M. R. Tuttle , \" An introduction to input\/output automata ,\" CWI Quarterly , vol. 2 , pp. 219 -- 246 , 1989 . N. A. Lynch and M. R. Tuttle, \"An introduction to input\/output automata,\" CWI Quarterly, vol. 2, pp. 219--246, 1989.","journal-title":"CWI Quarterly"},{"key":"e_1_2_1_19_1","first-page":"108","volume-title":"EMSOFT '02","author":"Alfaro L.","year":"2002","unstructured":"L. d. Alfaro , T. A. Henzinger , and M. Stoelinga , \" Timed interfaces,\" in Proceedings of the Second International Conference on Embedded Software, ser . EMSOFT '02 , 2002 , pp. 108 -- 122 . L. d. Alfaro, T. A. Henzinger, and M. Stoelinga, \"Timed interfaces,\" in Proceedings of the Second International Conference on Embedded Software, ser. EMSOFT '02, 2002, pp. 108--122."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2752801.2752805"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834862"},{"key":"e_1_2_1_23_1","first-page":"12","volume-title":"Timing anomalies in dynamically scheduled microprocessors,\" in Proceedings of the 20th IEEE Real-Time Systems Symposium","author":"Lundqvist T.","year":"1999","unstructured":"T. Lundqvist and P. Stenstr\u00f6m , \" Timing anomalies in dynamically scheduled microprocessors,\" in Proceedings of the 20th IEEE Real-Time Systems Symposium , 1999 , 1999, pp. 12 -- 21 . T. Lundqvist and P. Stenstr\u00f6m, \"Timing anomalies in dynamically scheduled microprocessors,\" in Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999, 1999, pp. 12--21."},{"key":"e_1_2_1_24_1","first-page":"164","volume-title":"Probabilistic performance guarantee for real-time tasks with varying computation times,\" in the 2nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS95)","author":"Tia T.","year":"1995","unstructured":"T. Tia , Z. Deng , M. Shankar , M. Storch , J. Sun , L. Wu , and J. Liu , \" Probabilistic performance guarantee for real-time tasks with varying computation times,\" in the 2nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS95) , 1995 , pp. 164 -- 174 . T. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L. Wu, and J. Liu, \"Probabilistic performance guarantee for real-time tasks with varying computation times,\" in the 2nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS95), 1995, pp. 164--174."},{"key":"e_1_2_1_25_1","first-page":"44","volume-title":"Analyzing stochastic fixed-priority real-time systems,\" in the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS99)","author":"Gardner M.","year":"1999","unstructured":"M. Gardner and J. Lui , \" Analyzing stochastic fixed-priority real-time systems,\" in the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS99) , 1999 , pp. 44 -- 58 . M. Gardner and J. Lui, \"Analyzing stochastic fixed-priority real-time systems,\" in the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS99), 1999, pp. 44--58."},{"key":"e_1_2_1_26_1","first-page":"4","volume-title":"Integrating multimedia applications in hard real-time systems,\" in the 19th IEEE Real-Time Systems Symposium (RTSS98)","author":"Abeni L.","year":"1998","unstructured":"L. Abeni and G. Buttazzo , \" Integrating multimedia applications in hard real-time systems,\" in the 19th IEEE Real-Time Systems Symposium (RTSS98) , 1998 , pp. 4 -- 13 . L. Abeni and G. Buttazzo, \"Integrating multimedia applications in hard real-time systems,\" in the 19th IEEE Real-Time Systems Symposium (RTSS98), 1998, pp. 4--13."},{"key":"e_1_2_1_27_1","volume-title":"Stochastic analysis of periodic real-time systems,\" in the 23rd IEEE Real-Time Systems Symposium (RTSS02)","author":"D\u00edaz J.","year":"2002","unstructured":"J. D\u00edaz , D. Garcia , K. Kim , C. Lee , L. Bello , L. J.M., and O. Mirabella , \" Stochastic analysis of periodic real-time systems,\" in the 23rd IEEE Real-Time Systems Symposium (RTSS02) , 2002 . J. D\u00edaz, D. Garcia, K. Kim, C. Lee, L. Bello, L. J.M., and O. Mirabella, \"Stochastic analysis of periodic real-time systems,\" in the 23rd IEEE Real-Time Systems Symposium (RTSS02), 2002."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968974"},{"key":"e_1_2_1_29_1","volume-title":"Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study,\" in the 8th IEEE International Symposium on Industrial Embedded Systems","author":"Wartel F.","year":"2013","unstructured":"F. Wartel , L. Kosmidis , C. Lo , B. Triquet , E. Quinones , J. Abella , A. Gogonel , A. Baldovin , E. Mezzetti , L. Cucu , T. Vardanega , and F. Cazorla , \" Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study,\" in the 8th IEEE International Symposium on Industrial Embedded Systems , 2013 . F. Wartel, L. Kosmidis, C. Lo, B. Triquet, E. Quinones, J. Abella, A. Gogonel, A. Baldovin, E. Mezzetti, L. Cucu, T. Vardanega, and F. Cazorla, \"Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study,\" in the 8th IEEE International Symposium on Industrial Embedded Systems, 2013."},{"key":"e_1_2_1_30_1","first-page":"397","volume-title":"Automation & Test in Europe Conference & Exhibition, DATE","author":"Wartel F.","year":"2015","unstructured":"F. Wartel , L. Kosmidis , A. Gogonel , A. Baldovin , Z. R. Stephenson , B. Triquet , E. Qui$n Tones , C. Lo , E. Mezzetti , I. Broster , J. Abella , L. Cucu-Grosjean , T. Vardanega , and F. J. Cazorla , \" Timing analysis of an avionics case study on complex hardware\/software platforms,\" in the 2015 Design , Automation & Test in Europe Conference & Exhibition, DATE , 2015 , pp. 397 -- 402 . F. Wartel, L. Kosmidis, A. Gogonel, A. Baldovin, Z. R. Stephenson, B. Triquet, E. Qui$nTones, C. Lo, E. Mezzetti, I. Broster, J. Abella, L. Cucu-Grosjean, T. Vardanega, and F. J. Cazorla, \"Timing analysis of an avionics case study on complex hardware\/software platforms,\" in the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE, 2015, pp. 397--402."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659827"},{"key":"e_1_2_1_32_1","first-page":"21","volume-title":"On the sustainability of the extreme value theory for WCET estimation,\" in 14th International Workshop on Worst-Case Execution Time Analysis","author":"Santinelli L.","year":"2014","unstructured":"L. Santinelli , J. Morio , G. Dufour , and D. Jacquemart , \" On the sustainability of the extreme value theory for WCET estimation,\" in 14th International Workshop on Worst-Case Execution Time Analysis , 2014 , pp. 21 -- 30 . L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart, \"On the sustainability of the extreme value theory for WCET estimation,\" in 14th International Workshop on Worst-Case Execution Time Analysis, 2014, pp. 21--30."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3166227.3166230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T21:31:39Z","timestamp":1672522299000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3166227.3166230"}},"subtitle":["mandatory properties for the compositionality of measurement-based WCET estimation approaches"],"short-title":[],"issued":{"date-parts":[[2017,11,22]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,11,22]]}},"alternative-id":["10.1145\/3166227.3166230"],"URL":"http:\/\/dx.doi.org\/10.1145\/3166227.3166230","relation":{},"ISSN":["1551-3688"],"issn-type":[{"value":"1551-3688","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,22]]},"assertion":[{"value":"2017-11-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}