{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:38:55Z","timestamp":1725835135645},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319262864"},{"type":"electronic","value":"9783319262871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26287-1_12","type":"book-chapter","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T05:44:58Z","timestamp":1445838298000},"page":"190-205","source":"Crossref","is-referenced-by-count":3,"title":["Resource-Parameterized Timing Analysis of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Jin Hyun","family":"Kim","sequence":"first","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"issue":"2","key":"12_CR1","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. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"12_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F Balarin","year":"2003","unstructured":"Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.: Metropolis: an integrated electronic system design environment. Computer 36(4), 45\u201352 (2003)","journal-title":"Computer"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-013-0275-0","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K., Legay, A., Miku\u010dionis, M., Poulsen, D.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17, 1\u201319 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","volume-title":"Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS","author":"B Kienhuis","year":"2002","unstructured":"Kienhuis, B., Deprettere, E.F., van der Wolf, P., Vissers, K.: A methodology to design programmable embedded systems. In: Deprettere, F., Teich, J., Vassiliadis, S. (eds.) SAMOS 2001. LNCS, vol. 2268, pp. 18\u201337. Springer, Heidelberg (2002)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Kim, B., Feng, L., Phan, L.T.X., Sokolsky, O., Lee, I.: Platform-specific timing verification framework in model-based implementation. In: Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015, pp. 235\u2013240. EDA Consortium, San Jose (2015)","DOI":"10.7873\/DATE.2015.0096"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Kim, B., Hwang, H., Park, T., Son, S., Lee, I.: A layered approach for testing timing in the model-based implementation. In: 2014 Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 1\u20134, March 2014","DOI":"10.7873\/DATE.2014.202"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-19458-5_4","volume-title":"Formal Methods for Industrial Critical Systems","author":"JH Kim","year":"2015","unstructured":"Kim, J.H., Larsen, K.G., Nielsen, B., Miku\u010dionis, M., Olsen, P.: Formal analysis and testing of real-time automotive systems using UPPAAL tools. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 47\u201361. Springer, Heidelberg (2015)"},{"key":"12_CR8","unstructured":"Lehoczky, J.P., Sha, L., Strosnider, J.K.: Enhanced aperiodic responsiveness in hard real-time environments. In: RTSS, pp. 261\u2013270. IEEE Computer Society (1987)"},{"key":"12_CR9","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: RTSS, pp. 2\u201313. IEEE Computer Society (2003)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Lee, I., Clarke, D.: Schedulability analysis of AADL models. In: Proceedings of International Conference on Parallel and Distributed Processing, p. 179. IEEE Computer Society, Washington (2006)","DOI":"10.1109\/IPDPS.2006.1639421"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/12.368008","volume":"44","author":"JK Strosnider","year":"1995","unstructured":"Strosnider, J.K., Lehoczky, J.P., Sha, L.: The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Trans. Comput. 44(1), 73\u201391 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"12_CR12","unstructured":"TIMMO(TIMing MOdel) Project. \n http:\/\/www.timmo-2-use.org"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26287-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T09:05:43Z","timestamp":1559293543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26287-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319262864","9783319262871"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26287-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}