{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:26:46Z","timestamp":1762522006464,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,13]],"date-time":"2017-04-13T00:00:00Z","timestamp":1492041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-13-BS03-0004"],"award-info":[{"award-number":["ANR-13-BS03-0004"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,13]]},"DOI":"10.1145\/3049797.3049816","type":"proceedings-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T12:18:54Z","timestamp":1492172334000},"page":"131-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Scheduling of Embedded Controllers Under Timing Contracts"],"prefix":"10.1145","author":[{"given":"Mohammad","family":"Al Khatib","sequence":"first","affiliation":[{"name":"CNRS; CentraleSup\u00e9lec; Universit\u00e9 Paris-Sud; Universit\u00e9 Paris-Saclay, Gif-sur-yvette, France"}]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[{"name":"CNRS; CentraleSup\u00e9lec; Universit\u00e9 Paris-Sud; Universit\u00e9 Paris-Saclay, Gif-sur-yvette, France"}]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[{"name":"Verimag; CNRS; Universit\u00e9 Grenoble Alpes, Grenoble, France"}]}],"member":"320","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.08.007"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883827"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2015.7108417"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.79"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0040"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.05.023"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.022"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_14_1","volume-title":"Optimal design of distributed control and embedded systems","author":"Cela A.","year":"2013","unstructured":"A. Cela , M. B. Gaid , X.-G. Li , and S.-I. Niculescu . Optimal design of distributed control and embedded systems . Springer Science & Business Media , 2013 . A. Cela, M. B. Gaid, X.-G. Li, and S.-I. Niculescu. Optimal design of distributed control and embedded systems. Springer Science & Business Media, 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.017"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/0470856343"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2008.2010459"},{"key":"e_1_3_2_1_18_1","volume-title":"Model-based framework for schedulability analysis using uppaal 4.1. Model-based design for embedded systems, 1(1):93--119","author":"David A.","year":"2009","unstructured":"A. David , J. Illum , K. G. Larsen , and A. Skou . Model-based framework for schedulability analysis using uppaal 4.1. Model-based design for embedded systems, 1(1):93--119 , 2009 . A. David, J. Illum, K. G. Larsen, and A. Skou. Model-based framework for schedulability analysis using uppaal 4.1. Model-based design for embedded systems, 1(1):93--119, 2009."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2107631"},{"key":"e_1_3_2_1_21_1","volume-title":"Scheduling a steel plant with timed automata","author":"Fehnker A.","year":"1999","unstructured":"A. Fehnker . Scheduling a steel plant with timed automata . Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen , 1999 . A. Fehnker. Scheduling a steel plant with timed automata. Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, 1999."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039616"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.10.017"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/070679132"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042352"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2012.06.001"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2122690"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403187"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_6"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/140980570"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dnq023"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038689"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160461"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728636"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2232378"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904277"}],"event":{"name":"HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Pittsburgh Pennsylvania USA","acronym":"HSCC '17"},"container-title":["Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049816","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3049797.3049816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:26Z","timestamp":1750217786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,13]]},"references-count":36,"alternative-id":["10.1145\/3049797.3049816","10.1145\/3049797"],"URL":"https:\/\/doi.org\/10.1145\/3049797.3049816","relation":{},"subject":[],"published":{"date-parts":[[2017,4,13]]},"assertion":[{"value":"2017-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}