{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:22Z","timestamp":1762459222366,"version":"3.40.4"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/rtcsa.2014.6910502","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:39:52Z","timestamp":1412109592000},"page":"1-10","source":"Crossref","is-referenced-by-count":10,"title":["Component-based analysis of hierarchical scheduling using linear hybrid automata"],"prefix":"10.1109","author":[{"given":"Youcheng","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romain","family":"Soulat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fribourg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Markey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/2392987.2393014"},{"key":"17","first-page":"67","article-title":"Timed automata with asynchronous processes: Schedulability and decidability","author":"fersman","year":"2002","journal-title":"Proc 8th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS02) 2280 of LNCS"},{"key":"18","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-36577-X_16","article-title":"Schedulability analysis using two clocks","author":"fersman","year":"2003","journal-title":"Proc 9th International Conference Ools and Algorithms for the Construction and Analysis of Systems (TACAS03)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"16","article-title":"Timed automata as task models for event-driven systems","author":"norstr\ufffdm","year":"1998","journal-title":"Proc 6th International Workshop Real-Time Computing Systems and Applications (RTCSA99)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21338-0_9"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.54"},{"key":"11","first-page":"33","article-title":"IMITATOR 2.5: A Tool for analyzing robustness in scheduling problems","author":"andre","year":"2012","journal-title":"Proc 18th International Symposium Formal Methods (FM12) (D Giannakopoulou and D Mery Eds 7436 of LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2012.10"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05416-2_14"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739726"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"24","first-page":"25","article-title":"A linear hybrid automata model for component-based analysis of hierarchical scheduling systems","author":"sun","year":"2013","journal-title":"Research Report LSV-13-14 Laboratoire Specification et Verification"},{"key":"25","first-page":"200","author":"behrmann","year":"2004","journal-title":"A Tutorial on Uppaal"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_33"},{"journal-title":"FOrmal Real-Time Scheduler (FORTS)","year":"0","author":"sun","key":"28"},{"key":"29","article-title":"An analysis of task-scheduling for a generic avionics mission computer","author":"dodd","year":"2006","journal-title":"Tech Rep DTIC Document"},{"journal-title":"ARINC ARINC 653 Avionics Application Software Standard Interface (Draft 15)","year":"1996","key":"3"},{"journal-title":"ARINC ARINC 651 Design Guidance for Integrated Modular Avionics","year":"1991","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2011.24"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"},{"key":"30","article-title":"Coloured petri net modelling of a generic avionics mission computer","author":"dodd","year":"2006","journal-title":"Tech Rep DTIC Document"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"6","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/EMC-2005-00019","article-title":"A methodology for designing hierarchical scheduling systems","volume":"1","author":"lipari","year":"2005","journal-title":"J Embedded Computing"},{"key":"5","first-page":"2","article-title":"Periodic resource model for compositional real-time guarantees","author":"shih","year":"2003","journal-title":"Proc of the 20th IEEE Real-Time Systems Symposium"},{"key":"31","first-page":"6","article-title":"Techniques for the synthesis of multiprocessor tasksets","author":"emberson","year":"0","journal-title":"Proc 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS10)"},{"key":"4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/REAL.2002.1181559","article-title":"A model of hierarchical real-time virtual resources","author":"feng","year":"2002","journal-title":"Proc of the 20th IEEE Real-Time Systems Symposium"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"journal-title":"Hybrid Automata An Algorithmic Approach to the Specification and Verification of Hybrid Systems 736 of LNCS","year":"1993","author":"alur","key":"8"}],"event":{"name":"2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2014,8,20]]},"location":"Chongqing, China","end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900045\/6910490\/06910502.pdf?arnumber=6910502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:04:06Z","timestamp":1746399846000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6910502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2014.6910502","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}