{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:29:19Z","timestamp":1760369359717},"reference-count":10,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. &amp; Syst."],"published-print":{"date-parts":[[2016]]},"DOI":"10.1587\/transinf.2016edl8003","type":"journal-article","created":{"date-parts":[[2016,7,31]],"date-time":"2016-07-31T22:12:36Z","timestamp":1470003156000},"page":"2172-2176","source":"Crossref","is-referenced-by-count":5,"title":["Hierarchical System Schedulability Analysis Framework Using UPPAAL"],"prefix":"10.1587","volume":"E99.D","author":[{"given":"So Jin","family":"AHN","sequence":"first","affiliation":[{"name":"Korea University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dae Yon","family":"HWANG","sequence":"additional","affiliation":[{"name":"Korea University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miyoung","family":"KANG","sequence":"additional","affiliation":[{"name":"Korea University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"CHOI","sequence":"additional","affiliation":[{"name":"Korea University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","unstructured":"[1] T.-W. Kuo and C.-H. Li, \u201cA fixed-priority-driven open environment for real-time applications,\u201d Proc. 20th IEEE Real-Time Systems Symposium 1999, pp.256-267, IEEE, 1999."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] G. Lipari and S.K. Baruah, \u201cEfficient scheduling of real-time multi-task applications in dynamic systems,\u201d Proc. IEEE, pp.166-175, 2000.","DOI":"10.1109\/RTTAS.2000.852461"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] G. Lipari, J. Carpenter, and S. Baruah, \u201cA framework for achieving inter-application isolation in multiprogrammed, hard real-time environments,\u201d Proc. 21<sup>st<\/sup> IEEE Real-Time Systems Symposium, pp.217-226, IEEE, 2000.","DOI":"10.1109\/REAL.2000.896011"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] I. Shin and I. Lee, \u201cCompositional real-time scheduling framework with periodic model,\u201d ACM Trans. Embedded Computing Systems (TECS), vol.7, no.3, p.30, 2008.","DOI":"10.1145\/1347375.1347383"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] J. Boudjadar, et al., \u201cHierarchical scheduling framework based on compositional analysis using UPPAAL,\u201d The 10th International Symposium on Formal Aspects of Component Software, LNCS 8348, pp.61-77, 2013.","DOI":"10.1007\/978-3-319-07602-7_6"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] L. Carnevali, A. Pinzuti, and E. Vicario, \u201cCompositional verification for hierarchical scheduling of real-time systems,\u201d IEEE Trans. Softw. Eng., vol.39, no.5, pp.638-657, 2013.","DOI":"10.1109\/TSE.2012.54"},{"key":"7","unstructured":"[7] A. Easwaran, et al., \u201cA compositional framework for avionics (ARINC-653) systems,\u201d Technical Report, Department of Computer &amp; Information Science, University of Pennsylvania, no.MS-CIS-09-04, 2009."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] G. Behrmann, A. David, and K.G. Larsen, \u201cA Tutorial on Uppaal,\u201d Formal Methods for the Design of Real-Time Systems, Lecture Notes in Computer Science, vol.3185, pp.200-236, Springer Berlin Heidelberg, Berlin, Heidelberg, 2004.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"9","unstructured":"[9] J. Park, et al., \u201cA process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems,\u201d Journal of Logical and Algebraic Methods in Programming (submitted)."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] L.T.X. Phan, M. Xu, J. Lee, I. Lee, and O. Sokolsky, \u201cOverhead-aware compositional analysis of real-time systems,\u201d 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.237-246, 2013.","DOI":"10.1109\/RTAS.2013.6531096"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E99.D\/8\/E99.D_2016EDL8003\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T00:14:45Z","timestamp":1568247285000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E99.D\/8\/E99.D_2016EDL8003\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":10,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2016]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016edl8003","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}