{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T03:46:05Z","timestamp":1776829565455,"version":"3.51.2"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Spanish Science and Innovation Ministry","doi-asserted-by":"publisher","award":["MICINN: CICYT project PRECON-I4"],"award-info":[{"award-number":["MICINN: CICYT project PRECON-I4"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Spanish Science and Innovation Ministry","doi-asserted-by":"publisher","award":["TIN2017-86520-C3-1-R"],"award-info":[{"award-number":["TIN2017-86520-C3-1-R"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.3024698","type":"journal-article","created":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T20:17:42Z","timestamp":1600460262000},"page":"170389-170403","source":"Crossref","is-referenced-by-count":11,"title":["Integer Programming Techniques for Static Scheduling of Hard Real-Time Systems"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2900-8466","authenticated-orcid":false,"given":"Ana","family":"Guasque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9865-4357","authenticated-orcid":false,"given":"Hossein","family":"Tohidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9458-4083","authenticated-orcid":false,"given":"Patricia","family":"Balbastre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4044-6202","authenticated-orcid":false,"given":"Jose Maria","family":"Aceituno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4677-7627","authenticated-orcid":false,"given":"Jose","family":"Simo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6606-7406","authenticated-orcid":false,"given":"Alfons","family":"Crespo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"A compositional framework for avionics (ARINC-653) systems","author":"easwaran","year":"2009"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777444"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.31"},{"key":"ref30","year":"2019","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.36"},{"key":"ref35","first-page":"2","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"Proc Int Symp Syst -on-Chip"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990604"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.20"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.811318"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-019-09333-z"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3126497"},{"key":"ref14","first-page":"42","article-title":"Investigating mixed criticality cyclic executive schedule generation","author":"fleming","year":"2015","journal-title":"Proceedings of the Workshop on Mixed Criticality (WMC)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.86"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324975"},{"key":"ref17","first-page":"13","article-title":"Response-time calculation and priority assignment with integer programming methods","author":"lisper","year":"2001","journal-title":"Proc Work–Progress Ind Sessions 13th Euromicro Conf Real-Time Syst"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.21"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963442"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(82)90024-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365463"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1142\/9781848162778_0004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1988.51108"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3139258.3139260"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"12261","DOI":"10.3182\/20140824-6-ZA-1003.02004","article-title":"Mixed criticality in control systems","volume":"47","author":"crespo","year":"2014","journal-title":"IFAC Proc Volumes"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242673"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(97)00088-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)57454-6"},{"key":"ref2","year":"2006","journal-title":"Avionics Application Software Standard Interface Part 1—Required Services"},{"key":"ref9","article-title":"Java for safety-critical applications","author":"henties","year":"2009","journal-title":"2nd Int Workshop Certification Saf -Crit Softw Controlled Syst (SafeCert)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3131347"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550369"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/24068.24069"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1991.139903"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PACC.2011.5979044"},{"key":"ref26","article-title":"Optimization techniques for task allocation and scheduling in distributed multi-agent operations","author":"tompkins","year":"2003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90360-6"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09200452.pdf?arnumber=9200452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T22:09:17Z","timestamp":1643148557000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9200452\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/access.2020.3024698","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}