{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:13:22Z","timestamp":1743005602616,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":53,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789812872500"},{"type":"electronic","value":"9789812872517"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-287-251-7_9","type":"book-chapter","created":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T13:03:18Z","timestamp":1659963798000},"page":"323-346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Analysis"],"prefix":"10.1007","author":[{"given":"Dorin","family":"Maxim","sequence":"first","affiliation":[]},{"given":"Liliana","family":"Cucu-Grosjean","sequence":"additional","affiliation":[]},{"given":"Robert I.","family":"Davis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,9]]},"reference":[{"key":"9_CR1","volume-title":"Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems, in Proceedings of the Conference on Design, Automation and Test in Europe (DATE),","author":"Y Abdeddaim","year":"2017","unstructured":"Y. Abdeddaim, D. Maxim, Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems, in Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2017"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"L. Abeni, G. Buttazzo, Integrating multimedia applications in hard real-time systems, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 1998, pp. 4\u201313. https:\/\/doi.org\/10.1109\/REAL.1998.739726","DOI":"10.1109\/REAL.1998.739726"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"L. Abeni, G. Buttazzo, Qos guarantee using probabilistic deadlines, in Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), 1999, pp. 242\u2013249. https:\/\/doi.org\/10.1109\/EMRTS.1999.777471","DOI":"10.1109\/EMRTS.1999.777471"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"L. Abeni, N. Manica, L. Palopoli, Efficient and robust probabilistic guarantees for real-time tasks. J. Syst. Softw. 85(5), 1147\u20131156 (2012). ISSN:0164-1212. https:\/\/doi.org\/10.1016\/j.jss.2011.12.042","DOI":"10.1016\/j.jss.2011.12.042"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"S. Altmeyer, R.I. Davis, On the correctness, optimality and precision of static probabilistic timing analysis, in Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2014, pp. 26:1\u201326:6. ISBN:978-3-9815370-2-4. http:\/\/dl.acm.org\/citation.cfm?id=2616606.2616638","DOI":"10.7873\/DATE.2014.039"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"S. Altmeyer, L. Cucu-Grosjean, R.I. Davis, Static probabilistic timing analysis for real-time systems using random replacement caches. Springer Real-Time Syst. 51(1), 77\u2013123 (2015). ISSN:1573-1383. https:\/\/doi.org\/10.1007\/s11241-014-9218-4","DOI":"10.1007\/s11241-014-9218-4"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"N. Audsley, On priority assignment in fixed priority scheduling. Info. Process. Lett. 79(1), 39\u201344 (2001). ISSN:0020-0190. https:\/\/doi.org\/10.1016\/S0020-0190(00)00165-4. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020019000001654","DOI":"10.1016\/S0020-0190(00)00165-4"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"S.K. Baruah, A. Burns, R.I. Davis, Response-time analysis for mixed criticality systems, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS) (IEEE, 2011), pp. 34\u201343","DOI":"10.1109\/RTSS.2011.12"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"S. Ben-Amor, D. Maxim, L. Cucu-Grosjean, Schedulability analysis of dependent probabilistic real-time tasks, in Proceedings of the International Conference on Real-Time Networks and Systems (RTNS) (ACM, 2016), pp. 99\u2013107. ISBN:978-1-4503-4787-7. https:\/\/doi.org\/10.1145\/2997465.2997499","DOI":"10.1145\/2997465.2997499"},{"issue":"1\u20132","key":"9_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11241-005-0507-9","volume":"30","author":"E Bini","year":"2005","unstructured":"E. Bini, G. Buttazzo, Measuring the performance of schedulability tests. Real-Time Syst. 30(1\u20132), 129\u2013154 (2005)","journal-title":"Real-Time Syst."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"F.J. Cazorla, E. Qui\u00f1ones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, D. Maxim, Proartis: probabilistically analyzable real-time systems. ACM Trans. Embed. Comput. Syst. 12(2s), 94:1\u201394:26 (2013). ISSN:1539-9087. https:\/\/doi.org\/10.1145\/2465787.2465796","DOI":"10.1145\/2465787.2465796"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"K.H. Chen, J.J. Chen, Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors, in Proceedings of the IEEE International Symposium on Industrial Embedded Systems (SIES), June 2017, pp. 1\u20138. https:\/\/doi.org\/10.1109\/SIES.2017.7993392","DOI":"10.1109\/SIES.2017.7993392"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"L. Cucu, E. Tovar, A framework for the response time analysis of fixed-priority tasks with stochastic inter-arrival times. SIGBED Rev. 3(1), 7\u201312 (2006). ISSN:1551-3688. https:\/\/doi.org\/10.1145\/1279711.1279714","DOI":"10.1145\/1279711.1279714"},{"key":"9_CR14","doi-asserted-by":"crossref","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, 2013, pp. 29\u201337","DOI":"10.1002\/9781119042976.ch2"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzetti, E. Quinones, F.J. Cazorla, Measurement-based probabilistic timing analysis for multi-path programs, in Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), July 2012, pp. 91\u2013101. https:\/\/doi.org\/10.1109\/ECRTS.2012.31","DOI":"10.1109\/ECRTS.2012.31"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2597457.2597458","volume":"11","author":"RI Davis","year":"2014","unstructured":"R.I. Davis, A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems. ACM SIGBED Rev. 11(1), 8\u201319 (2014)","journal-title":"ACM SIGBED Rev."},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11241-010-9106-5","volume":"47","author":"RI Davis","year":"2011","unstructured":"R.I. Davis, A. Burns, Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real-Time Syst. 47(1), 1\u201340 (2011)","journal-title":"Real-Time Syst."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"R.I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, L. Cucu-Grosjean, Analysis of probabilistic cache related pre-emption delays, in Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), July 2013, pp. 168\u2013179. https:\/\/doi.org\/10.1109\/ECRTS.2013.27","DOI":"10.1109\/ECRTS.2013.27"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"J.L. Diaz, D.F. Garcia, K. Kim, C.-G. Lee, L.L. Bello, J.M. Lopez, S.L. Min, O. Mirabella, Stochastic analysis of periodic real-time systems, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), 2002, pp. 289\u2013300. https:\/\/doi.org\/10.1109\/REAL.2002.1181583","DOI":"10.1109\/REAL.2002.1181583"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"J.L. Diaz, J.M. Lopez, M. Garcia, A.M. Campos, K. Kim, L.L. Bello, Pessimism in the stochastic analysis of real-time systems: concept and applications, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 2004, pp. 197\u2013207. https:\/\/doi.org\/10.1109\/REAL.2004.41","DOI":"10.1109\/REAL.2004.41"},{"key":"9_CR21","volume-title":"Proceedings of Workshop on Mixed Criticality (WMC)","author":"S Draskovic","year":"2016","unstructured":"S. Draskovic, P. Huang, L. Thiele, On the safety of mixed-criticality scheduling, in Proceedings of Workshop on Mixed Criticality (WMC), 2016"},{"key":"9_CR22","unstructured":"P. Emberson, R. Stafford, R.I. Davis, Techniques for the synthesis of multiprocessor tasksets, in Proceedings 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2010), 2010, pp. 6\u201311"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"B. Frias, L. Palopoli, L. Abeni, D. Fontanelli, Probabilistic real-time guarantees: there is life beyond the i.i.d. assumption, in Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2017","DOI":"10.1109\/RTAS.2017.18"},{"key":"9_CR24","isbn-type":"print","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-49059-0_4","volume-title":"Analyzing Stochastic Fixed-Priority Real-Time Systems","author":"MK Gardner","year":"1999","unstructured":"M.K. Gardner, J.W.S. Liu, Analyzing Stochastic Fixed-Priority Real-Time Systems (Springer, Berlin\/Heidelberg, 1999), pp. 44\u201358. ISBN:978-3-540-49059-3. https:\/\/doi.org\/10.1007\/3-540-49059-0_4","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540490593"},{"key":"9_CR25","isbn-type":"print","first-page":"279","volume-title":"Quantized EDF scheduling in a stochastic environment, in Proceedings of the 16th International Parallel and Distributed Processing Symposium, IPDPS\u201902","author":"JP Hansen","year":"2002","unstructured":"J.P. Hansen, J.P. Lehoczky, H. Zhu, R. Rajkumar, Quantized EDF scheduling in a stochastic environment, in Proceedings of the 16th International Parallel and Distributed Processing Symposium, IPDPS\u201902 (IEEE Computer Society, Washington, DC, 2002), p. 279. ISBN:0-7695-1573-8. http:\/\/dl.acm.org\/citation.cfm?id=645610.660905","ISBN":"https:\/\/id.crossref.org\/isbn\/0769515738"},{"key":"9_CR26","isbn-type":"print","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-10625-5_18","volume-title":"Probabilistic Network Loads with Dependencies and the Effect on Queue Sojourn Times","author":"M Ivers","year":"2009","unstructured":"M. Ivers, R. Ernst, Probabilistic Network Loads with Dependencies and the Effect on Queue Sojourn Times (Springer, Berlin\/Heidelberg, 2009), pp. 280\u2013296. ISBN:978-3-642-10625-5. https:\/\/doi.org\/10.1007\/978-3-642-10625-5_18","ISBN":"https:\/\/id.crossref.org\/isbn\/9783642106255"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"G.A. Kaczynski, L.L. Bello, T. Nolte, Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems, in Proceedings of the IEEE Conference on Emerging Technologies Factory Automation (ETFA), Sept 2007, pp. 101\u2013110. https:\/\/doi.org\/10.1109\/EFTA.2007.4416759","DOI":"10.1109\/EFTA.2007.4416759"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"K. Kim, J.L. Diaz, L. Lo Bello, J.M. Lopez, C.-G. Lee, S.L. Min, An exact stochastic analysis of priority-driven periodic real-time systems and its approximations. IEEE Trans. Comput. 54(11), 1460\u20131466 (2005). ISSN:0018-9340. https:\/\/doi.org\/10.1109\/TC.2005.174","DOI":"10.1109\/TC.2005.174"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"J.P. Lehoczky, Real-time queueing theory, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 1996, pp. 186\u2013195. https:\/\/doi.org\/10.1109\/REAL.1996.563715","DOI":"10.1109\/REAL.1996.563715"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"J. Lehoczky, L. Sha, Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 1989, pp. 166\u2013171. https:\/\/doi.org\/10.1109\/REAL.1989.63567","DOI":"10.1109\/REAL.1989.63567"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"B. Lesage, D. Griffin, S. Altmeyer, R.I. Davis, Static probabilistic timing analysis for multi-path programs, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 2015, pp. 361\u2013372. https:\/\/doi.org\/10.1109\/RTSS.2015.41","DOI":"10.1109\/RTSS.2015.41"},{"issue":"2","key":"9_CR32","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s11241-017-9295-2","volume":"54","author":"B Lesage","year":"2018","unstructured":"B. Lesage, D. Griffin, S. Altmeyer, L. Cucu-Grosjean, R.I. Davis, On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Syst. Apr 2018, 54(2), 307\u2013388. https:\/\/doi.org\/10.1007\/s11241-017-9295-2","journal-title":"Real-Time Syst."},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"J.Y.-T. Leung, J. Whitehead, On the complexity of fixed-priority scheduling of periodic, real-time tasks. Perform. Eval. 2(4), 237\u2013250 (1982). ISSN:0166-5316. https:\/\/doi.org\/10.1016\/0166-5316(82)90024-4. http:\/\/www.sciencedirect.com\/science\/article\/pii\/0166531682900244","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"9_CR34","volume-title":"Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"G Lima","year":"2017","unstructured":"G. Lima, I. Bate, Valid application of evt in timing analysis by randomising execution time measurements, in Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2017"},{"key":"9_CR35","volume-title":"Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS)","author":"G Lima","year":"2016","unstructured":"G. Lima, D. Dias, E. Barros, Extreme value theory for estimating task execution time bounds: a careful look, in Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), July 2016"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"C.L. Liu, J.W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973). ISSN:0004-5411. https:\/\/doi.org\/10.1145\/321738.321743","DOI":"10.1145\/321738.321743"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"J.M. L\u00f3pez, J.L. D\u00edaz, J. Entrialgo, D. Garc\u00eda, Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Springer Real-Time Syst. 40(2), 180\u2013207 (2008). ISSN:1573-1383. https:\/\/doi.org\/10.1007\/s11241-008-9053-6","DOI":"10.1007\/s11241-008-9053-6"},{"key":"9_CR38","doi-asserted-by":"crossref","unstructured":"Y. Lu, T. Nolte, J. Kraft, C. Norstrom, Statistical-based response-time analysis of systems with execution dependencies between tasks, in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2010, pp. 169\u2013179. https:\/\/doi.org\/10.1109\/ICECCS.2010.55","DOI":"10.1109\/ICECCS.2010.55"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Y. Lu, T. Nolte, I. Bate, L. Cucu-Grosjean, A statistical response-time analysis of real-time embedded systems, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 2012, pp. 351\u2013362. https:\/\/doi.org\/10.1109\/RTSS.2012.85","DOI":"10.1109\/RTSS.2012.85"},{"key":"9_CR40","volume-title":"Proceedings of the IEEE Real-Time Systems Symposium (RTSS)","author":"D Maxim","year":"2013","unstructured":"D. Maxim, L. Cucu-Grosjean, Response time analysis for fixed-priority tasks with multiple probabilistic parameters, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), 2013"},{"key":"9_CR41","volume-title":"Proceedings of the International Conference on Real-Time Networks and Systems (RTNS)","author":"D Maxim","year":"2011","unstructured":"D. Maxim, O. Buffet, L. Santinelli, L. Cucu-Grosjean, R. Davis, Optimal priority assignments for probabilistic real-time systems, in Proceedings of the International Conference on Real-Time Networks and Systems (RTNS), 2011"},{"key":"9_CR42","volume-title":"Proceedings of the International Conference on Real-Time Networks and Systems (RTNS)","author":"D Maxim","year":"2012","unstructured":"D. Maxim, M. Houston, L. Santinelli, G. Bernat, R.I. Davis, L. Cucu-Grosjean, Re-sampling for statistical timing analysis of real-time systems, in Proceedings of the International Conference on Real-Time Networks and Systems (RTNS), 2012"},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"D. Maxim, F. Soboczenski, I. Bate, E. Tovar, Study of the reliability of statistical timing analysis for real-time systems, in Proceedings of the International Conference on Real-Time Networks and Systems (RTNS), 2015, pp. 55\u201364. ISBN:978-1-4503-3591-1. https:\/\/doi.org\/10.1145\/2834848.2834878","DOI":"10.1145\/2834848.2834878"},{"key":"9_CR44","volume-title":"Proceedings of Workshop on Mixed Criticality (WMC)","author":"D Maxim","year":"2016","unstructured":"D. Maxim, R.I. Davis, L. Cucu-Grosjean, A. Easwaran, Probabilistic analysis for mixed criticality scheduling with SMC and AMC, in Proceedings of Workshop on Mixed Criticality (WMC), 2016"},{"key":"9_CR45","doi-asserted-by":"crossref","unstructured":"D. Maxim, R.I. Davis, L. Cucu-Grosjean, A. Easwaran, Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling, in Proceedings of the International Conference on Real-Time Networks and Systems (RTNS) (ACM, 2017), pp. 237\u2013246","DOI":"10.1145\/3139258.3139276"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"L. Palopoli, D. Fontanelli, N. Manica, L. Abeni, An analytical bound for probabilistic deadlines, in Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), July 2012, pp. 179\u2013188. https:\/\/doi.org\/10.1109\/ECRTS.2012.19","DOI":"10.1109\/ECRTS.2012.19"},{"key":"9_CR47","unstructured":"L. Santinelli, J. Morio, G. Dufour, D. Jacquemart, On the sustainability of the extreme value theory for WCET estimation, in Proceedings of the Workshop on Worst-Case Execution Time Analysis (WCET), 2014, pp. 21\u201330. https:\/\/doi.org\/10.4230\/OASIcs.WCET.2014.21"},{"key":"9_CR48","volume-title":"Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"L Santinelli","year":"2017","unstructured":"L. Santinelli, F. Guet, J. Morio, Revising measurement-based probabilistic timing analysis, in Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2017"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"B. Tanasa, U.D. Bordoloi, P. Eles, Z. Peng, Probabilistic response time and joint analysis of periodic tasks, in Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), July 2015, pp. 235\u2013246. https:\/\/doi.org\/10.1109\/ECRTS.2015.28","DOI":"10.1109\/ECRTS.2015.28"},{"key":"9_CR50","doi-asserted-by":"crossref","unstructured":"T.S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.C. Wu, J.W.S. Liu, Probabilistic performance guarantee for real-time tasks with varying computation times, in Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), May 1995, pp. 164\u2013173. https:\/\/doi.org\/10.1109\/RTTAS.1995.516213","DOI":"10.1109\/RTTAS.1995.516213"},{"key":"9_CR51","doi-asserted-by":"crossref","unstructured":"F. Wartel, L. Kosmidis, C. Lo, B. Triquet, E. Quinones, J. Abella, A. Gogonel, A. Baldovin, E. Mezzetti, L. Cucu, T. Vardanega, F.J. Cazorla, Measurement-based probabilistic timing analysis: lessons from an integrated-modular avionics case study, in Proceedings of the IEEE International Symposium on Industrial Embedded Systems (SIES), June 2013, pp. 241\u2013248. https:\/\/doi.org\/10.1109\/SIES.2013.6601497","DOI":"10.1109\/SIES.2013.6601497"},{"key":"9_CR52","doi-asserted-by":"crossref","unstructured":"R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, P. Stenstr\u00f6m, The worst-case execution-time problem overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 36:1\u201336:53 (2008). ISSN:1539-9087. https:\/\/doi.org\/10.1145\/1347375.1347389","DOI":"10.1145\/1347375.1347389"},{"key":"9_CR53","doi-asserted-by":"crossref","unstructured":"M.H. Woodbury, K.G. Shin, Evaluation of the probability of dynamic failure and processor utilization for real-time systems, in Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Dec 1988, pp. 222\u2013231. https:\/\/doi.org\/10.1109\/REAL.1988.51117","DOI":"10.1109\/REAL.1988.51117"}],"container-title":["Handbook of Real-Time Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-287-251-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T23:27:06Z","timestamp":1727738826000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-287-251-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9789812872500","9789812872517"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-981-287-251-7_9","relation":{},"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"9 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}