{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:25:53Z","timestamp":1760369153851,"version":"3.40.4"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319054155"},{"type":"electronic","value":"9783319054162"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-05416-2_14","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"212-228","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems"],"prefix":"10.1007","author":[{"given":"Youcheng","family":"Sun","sequence":"first","affiliation":[]},{"given":"Romain","family":"Soulat","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[]},{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Fribourg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theoret. Comput. Sci. 354(2), 272\u2013300 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR2","series-title":"LNCS","first-page":"113","volume-title":"TACAS 2002","author":"Y Abdedda\u00efm","year":"2002","unstructured":"Abdedda\u00efm, Y., Maler, O.: Preemptive job-shop scheduling using stopwatch automata. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 113\u2013126. Springer, Heidelberg (2002)"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: STOC, pp. 592\u2013601. ACM (1993)","DOI":"10.1145\/167088.167242"},{"key":"14_CR5","series-title":"LNCS","first-page":"76","volume-title":"RP 2010","author":"\u00c9 Andr\u00e9","year":"2010","unstructured":"Andr\u00e9, \u00c9., Fribourg, L.: Behavioral cartography of timed automata. In: Ku\u010dera, A., Potapov, I. (eds.) RP 2010. LNCS, vol. 6227, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"14_CR6","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-32759-9_6","volume-title":"FM 2012","author":"\u00c9 Andr\u00e9","year":"2012","unstructured":"Andr\u00e9, \u00c9., Fribourg, L., K\u00fchne, U., Soulat, R.: IMITATOR 2.5: a tool for analyzing robustness in scheduling problems. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 33\u201336. Springer, Heidelberg (2012)"},{"key":"14_CR7","series-title":"FOCUS Series in Computer Engineering and Information Technology","doi-asserted-by":"publisher","DOI":"10.1002\/9781118569351","volume-title":"The Inverse Method","author":"\u00c9 Andr\u00e9","year":"2013","unstructured":"Andr\u00e9, \u00c9., Soulat, R.: The Inverse Method. FOCUS Series in Computer Engineering and Information Technology. ISTE\/Wiley, London\/New York (2013)"},{"issue":"1\u20132","key":"14_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","volume":"72","author":"R Bagnara","year":"2008","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1\u20132), 3\u201321 (2008)","journal-title":"Sci. Comput. Program."},{"key":"14_CR9","unstructured":"Bini, E.: The design domain of real-time systems. Ph.D. thesis, Scuola Superiore Sant\u2019Anna (2004)"},{"issue":"11","key":"14_CR10","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1109\/TC.2004.103","volume":"53","author":"E Bini","year":"2004","unstructured":"Bini, E., Buttazzo, G.C.: Schedulability analysis of periodic fixed priority systems. IEEE Trans. Comput. 53(11), 1462\u20131473 (2004)","journal-title":"IEEE Trans. Comput."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Bril, R.J., Lukkien, J.J. , Verhaegh, W.F.J.: Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption revisited. In: ECRTS, pp. 269\u2013279. IEEE Computer Society (2007)","DOI":"10.1109\/ECRTS.2007.38"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Palopoli, L., Ramadian, Y.: Symbolic computation of schedulability regions using parametric timed automata. In: RTSS, pp. 80\u201389 (2008)","DOI":"10.1109\/RTSS.2008.36"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller area network (CAN) schedulability analysis: refuted, revisited and revised. Real-Time Syst. 35, 239\u2013272 (2007)","journal-title":"Real-Time Syst."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Fribourg, L., Lesens, D., Moro, P., Soulat, R.: Robustness analysis for scheduling problems using the inverse method. In: TIME, pp. 73\u201380. IEEE Computer Society Press (2012)","DOI":"10.1109\/TIME.2012.10"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Gonzalez Harbour, M., Gutierrez Garcia, J.J., Palencia Gutierrez, J.C., Drake Moyano, J.M.: Mast: modeling and analysis suite for real time applications. In: ECRTS, pp. 125\u2013134 (2001)","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"14_CR16","unstructured":"Grupo de Computadores y Tiempo Real, Universidad de Cantabria. MAST: Modeling and analysis suite for real-time applications. http:\/\/mast.unican.es\/"},{"issue":"2","key":"14_CR17","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 \u2013 the SymTA\/S approach. IEE Proc. Comput. Dig. Tech. 152(2), 148\u2013166 (2005)","journal-title":"IEE Proc. Comput. Dig. Tech."},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s10009-012-0245-y","volume":"15","author":"TTH Le","year":"2013","unstructured":"Le, T.T.H., Palopoli, L., Passerone, R., Ramadian, Y.: Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. Int. J. Softw. Tools Technol. Transfer 15(3), 211\u2013228 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Palencia, J.C., Gonzalez Harbour, M.: Schedulability analysis for tasks with static and dynamic offsets. In: RTSS, pp. 26\u201337 (1998)","DOI":"10.1109\/REAL.1998.739728"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Richter, K., Ernst, R.: Event model interfaces for heterogeneous system analysis. In: DATE, pp. 506\u2013513. IEEE Computer Society (2002)","DOI":"10.1109\/DATE.2002.998348"},{"key":"14_CR21","unstructured":"Seto, D., Lehoczky, D.P., Sha, L.: Task period selection and schedulability in real-time systems. In: RTSS (1998)"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Sun, Y., Soulat, R., Lipari, G., Andr\u00e9, \u00c9, Fribourg, L.: Parametric schedulability analysis of fixed priority real-time distributed systems. Research report LSV-13-03, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France (2013)","DOI":"10.1007\/978-3-319-05416-2_14"},{"issue":"6","key":"14_CR23","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E Wandeler","year":"2006","unstructured":"Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. Int. J. Softw. Tools Technol. Transfer 8(6), 649\u2013667 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transfer"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05416-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T08:46:57Z","timestamp":1746175617000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}