{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:10:33Z","timestamp":1750824633008,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631202"},{"type":"electronic","value":"9783319631219"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63121-9_27","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T08:05:15Z","timestamp":1500883515000},"page":"539-559","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Framework for Evaluating Schedulability Analysis Tools"],"prefix":"10.1007","author":[{"given":"Lijun","family":"Shan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Graf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Fejoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"27_CR1","unstructured":"The Amalthea project. http:\/\/www.amalthea-project.org\/"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Albers, K., Slomka, F.: An event stream driven approximation for the analysis of real-time systems. In: Proceedings of the 16th Euromicro Conference on Real-Time Systems, ECRTS 2004, pp. 187\u2013195. IEEE (2004)","DOI":"10.1109\/EMRTS.2004.1311020"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8\u201322. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48683-6_3"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45510-8_4","volume-title":"Modeling and Verification of Parallel Processes","author":"T Amnell","year":"2001","unstructured":"Amnell, T., et al.: UPPAAL - now, next, and future. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 99\u2013124. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45510-8_4"},{"key":"27_CR5","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 tool 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). doi: 10.1007\/978-3-540-40903-8_6"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27755-2_3"},{"key":"27_CR7","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., David, A., Kim, J.H., Larsen, K.G., Miku\u010dionis, M., Nyman, U., Skou, A.: Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127, 103\u2013130 (2016)","journal-title":"Sci. Comput. Program."},{"key":"27_CR8","unstructured":"Cordovilla, M., Boniol, F., Forget, J., Noulard, E., Pagetti, C.: Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. In: 19th International Conference on Real-Time and Network Systems (2011)"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1201\/9781420067859-c4","volume":"1","author":"A David","year":"2009","unstructured":"David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using UPPAAL 4.1. Model-Based Des. Embed. Syst. 1(1), 93\u2013119 (2009)","journal-title":"Model-Based Des. Embed. Syst."},{"issue":"4","key":"27_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Decotigny, D., Puaut, I.: Artisst: an extensible and modular simulation tool for real-time systems. In: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, (ISORC 2002), pp. 365\u2013372. IEEE (2002)","DOI":"10.1109\/ISORC.2002.1003788"},{"key":"27_CR12","unstructured":"Diemer, J., Axer, P., Ernst, R.: Compositional performance analysis in python with pyCPA. In: Proceedings of WATERS (2012)"},{"key":"27_CR13","unstructured":"Feiler, H., Lewis, B., Vestal, S.: The SAE architecture analysis and design language (AADL) standard. In: IEEE RTAS Workshop (2003)"},{"issue":"8","key":"27_CR14","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., Krcal, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"key":"27_CR15","unstructured":"Harbour, M.G., Garc\u00eda, J.G., Guti\u00e9rrez, J.P., Moyano, J.D.: MAST: Modeling and analysis suite for real time applications. In: 13th Euromicro Conference on Real-Time Systems, pp. 125\u2013134. IEEE (2001)"},{"issue":"2","key":"27_CR16","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the SymTA\/S approach. IEE Proc.-Comput. Digit. Tech. 152(2), 148\u2013166 (2005)","journal-title":"IEE Proc.-Comput. Digit. Tech."},{"issue":"1","key":"27_CR17","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"1","key":"27_CR18","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 (JACM) 20(1), 46\u201361 (1973)","journal-title":"J. ACM (JACM)"},{"key":"27_CR19","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., Larsen, K.G., Rasmussen, J.I., Nielsen, B., Skou, A., Palm, S.U., Pedersen, J.S., Hougaard, P.: 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). doi: 10.1007\/978-3-642-16561-0_21"},{"key":"27_CR20","unstructured":"OMG: UML profile for MARTE: Modeling and analysis of real-time embedded systems (2011). http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF\/"},{"key":"27_CR21","unstructured":"OMG: Modeling and analysis of real-time and embedded systems. Object Management Group (2008)"},{"key":"27_CR22","unstructured":"Perathoner, S., Wandeler, E., Thiele, L.: Evaluation and comparison of performance analysis methods for distributed embedded systems. Master\u2019s thesis, Swiss Federal Institute of Technology, Z\u00fcrich (2006)"},{"issue":"1","key":"27_CR23","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10617-008-9015-1","volume":"13","author":"S Perathoner","year":"2009","unstructured":"Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Gonz\u00e1lez Harbour, M.: Influence of different abstractions on the performance analysis of distributed hard real-time systems. Des. Autom. Embed. Syst. 13(1), 27\u201349 (2009)","journal-title":"Des. Autom. Embed. Syst."},{"issue":"2\u20133","key":"27_CR24","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:TIME.0000045315.61234.1e","volume":"28","author":"L Sha","year":"2004","unstructured":"Sha, L., Abdelzaher, T., \u00c5rz\u00e9n, K.E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.K.: Real time scheduling theory: a historical perspective. Real-Time Syst. 28(2\u20133), 101\u2013155 (2004)","journal-title":"Real-Time Syst."},{"key":"27_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1007\/978-3-319-06410-9_48","volume-title":"FM 2014: Formal Methods","author":"L Shan","year":"2014","unstructured":"Shan, L., Wang, Y., Fu, N., Zhou, X., Zhao, L., Wan, L., Qiao, L., Chen, J.: Formal verification of lunar rover control software using UPPAAL. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 718\u2013732. Springer, Cham (2014). doi: 10.1007\/978-3-319-06410-9_48"},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Cheddar: a flexible real time scheduling framework. In: ACM SIGAda Ada Letters, vol. 24, pp. 1\u20138. ACM (2004)","DOI":"10.1145\/1046191.1032298"},{"issue":"5","key":"27_CR27","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/s11241-015-9234-z","volume":"51","author":"M Stigge","year":"2015","unstructured":"Stigge, M., Yi, W.: Graph-based models for real-time workload: a survey. Real-Time Syst. 51(5), 602\u2013636 (2015)","journal-title":"Real-Time Syst."},{"key":"27_CR28","unstructured":"Team, SysML Merge: Systems modeling language (SysML) specification. OMG document: ad\/2006-03-01 (2006)"},{"key":"27_CR29","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proceedings of the 2000 IEEE International Symposium on Circuits and Systems, ISCAS 2000 Geneva, vol. 4, pp. 101\u2013104. IEEE (2000)","DOI":"10.1109\/ISCAS.2000.858698"}],"container-title":["Lecture Notes in Computer Science","Models, Algorithms, Logics and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63121-9_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T17:32:44Z","timestamp":1750786364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63121-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631202","9783319631219"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63121-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}