79766 20200716101518.0 doi 10.1145/3322643 sideral 112577 ART-2019-112577 eng Desirena-López, G. Thermal-aware real-time scheduling using timed continuous Petri Nets 2019 Access copy available to the general public Unrestricted 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 RC 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. info:eu-repo/grantAgreement/ES/DGA/T58-17R info:eu-repo/grantAgreement/ES/MINECO/TIN2016-76635-C2-1-R info:eu-repo/semantics/openAccess All rights reserved http://www.europeana.eu/rights/rr-f/ 1.53 2019 COMPUTER SCIENCE, SOFTWARE ENGINEERING 56 / 108 = 0.519 2019 Q3 T2 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 35 / 53 = 0.66 2019 Q3 T3 0.476 2019 Software 2019 Q2 Hardware and Architecture 2019 Q2 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Ramírez-Treviño, A. (orcid)0000-0001-5940-9837 Briz Velasco, J.L. Universidad de Zaragoza Vázquez, C.R. Gómez-Gutiérrez, D. 5007 035 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Arquit.Tecnología Comput. 18, 4 (2019), [25 pp.] ACM Transactions on Embedded Computing Systems ACM Transactions on Embedded Computing Systems 1539-9087 1070948 http://zaguan.unizar.es/record/79766/files/texto_completo.pdf Postprint 95506 http://zaguan.unizar.es/record/79766/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:79766 articulos driver 2020-07-16-09:25:00 ARTICLE