{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:40:26Z","timestamp":1743151226369,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030474867"},{"type":"electronic","value":"9783030474874"}],"license":[{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-47487-4_4","type":"book-chapter","created":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T09:59:47Z","timestamp":1596103187000},"page":"37-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems"],"prefix":"10.1007","author":[{"given":"Jian-Jia","family":"Chen","sequence":"first","affiliation":[]},{"given":"Wen-Hung","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Georg von der","family":"Br\u00fcggen","sequence":"additional","affiliation":[]},{"given":"Kuan-Hsun","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Niklas","family":"Ueter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"S.K. Baruah, A.K. Mok, L.E. Rosier, Preemptively scheduling hard-real-time sporadic tasks on one processor, in Proceedings of the 11th Real-Time Systems Symposium RTSS, pp. 182\u2013190 (1990). \nhttps:\/\/doi.org\/10.1109\/REAL.1990.128746","DOI":"10.1109\/REAL.1990.128746"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"M. Bertogna, M. Cirinei, G. Lipari, New schedulability tests for real-time task sets scheduled by deadline monotonic on multiprocessors, in 9th International Conference on Principles of Distributed Systems, OPODIS, pp. 306\u2013321 (2005)","DOI":"10.1007\/11795490_24"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"E. Bini, G. Buttazzo, G. Buttazzo, A hyperbolic bound for the rate monotonic algorithm, in 13th Euromicro Conference on Real-Time Systems, 2001 (2001), pp. 59\u201366. \nhttps:\/\/doi.org\/10.1109\/EMRTS.2001.bini01","DOI":"10.1109\/EMRTS.2001.bini01"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TC.2008.167","volume":"58","author":"E Bini","year":"2009","unstructured":"E. Bini, T.H.C. Nguyen, P. Richard, S.K. Baruah, A response-time bound in fixed-priority scheduling with arbitrary deadlines. IEEE Trans. Comput. 58(2), 279\u2013286 (2009)","journal-title":"IEEE Trans. Comput."},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"K.H. Chen, J.J. Chen, Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors, in 12th IEEE International Symposium on Industrial Embedded Systems, SIES (2017), pp. 1\u20138. \nhttps:\/\/doi.org\/10.1109\/SIES.2017.7993392","DOI":"10.1109\/SIES.2017.7993392"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"J.J. Chen, W.H. Huang, C. Liu, k2Q: a quadratic-form response time and schedulability analysis framework for utilization-based analysis. CoRR (2015)","DOI":"10.1109\/RTSS.2016.041"},{"key":"4_CR7","unstructured":"J.J. Chen, W.H. Huang, C. Liu, k2U: a general framework from k-point effective schedulability analysis to utilization-based tests. CoRR abs\/1501.07084 (2015). \nhttp:\/\/arxiv.org\/abs\/1304.1590"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"J.J. Chen, W.H. Huang, C. Liu, k2u: a general framework from k-point effective schedulability analysis to utilization-based tests, in IEEE Real-Time Systems Symposium, RTSS (2015), pp. 107\u2013118. \nhttps:\/\/doi.org\/10.1109\/RTSS.2015.18","DOI":"10.1109\/RTSS.2015.18"},{"key":"4_CR9","unstructured":"J.J. Chen, W.H. Huang, C. Liu, Automatic parameter derivations in k2U framework. Computing Research Repository (CoRR) (2016). \nhttp:\/\/arxiv.org\/abs\/1605.00119"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"J.J. Chen, W.H. Huang, C. Liu, k2q: a quadratic-form response time and schedulability analysis framework for utilization-based analysis, in IEEE Real-Time Systems Symposium, RTSS (2016), pp. 351\u2013362. \nhttps:\/\/doi.org\/10.1109\/RTSS.2016.041","DOI":"10.1109\/RTSS.2016.041"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"K.H. Chen, G. von der Br\u00fcggen, J.J. Chen, Analysis of deadline miss rates for uniprocessor fixed-priority scheduling, in 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018, Hakodate, August 28\u201331, 2018 (2018), pp. 168\u2013178. \nhttps:\/\/doi.org\/10.1109\/RTCSA.2018.00028","DOI":"10.1109\/RTCSA.2018.00028"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/s11241-018-9316-9","volume":"55","author":"JJ Chen","year":"2019","unstructured":"J.J. Chen, G. Nelissen, W.H. Huang, M. Yang, B. Brandenburg, K. Bletsas, C. Liu, P. Richard, F. Ridouard, N. Audsley, R. Rajkumar, D. de Niz, G. von der Br\u00fcggen, Many suspensions, many problems: a review of self-suspending tasks in real-time systems. Real-Time Syst. 55, 144\u2013207 (2019). \nhttps:\/\/doi.org\/10.1007\/s11241-018-9316-9","journal-title":"Real-Time Syst."},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"K.H. Chen, N. Ueter, G. von der Bruggen, J.J. Chen, Efficient computation of deadline-miss probability and potential pitfalls, in Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, March 25\u201329, 2019 (2019), pp. 896\u2013901. \nhttps:\/\/doi.org\/10.23919\/DATE.2019.8714908","DOI":"10.23919\/DATE.2019.8714908"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"R.I. Davis, A. Burns, Response time upper bounds for fixed priority real-time systems, in Real-Time Systems Symposium, 2008 (2008), pp. 407\u2013418. \nhttps:\/\/doi.org\/10.1109\/RTSS.2008.18","DOI":"10.1109\/RTSS.2008.18"},{"key":"4_CR15","unstructured":"J. Goossens, Scheduling of hard real-time periodic systems with various kinds of deadline and offset constraints. Ph.D. Thesis, Universite Libre de Bruxelles (1999). \nhttp:\/\/di.ulb.ac.be\/ssd\/goossens\/Thesis.pdf"},{"key":"4_CR16","unstructured":"W.H. Huang, M. Yang, J.J. Chen, Resource-oriented partitioned scheduling in multiprocessor systems: how to partition and how to share? in Real-Time Systems Symposium (RTSS) (2016), pp. 111\u2013122"},{"key":"4_CR17","unstructured":"L.S. Indrusiak, A. Burns, B. Nikolic, Analysis of buffering effects on hard real-time priority-preemptive wormhole networks. CoRR abs\/1606.02942 (2016). \nhttp:\/\/arxiv.org\/abs\/1606.02942"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"K. Lakshmanan, R. Rajkumar, Scheduling self-suspending real-time tasks with rate-monotonic priorities, in Real-Time and Embedded Technology and Applications Symposium (RTAS) (2010), pp. 3\u201312. \nhttps:\/\/doi.org\/10.1109\/RTAS.2010.38","DOI":"10.1109\/RTAS.2010.38"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"K. Lakshmanan, D. de Niz, R. Rajkumar, Coordinated task scheduling, allocation and synchronization on multiprocessors, in Real-Time Systems Symposium (RTSS) (2009), pp. 469\u2013478. \nhttp:\/\/dx.doi.org\/10.1109\/RTSS.2009.51","DOI":"10.1109\/RTSS.2009.51"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"J. Lehoczky, Fixed priority scheduling of periodic task sets with arbitrary deadlines, in Proceedings Real-Time Systems Symposium (RTSS) (1990), pp. 201\u2013209. \nhttps:\/\/doi.org\/10.1109\/REAL.1990.128748","DOI":"10.1109\/REAL.1990.128748"},{"key":"4_CR21","unstructured":"J.P. Lehoczky, L. Sha, Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior, in IEEE Real-Time Systems Symposium\u201989 (1989), pp. 166\u2013171"},{"key":"4_CR22","unstructured":"C. Liu, J. Chen, Bursty-interference analysis techniques for analyzing complex real-time task models, in Real-Time Systems Symposium (RTSS) (2014), pp. 173\u2013183"},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"C.L. Liu, J.W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973). \nhttps:\/\/doi.org\/10.1145\/321738.321743","journal-title":"J. ACM"},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"D. Maxim, L. Cucu-Grosjean, Response time analysis for fixed-priority tasks with multiple probabilistic parameters, in Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, December 3\u20136, 2013 (2013), pp. 224\u2013235. \nhttps:\/\/doi.org\/10.1109\/RTSS.2013.30","DOI":"10.1109\/RTSS.2013.30"},{"key":"4_CR25","unstructured":"L. Ming, Scheduling of the inter-dependent messages in real-time communication, in Proceedings of the First International Workshop on Real-Time Computing Systems and Applications (1994)"},{"key":"4_CR26","first-page":"731","volume-title":"Cyber-physical systems: the next computing revolution, in Proceedings of the 47th Design Automation Conference","author":"R Rajkumar","year":"2010","unstructured":"R. Rajkumar, I. Lee, L. Sha, J. Stankovic, Cyber-physical systems: the next computing revolution, in Proceedings of the 47th Design Automation Conference (ACM, New York, 2010), pp. 731\u2013736. \nhttps:\/\/doi.org\/10.1145\/1837274.1837461"},{"issue":"9","key":"4_CR27","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"L. Sha, R. Rajkumar, J.P. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175\u20131185 (1990). \nhttp:\/\/dx.doi.org\/10.1109\/12.57058","journal-title":"IEEE Trans. Comput."},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Z. Shi, A. Burns, Real-time communication analysis for on-chip networks with wormhole switching, in Proceedings of the Second ACM\/IEEE International Symposium on Networks-on-Chip (NOCS) (2008), pp. 161\u2013170. \nhttps:\/\/doi.org\/10.1109\/NOCS.2008.4492735\n\n. \nhttp:\/\/dl.acm.org\/citation.cfm?id=1397757.1397996","DOI":"10.1109\/NOCS.2008.4492735"},{"key":"4_CR29","first-page":"287","volume-title":"Release enforcement in resource-oriented partitioned scheduling for multiprocessor systems, in Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS\u201917","author":"G von der Br\u00fcggen","year":"2017","unstructured":"G. von der Br\u00fcggen, J.J. Chen, W.H. Huang, M. Yang, Release enforcement in resource-oriented partitioned scheduling for multiprocessor systems, in Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS\u201917 (ACM, New York, 2017), pp. 287\u2013296. \nhttps:\/\/doi.org\/10.1145\/3139258.3139287"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"G. von der Br\u00fcggen, N. Piatkowski, K.H. Chen, J.J. Chen, K. Morik, Efficiently approximating the probability of deadline misses in real-time systems, in Euromicro Conference on Real-Time Systems, ECRTS (2018), pp. 6:1\u20136:22. \nhttps:\/\/doi.org\/10.4230\/LIPIcs.ECRTS.2018.6","DOI":"10.4230\/LIPIcs.ECRTS.2018.6"},{"key":"4_CR31","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\u2013overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 36:1\u201336:53 (2008). \nhttp:\/\/doi.acm.org\/10.1145\/1347375.1347389"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Q. Xiong, Z. Lu, F. Wu, C. Xie, Real-time analysis for wormhole NoC: revisited and revised, in 2016 International Great Lakes Symposium on VLSI (GLSVLSI), (2016), pp. 75\u201380. \nhttps:\/\/doi.org\/10.1145\/2902961.2903023","DOI":"10.1145\/2902961.2903023"},{"key":"4_CR33","unstructured":"D. Ziegenbein, A. Hamann, Timing-aware control software design for automotive systems, in Proceedings of the 52Nd Annual Design Automation Conference, DAC\u201915 (2015), pp. 56:1\u201356:6. \nhttp:\/\/doi.acm.org\/10.1145\/2744769.2747947"}],"container-title":["A Journey of Embedded and Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-47487-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T10:18:21Z","timestamp":1596104301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-47487-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,31]]},"ISBN":["9783030474867","9783030474874"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-47487-4_4","relation":{},"subject":[],"published":{"date-parts":[[2020,7,31]]},"assertion":[{"value":"31 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}