{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T17:43:51Z","timestamp":1784223831605,"version":"3.55.0"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T00:00:00Z","timestamp":1562025600000},"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":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2019,7,31]]},"abstract":"<jats:p>\n            We present a thermal-aware, hard real-time (HRT) global scheduler for a multiprocessor system designed upon three novel techinques. First, we present a modeling methodology based on Timed Continuous Petri nets (TCPN) that yields a complete state variable model, including job arrivals, CPU usage, power, and thermal behavior. The model is accurate and avoids the calibration stage of\n            <jats:italic>RC<\/jats:italic>\n            thermal models. Second, based on this model, a linear programming problem (LPP) determines the existence of a feasible HRT thermal-aware schedule. Last, a sliding-mode controller and an online discretization algorithm implement the global HRT scheduler, which is capable of managing thermal constraints, context switching, migrations, and disturbances.\n          <\/jats:p>","DOI":"10.1145\/3322643","type":"journal-article","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T12:50:33Z","timestamp":1562071833000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets"],"prefix":"10.1145","volume":"18","author":[{"given":"G.","family":"Desirena-L\u00f3pez","sequence":"first","affiliation":[{"name":"CINVESTAV-IPN Unidad Guadalajara, Zapopan, Jalisco, Mexico"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Ram\u00edrez-Trevi\u00f1o","sequence":"additional","affiliation":[{"name":"CINVESTAV-IPN Unidad Guadalajara, Zapopan, Jalisco, Mexico"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J. L.","family":"Briz","sequence":"additional","affiliation":[{"name":"DIIS\/I3A Universidad de Zaragoza, Zaragoza, Espa\u00f1a"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C. R.","family":"V\u00e1zquez","sequence":"additional","affiliation":[{"name":"Tecnologico de Monterrey, Escuela de Ingenier\u00eda y Ciencias, Guadalajara, Zapopan, Jalisco, Mexico"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"G\u00f3mez-Guti\u00e9rrez","sequence":"additional","affiliation":[{"name":"Tecnologico de Monterrey, Escuela de Ingenier\u00eda y Ciencias, Guadalajara, Zapopan, Jalisco, Mexico"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883612"},{"key":"e_1_2_1_2_1","volume-title":"13th Euromicro Conference on Real-Time Systems","author":"James","year":"2001","unstructured":"James H. Anderson and Anand Srinivasan. 2001. Mixed Pfair\/ERfair scheduling of asynchronous periodic tasks . In 13th Euromicro Conference on Real-Time Systems , 2001 . IEEE, 76--85. James H. Anderson and Anand Srinivasan. 2001. Mixed Pfair\/ERfair scheduling of asynchronous periodic tasks. In 13th Euromicro Conference on Real-Time Systems, 2001. IEEE, 76--85."},{"key":"e_1_2_1_3_1","series-title":"ASHRAE Datacom Series","volume-title":"Thermal Guidelines for Data Processing Environments","author":"American Society of Heating, Refrigeration, and Air-Conditioning Engineers (ASHRAE). 2012.","unstructured":"American Society of Heating, Refrigeration, and Air-Conditioning Engineers (ASHRAE). 2012. Thermal Guidelines for Data Processing Environments . ASHRAE Datacom Series . American Society of Heating, Refrigeration, and Air-Conditioning Engineers (ASHRAE). 2012. Thermal Guidelines for Data Processing Environments. ASHRAE Datacom Series."},{"key":"e_1_2_1_4_1","volume-title":"International Conf. on Real-Time and Network Systems. Citeseer.","author":"Baker Theodore P.","year":"2005","unstructured":"Theodore P. Baker . 2005 . A comparison of global and partitioned EDF schedulability tests for multiprocessors . In International Conf. on Real-Time and Network Systems. Citeseer. Theodore P. Baker. 2005. A comparison of global and partitioned EDF schedulability tests for multiprocessors. In International Conf. on Real-Time and Network Systems. Citeseer."},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"S. Baruah M. Bertogna and G. Butazzo. 2015. Multiprocessor Scheduling for Real-Time Systems. Springer-Verlag New York Inc. Secaucus NJ.   S. Baruah M. Bertogna and G. Butazzo. 2015. Multiprocessor Scheduling for Real-Time Systems. Springer-Verlag New York Inc. Secaucus NJ.","DOI":"10.1007\/978-3-319-08696-5"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01940883"},{"key":"e_1_2_1_7_1","volume-title":"Fast scheduling of periodic tasks on multiple resources","author":"Baruah Sanjoy K.","unstructured":"Sanjoy K. Baruah , Johannes E. Gehrke , and C. Greg Plaxton . 1995. Fast scheduling of periodic tasks on multiple resources . In IPPS. IEEE , 280. Sanjoy K. Baruah, Johannes E. Gehrke, and C. Greg Plaxton. 1995. Fast scheduling of periodic tasks on multiple resources. In IPPS. IEEE, 280."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1115\/IPACK2007-33873"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"e_1_2_1_10_1","volume-title":"29th Euromicro Conference on Real-Time Systems (ECRTS 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Marko Bertogna (Ed.)","volume":"76","author":"Casini Daniel","year":"2017","unstructured":"Daniel Casini , Alessandro Biondi , and Giorgio Buttazzo . 2017 . Semi-partitioned scheduling of dynamic real-time workload: A practical approach based on analysis-driven load balancing . In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Marko Bertogna (Ed.) , Vol. 76 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 13:1--13:23. Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. 2017. Semi-partitioned scheduling of dynamic real-time workload: A practical approach based on analysis-driven load balancing. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Marko Bertogna (Ed.), Vol. 76. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 13:1--13:23."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/882481.883792"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2010.2058873"},{"key":"e_1_2_1_13_1","unstructured":"R. David and H. Alla. 2005. In Discrete Continuous and Hybrid Petri Nets Vol. 1. Springer.   R. David and H. Alla. 2005. In Discrete Continuous and Hybrid Petri Nets Vol. 1. Springer."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978814"},{"key":"e_1_2_1_15_1","unstructured":"G. Desirena L. Rubio A. Ramirez and J. L. Briz. 2019. Thermal-Aware HRT Scheduling simulation framework. Retrieved from https:\/\/www.gdl.cinvestav.mx\/art\/uploads\/TCPN-Thermal-Aware_Real-Time_Scheduling.zip.  G. Desirena L. Rubio A. Ramirez and J. L. Briz. 2019. Thermal-Aware HRT Scheduling simulation framework. Retrieved from https:\/\/www.gdl.cinvestav.mx\/art\/uploads\/TCPN-Thermal-Aware_Real-Time_Scheduling.zip."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497860"},{"key":"e_1_2_1_17_1","volume-title":"IEEE Conference on Control Applications Part of Multi-conference on Systems and Control.","author":"Desirena-Lopez Gaddiel","year":"2014","unstructured":"Gaddiel Desirena-Lopez , Carlos Renato V\u00e1zquez , Antonio Ram\u00edrez-Trevi\u00f1o , and David G\u00f3mez-Guti\u00e9rrez . 2014 . Thermal modelling for temperature control in MPSoC\u2019s using fluid petri nets . In IEEE Conference on Control Applications Part of Multi-conference on Systems and Control. Gaddiel Desirena-Lopez, Carlos Renato V\u00e1zquez, Antonio Ram\u00edrez-Trevi\u00f1o, and David G\u00f3mez-Guti\u00e9rrez. 2014. Thermal modelling for temperature control in MPSoC\u2019s using fluid petri nets. In IEEE Conference on Control Applications Part of Multi-conference on Systems and Control."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150019.1136493"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.49"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.9"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380379"},{"key":"e_1_2_1_22_1","unstructured":"Hassan K. Khalil and J. W. Grizzle. 1996. Nonlinear Systems. Vol. 3. Prentice Hall New Jersey.  Hassan K. Khalil and J. W. Grizzle. 1996. Nonlinear Systems. Vol. 3. Prentice Hall New Jersey."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187675"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1266366.1266701"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403405"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2011.57"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1840845.1840879"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0116-9"},{"key":"e_1_2_1_30_1","volume-title":"Processor and System-on-Chip Simulation","author":"Skadron Kevin","unstructured":"Kevin Skadron , Mircea Stan , and Wei Huang . 2010. Thermal modeling for processors and systems-on-chip . In Processor and System-on-Chip Simulation . Springer , 243--257. Kevin Skadron, Mircea Stan, and Wei Huang. 2010. Thermal modeling for processors and systems-on-chip. In Processor and System-on-Chip Simulation. Springer, 243--257."},{"key":"e_1_2_1_31_1","volume-title":"Sliding Mode Control in Electro-mechanical Systems","author":"Utkin Vadim","unstructured":"Vadim Utkin , J\u00fcrgen Guldner , and Jingxin Shi . 2009. Sliding Mode Control in Electro-mechanical Systems . Vol. 34 . CRC Press . Vadim Utkin, J\u00fcrgen Guldner, and Jingxin Shi. 2009. Sliding Mode Control in Electro-mechanical Systems. Vol. 34. CRC Press."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2013.846480"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1509633.1509645"},{"key":"e_1_2_1_34_1","volume-title":"24th IEEE Real-Time Systems Symposium, RTSS","author":"Zhu Dakai","year":"2003","unstructured":"Dakai Zhu , Daniel Moss\u00e9 , and Rami Melhem . 2003 . Multiple-resource periodic scheduling problem: How much fairness is necessary? In 24th IEEE Real-Time Systems Symposium, RTSS 2003. IEEE, 142--151. Dakai Zhu, Daniel Moss\u00e9, and Rami Melhem. 2003. Multiple-resource periodic scheduling problem: How much fairness is necessary? In 24th IEEE Real-Time Systems Symposium, RTSS 2003. IEEE, 142--151."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322643","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:58Z","timestamp":1750204438000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,2]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,7,31]]}},"alternative-id":["10.1145\/3322643"],"URL":"https:\/\/doi.org\/10.1145\/3322643","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,2]]},"assertion":[{"value":"2017-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}