{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:08Z","timestamp":1740098948873,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319694825"},{"type":"electronic","value":"9783319694832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69483-2_4","type":"book-chapter","created":{"date-parts":[[2017,10,16]],"date-time":"2017-10-16T07:34:48Z","timestamp":1508139288000},"page":"59-74","source":"Crossref","is-referenced-by-count":3,"title":["On the Criticality of Probabilistic Worst-Case Execution Time Models"],"prefix":"10.1007","author":[{"given":"Luca","family":"Santinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhishan","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,17]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abella, J., Qui\u00f1ones, E., Wartel, F., Vardanega, T., Cazorla, F.J.: Heart of gold: Making the improbable happen to increase confidence in MBPTA. In: 26th Euromicro Conference on Real-Time System (eCRTS) (2014)","DOI":"10.1109\/ECRTS.2014.33"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Abeni, L., Buttazzo, G.: QoS guarantee using probabilistic deadlines. In: IEEE Euromicro Conference on Real-Time Systems (ECRTS99) (1999)","DOI":"10.1109\/EMRTS.1999.777471"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11241-014-9218-4","volume":"51","author":"S Altmeyer","year":"2015","unstructured":"Altmeyer, S., Cucu-Grosjean, L., Davis, R.I.: Static probabilistic timing analysis for real-time systems using random replacement caches. Real-Time Syst. 51(1), 77\u2013123 (2015)","journal-title":"Real-Time Syst."},{"key":"4_CR4","unstructured":"Burns, A., Davis, R.: Mixed-criticality systems: a review (2015). http:\/\/www-users.cs.york.ac.uk\/~burns\/review.pdf"},{"key":"4_CR5","unstructured":"Cucu-Grosjean, L.: Independence - a misunderstood property of and for (probabilistic) real-time systems. In: the 60th Anniversary of A. Burns, York (2013)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Cucu-Grosjean, L., Santinelli, L., Houston, M., Lo, C., Vardanega, T., Kosmidis, L., Abella, J., Mezzeti, E., Quinones, E., Cazorla, F.J.: Measurement-based probabilistic timing analysis for multi-path programs. In: 23rd Euromicro Conference on Real-Time Systems (ECRTS). IEEE (2012)","DOI":"10.1109\/ECRTS.2012.31"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Cucu-Grosjean, L., Santinelli, L., Houston, M., Lo, C., Vardanega, T., Kosmidis, L., Abella, J., Mezzetti, E., Qui\u00f1ones, E., Cazorla, F.J.: Measurement-based probabilistic timing analysis for multi-path programs. In: (ECRTS) (2012)","DOI":"10.1109\/ECRTS.2012.31"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Santinelli, L., Altmeyer, S., Maiza, C., Cucu-Grosjean, L.: Analysis of probabilistic cache related pre-emption delays. In: Proceedings of the 25th IEEE Euromicro Conference on Real-Time Systems (ECRTS) (2013)","DOI":"10.1109\/ECRTS.2013.27"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"D\u00edaz, J., Garcia, D., Kim, K., Lee, C., Bello, L., Lopez, J.M., Mirabella, O.: Stochastic analysis of periodic real-time systems. In: 23rd of the IEEE Real-Time Systems Symposium (RTSS) (2002)","DOI":"10.1109\/REAL.2002.1181583"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Edgar, S., Burns, A.: Statistical analysis of WCET for scheduling. In: 22nd of the IEEE Real-Time Systems Symposium (2001)","DOI":"10.1109\/REAL.2001.990614"},{"key":"4_CR11","unstructured":"Guet, F., Santinelli, L., Morio, J.: On the reliability of the probabilistic worst-case execution time estimates. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS) (2016)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Guo, Z., Santinelli, L., Yang, K.: Edf schedulability analysis on mixed-criticality systems with permitted failure probability. In: 21st IEEE International Conference on Embedded and Real-Time Computing System and Applications (2015)","DOI":"10.1109\/RTCSA.2015.8"},{"key":"4_CR13","unstructured":"Hansen, J., Hissam, S., Moreno, G.: Statistical- based WCET estimation and validation. In: the 9th International Workshop on Worst-Case Execution Time (WCET) (2009)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Hardy, D., Puaut, I.: Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. In: International Conference on Real-Time Networks and Systems (RTNS) (2013)","DOI":"10.1145\/2516821.2516842"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Lehoczky, J.: Real-time queueing theory. In: 10th of the IEEE Real-Time Systems Symposium (RTSS 1996) (1996)","DOI":"10.1109\/REAL.1996.563715"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Lima, G., Dias, D., Barros, E.: Extreme value theory for estimating task execution time bounds: a careful look. In: 28th Euromicro Conference on Real-Time System (eCRTS) (2016)","DOI":"10.1109\/ECRTS.2016.20"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Milutinovic, S., Abella, J., Cazorla, F.J.: Modelling probabilistic cache representativeness in the presence of arbitrary access patterns. In: 19th IEEE International Symposium on Real-Time Distributed Computing, (ISORC) (2016)","DOI":"10.1109\/ISORC.2016.28"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Panerati, J., Abdi, S., Beltrame, G.: Balancing system availability and lifetime with dynamic hidden Markov models. In: NASA\/ESA Conference on Adaptive Hardware and Systems (AHS) (2014)","DOI":"10.1109\/AHS.2014.6880183"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Pathan, R.M.: Fault-tolerant and real-time scheduling for mixed-criticality systems. Real-Time Syst. 50, 509\u2013547 (2014)","DOI":"10.1007\/s11241-014-9202-z"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Santinelli, L., Guet, F., Morio, J.: Revising measurement-based probabilistic timing analysis. In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2017)","DOI":"10.1109\/RTAS.2017.16"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Santinelli, L., Guo, Z., George, L.: Fault-aware sensitivity analysis for probabilistic real-time systems. In: 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) (2016)","DOI":"10.1109\/DFT.2016.7684072"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Tia, T., Deng, Z., Shankar, M., Storch, M., Sun, J., Wu, L., Liu, J.: Probabilistic performance guarantee for real-time tasks with varying computation times. In: IEEE Real-Time and Embedded Technology and Applications Symposium (1995)","DOI":"10.1109\/RTTAS.1995.516213"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS). IEEE Computer Society (2007)","DOI":"10.1109\/RTSS.2007.47"},{"issue":"3","key":"4_CR24","doi-asserted-by":"crossref","first-page":"36:1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D.B., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P.P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3), 36:1\u201336:53 (2008)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Wong, H.C., Burns, A.: Schedulability analysis for the abort-and-restart (AR) model. In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems (RTNS) (2014)","DOI":"10.1145\/2659787.2659813"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69483-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T14:50:47Z","timestamp":1570200647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69483-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694825","9783319694832"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69483-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}