{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:36:33Z","timestamp":1743014193899,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737503"},{"type":"electronic","value":"9783031737510"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73751-0_9","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"98-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Performance Analysis of\u00a0Stochastic Digraph Real-Time Task Model"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0173-9486","authenticated-orcid":false,"given":"Martin","family":"Kristjansen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5953-3384","authenticated-orcid":false,"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a\u00a0tool for schedulability analysis and code generation of real-time systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 60\u201372. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-40903-8_6"},{"doi-asserted-by":"publisher","unstructured":"Baruah, S.K.: The non-cyclic recurring real-time task model. In: Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, 30 November\u20133 December 2010, pp. 173\u2013182. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/RTSS.2010.19","key":"9_CR2","DOI":"10.1109\/RTSS.2010.19"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.scico.2016.05.008","volume":"127","author":"A Boudjadar","year":"2016","unstructured":"Boudjadar, A., et al.: Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127, 103\u2013130 (2016). https:\/\/doi.org\/10.1016\/j.scico.2016.05.008","journal-title":"Sci. Comput. Program."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-319-07602-7_6","volume-title":"Formal Aspects of Component Software","author":"A Boudjadar","year":"2014","unstructured":"Boudjadar, A., et al.: Hierarchical scheduling framework based on compositional analysis using Uppaal. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 61\u201378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07602-7_6"},{"unstructured":"Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using UPPAAL. In: Sahnoun, Z. (ed.) Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, 2\u20134 November 2014. CEUR Workshop Proceedings, vol.\u00a01294, pp. 140\u2013147. CEUR-WS.org (2014). https:\/\/ceur-ws.org\/Vol-1294\/paper16.pdf","key":"9_CR6"},{"doi-asserted-by":"crossref","unstructured":"Bulychev, P., et al.: Uppaal-SMC: statistical model checking for priced timed automata. arXiv preprint arXiv:1207.1272 (2012)","key":"9_CR7","DOI":"10.4204\/EPTCS.85.1"},{"key":"9_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44618-4_12","volume-title":"CONCUR 2000","author":"F Cassez","year":"2000","unstructured":"Cassez, F., Larsen, K.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138\u2013152. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44618-4_12"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/S10009-017-0466-1","volume":"20","author":"M Chadli","year":"2018","unstructured":"Chadli, M., et al.: High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20(4), 397\u2013422 (2018). https:\/\/doi.org\/10.1007\/S10009-017-0466-1","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"unstructured":"Dertouzos, M.L.: Control robotics: the procedural control of physical processes. In: Rosenfeld, J.L. (ed.) Information Processing, Proceedings of the 6th IFIP Congress 1974, Stockholm, Sweden, 5\u201310 August 1974, pp. 807\u2013813. North-Holland (1974)","key":"9_CR10"},{"issue":"8","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman, E., Krc\u00e1l, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149\u20131172 (2007). https:\/\/doi.org\/10.1016\/j.ic.2007.01.009","journal-title":"Inf. Comput."},{"issue":"11","key":"9_CR12","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2514\/1.I010715","volume":"16","author":"P Han","year":"2019","unstructured":"Han, P., Zhai, Z., Nielsen, B., Nyman, U., Kristjansen, M.: Schedulability analysis of distributed multicore avionics systems with UPPAAL. J. Aerosp. Inf. Syst. 16(11), 473\u2013499 (2019). https:\/\/doi.org\/10.2514\/1.I010715","journal-title":"J. Aerosp. Inf. Syst."},{"unstructured":"Lipari, G., Palopoli, L.: Real-time scheduling: from hard to soft real-time systems. CoRR abs\/1512.01978 (2015). http:\/\/arxiv.org\/abs\/1512.01978","key":"9_CR13"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973). https:\/\/doi.org\/10.1145\/321738.321743","journal-title":"J. ACM"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-16561-0_21","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"M Miku\u010dionis","year":"2010","unstructured":"Miku\u010dionis, M., et al.: Schedulability analysis using Uppaal: Herschel-Planck case study. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 175\u2013190. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16561-0_21"},{"doi-asserted-by":"crossref","unstructured":"Stigge, M., Ekberg, P., Guan, N., Yi, W.: The digraph real-time task model. In: 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 71\u201380. IEEE (2011)","key":"9_CR16","DOI":"10.1109\/RTAS.2011.15"}],"container-title":["Lecture Notes in Computer Science","Real Time and Such"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73751-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:03:08Z","timestamp":1729638188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73751-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031737503","9783031737510"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73751-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}