{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T10:10:02Z","timestamp":1746267002194,"version":"3.40.4"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"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-07602-7_6","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"61-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal"],"prefix":"10.1007","author":[{"given":"Abdeldjalil","family":"Boudjadar","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"David","sequence":"additional","affiliation":[]},{"given":"Jin Hyun","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Kim. G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"key":"6_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 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)"},{"key":"6_CR2","unstructured":"Behnam, M., Nolte, T., Shin, I., \u00c5sberg, M., Bril, R.: Towards hierarchical scheduling in VxWorks. In: OSPERT 2008, pp. 63\u201372 (2008)"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1109\/TSE.2012.54","volume":"39","author":"L Carnevali","year":"2013","unstructured":"Carnevali, L., Pinzuti, A., Vicario, E.: Compositional verification for hierarchical scheduling of real-time systems. IEEE Trans. Softw. Eng. 39(5), 638\u2013657 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR4","volume-title":"Compositional Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Long, D.E., Mcmillan, K.L.: Compositional Model Checking. MIT Press, Cambridge (1999)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-34032-1_28","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"A David","year":"2012","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M.: Schedulability of Herschel-Planck revisited using statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 293\u2013307. Springer, Heidelberg (2012)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24310-3_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., van Vliet, J., Wang, Z.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer, Heidelberg (2011)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Deng, Z., Liu, J.W.-S.: Scheduling real-time applications in an open environment. In: RTSS, pp. 308\u2013319. IEEE Computer Society (1997)","DOI":"10.1109\/REAL.1997.641292"},{"key":"6_CR8","unstructured":"Dodd, R.: Coloured petri net modelling of a generic avionics missions computer. Technical report (2006)"},{"key":"6_CR9","unstructured":"Feng, X.A., Mok, A.K.: A model of hierarchical real-time virtual resources. In: Proceedings of the 23rd IEEE Real-Time Systems Symposium, RTSS \u201902, pp. 26\u201335. IEEE Computer Society, Washington, DC (2002)"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008736219484","volume":"18","author":"J Lind-Nielsen","year":"2001","unstructured":"Lind-Nielsen, J., Andersen, H.R., Hulgaard, H., Behrmann, G., Kristoffersen, K.J., Larsen, K.G.: Verification of large state\/event systems using compositionality and dependency analysis. Formal Meth. Syst. Des. 18(1), 5\u201323 (2001)","journal-title":"Formal Meth. Syst. Des."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Shin, I., Easwaran, A., Lee, I.: Hierarchical scheduling framework for virtual clustering of multiprocessors. In: ECRTS, pp. 181\u2013190. IEEE Computer Society (2008)","DOI":"10.1109\/ECRTS.2008.28"},{"key":"6_CR12","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: RTSS, pp. 2\u201313. IEEE Computer Society (2003)"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"30:1","DOI":"10.1145\/1347375.1347383","volume":"7","author":"I Shin","year":"2008","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7(3), 30:1\u201330:39 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:44:03Z","timestamp":1746265443000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}