{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:09Z","timestamp":1750220169897,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1145\/3568562.3568565","type":"proceedings-article","created":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:25:01Z","timestamp":1669681501000},"page":"336-343","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1000-5123","authenticated-orcid":false,"given":"Nhat-Hoa","family":"Tran","sequence":"first","affiliation":[{"name":"School of Information and Communication Technology, Hanoi University of Science and Technology, Viet Nam"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 60\u201372","author":"Amnell Tobias","year":"2003","unstructured":"Tobias Amnell , Elena Fersman , Leonid Mokrushin , Paul Pettersson , and Wang Yi . 2003 . TIMES: a tool for schedulability analysis and code generation of real-time systems . In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 60\u201372 . Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. 2003. TIMES: a tool for schedulability analysis and code generation of real-time systems. In International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 60\u201372."},{"volume-title":"Embedded Systems Design","author":"Bouyssounouse Bruno","unstructured":"Bruno Bouyssounouse and Joseph Sifakis . 2005. Real-Time operating systems . In Embedded Systems Design . Springer , 258\u2013286. Bruno Bouyssounouse and Joseph Sifakis. 2005. Real-Time operating systems. In Embedded Systems Design. Springer, 258\u2013286.","key":"e_1_3_2_1_2_1"},{"volume-title":"Real-time systems: scheduling, analysis, and verification","author":"Cheng MK","unstructured":"Albert\u00a0 MK Cheng . 2003. Real-time systems: scheduling, analysis, and verification . John Wiley & Sons . Albert\u00a0MK Cheng. 2003. Real-time systems: scheduling, analysis, and verification. John Wiley & Sons.","key":"e_1_3_2_1_3_1"},{"volume-title":"Model-based design for embedded systems","author":"David Alexandre","unstructured":"Alexandre David , Jacob Illum , Kim\u00a0 G Larsen , and Arne Skou . 2018. Model-based framework for schedulability analysis using UPPAAL 4.1 . In Model-based design for embedded systems . CRC Press , 117\u2013144. Alexandre David, Jacob Illum, Kim\u00a0G Larsen, and Arne Skou. 2018. Model-based framework for schedulability analysis using UPPAAL 4.1. In Model-based design for embedded systems. CRC Press, 117\u2013144.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"d.]. Concise PROMELA reference","author":"Gerth Rob","year":"1997","unstructured":"Rob Gerth . [n. d.]. Concise PROMELA reference , 1997 . ([n. d.]). Rob Gerth. [n. d.]. Concise PROMELA reference, 1997. ([n. d.])."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/381473.381619"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/978-3-319-22975-1_8"},{"volume-title":"The SPIN model checker: Primer and reference manual. Vol.\u00a01003","author":"Holzmann J","unstructured":"Gerard\u00a0 J Holzmann . 2004. The SPIN model checker: Primer and reference manual. Vol.\u00a01003 . Addison-Wesley Reading . Gerard\u00a0J Holzmann. 2004. The SPIN model checker: Primer and reference manual. Vol.\u00a01003. Addison-Wesley Reading.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/s100090050010"},{"unstructured":"MARTE UML. 2015. UML profile for MARTE: modeling and analysis of real-time embedded systems.  MARTE UML. 2015. UML profile for MARTE: modeling and analysis of real-time embedded systems.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/2.7053"},{"key":"e_1_3_2_1_12_1","volume-title":"Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and microprogramming 40, 2-3","author":"Tindell Ken","year":"1994","unstructured":"Ken Tindell and John Clark . 1994. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and microprogramming 40, 2-3 ( 1994 ), 117\u2013134. Ken Tindell and John Clark. 1994. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and microprogramming 40, 2-3 (1994), 117\u2013134."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/APSEC.2017.48"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1587\/transinf.2017EDP7391"}],"event":{"acronym":"SoICT 2022","name":"SoICT 2022: The 11th International Symposium on Information and Communication Technology","location":"Hanoi Vietnam"},"container-title":["The 11th International Symposium on Information and Communication Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3568562.3568565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3568562.3568565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:39Z","timestamp":1750186839000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3568562.3568565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":14,"alternative-id":["10.1145\/3568562.3568565","10.1145\/3568562"],"URL":"https:\/\/doi.org\/10.1145\/3568562.3568565","relation":{},"subject":[],"published":{"date-parts":[[2022,12]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}