{"id":"https://openalex.org/W2211173788","doi":"https://doi.org/10.1145/2699435","title":"Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems","display_name":"Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems","publication_year":2015,"publication_date":"2015-05-06","ids":{"openalex":"https://openalex.org/W2211173788","doi":"https://doi.org/10.1145/2699435","mag":"2211173788"},"language":"en","primary_location":{"id":"doi:10.1145/2699435","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2699435","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/23954/23954D.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038442224","display_name":"Sanjoy Baruah","orcid":"https://orcid.org/0000-0002-4541-3445"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sanjoy Baruah","raw_affiliation_strings":["University of North Carolina, Chapel Hill, NC","Department of Computer Science [Chapel Hill] (Campus Box 3175, Brooks Computer Science Building 201 South Columbia Street UNC-Chapel Hill Chapel Hill, NC 27599-3175 USA - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of North Carolina, Chapel Hill, NC","institution_ids":["https://openalex.org/I114027177"]},{"raw_affiliation_string":"Department of Computer Science [Chapel Hill] (Campus Box 3175, Brooks Computer Science Building 201 South Columbia Street UNC-Chapel Hill Chapel Hill, NC 27599-3175 USA - United States)","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039816271","display_name":"Vincenzo Bonifaci","orcid":"https://orcid.org/0000-0001-9038-6901"},"institutions":[{"id":"https://openalex.org/I4210162062","display_name":"Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti","ror":"https://ror.org/054ye0e45","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210155236","https://openalex.org/I4210162062"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vincenzo Bonifaci","raw_affiliation_strings":["IASI -- Consiglio Nazionale delle Ricerche, Roma, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IASI -- Consiglio Nazionale delle Ricerche, Roma, Italy","institution_ids":["https://openalex.org/I4210162062"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050291532","display_name":"Gianlorenzo D\u2019Angelo","orcid":"https://orcid.org/0000-0003-0377-7037"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianlorenzo D'angelo","raw_affiliation_strings":["Gran Sasso Science Institute (GSSI), L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007603677","display_name":"Haohan Li","orcid":"https://orcid.org/0000-0002-8286-2741"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haohan Li","raw_affiliation_strings":["University of North Carolina","UNC - University of North Carolina [Chapel Hill] (250 East Franklin Street, Chapel Hill, NC, - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of North Carolina","institution_ids":[]},{"raw_affiliation_string":"UNC - University of North Carolina [Chapel Hill] (250 East Franklin Street, Chapel Hill, NC, - United States)","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064823807","display_name":"Alberto Marchetti-Spaccamela","orcid":"https://orcid.org/0000-0002-7991-4416"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Marchetti-Spaccamela","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma, Rome, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018484781","display_name":"Suzanne van der Ster","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Suzanne Van Der Ster","raw_affiliation_strings":["Vrije Universiteit Amsterdam, The Netherlands","VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044184077","display_name":"Leen Stougie","orcid":"https://orcid.org/0000-0001-6938-8902"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Leen Stougie","raw_affiliation_strings":["Vrije Universiteit Amsterdam & CWI, The Netherlands","VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Netherlands)","CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam & CWI, The Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I865915315"]},{"raw_affiliation_string":"VU - Vrije Universiteit Amsterdam [Amsterdam] (De Boelelaan 1105 1081 HV Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"CWI - Centrum Wiskunde & Informatica (Science Park 123, 1098 XG Amsterdam - Netherlands)","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5038442224"],"corresponding_institution_ids":["https://openalex.org/I114027177"],"apc_list":null,"apc_paid":null,"fwci":10.8695,"has_fulltext":true,"cited_by_count":82,"citation_normalized_percentile":{"value":0.98730351,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"62","issue":"2","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.8145295977592468},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8084792494773865},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6237367987632751},{"id":"https://openalex.org/keywords/mixed-criticality","display_name":"Mixed criticality","score":0.6011406779289246},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.5781751275062561},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5706530809402466},{"id":"https://openalex.org/keywords/earliest-deadline-first-scheduling","display_name":"Earliest deadline first scheduling","score":0.5451849699020386},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5139912962913513},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5084656476974487},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46854862570762634},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.3179889917373657},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.30005329847335815},{"id":"https://openalex.org/keywords/rate-monotonic-scheduling","display_name":"Rate-monotonic scheduling","score":0.2711092233657837},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23116764426231384},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.11909711360931396},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11721143126487732},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07656177878379822}],"concepts":[{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.8145295977592468},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8084792494773865},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6237367987632751},{"id":"https://openalex.org/C2781124451","wikidata":"https://www.wikidata.org/wiki/Q6883956","display_name":"Mixed criticality","level":3,"score":0.6011406779289246},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.5781751275062561},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5706530809402466},{"id":"https://openalex.org/C32310161","wikidata":"https://www.wikidata.org/wiki/Q666365","display_name":"Earliest deadline first scheduling","level":5,"score":0.5451849699020386},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5139912962913513},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5084656476974487},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46854862570762634},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.3179889917373657},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.30005329847335815},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.2711092233657837},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23116764426231384},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.11909711360931396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11721143126487732},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07656177878379822},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C185544564","wikidata":"https://www.wikidata.org/wiki/Q81197","display_name":"Nuclear physics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/2699435","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2699435","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:cwi.nl:23954","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/23954","pdf_url":"https://ir.cwi.nl/pub/23954/23954D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the ACM vol. 62 no. 2, pp. 1-33","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-01249091v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01249091","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the ACM (JACM), 2015, 62 (2), pp.14. ⟨10.1145/2699435⟩","raw_type":"Journal articles"},{"id":"pmh:oai:iris.uniroma1.it:11573/797898","is_oa":true,"landing_page_url":"http://hdl.handle.net/11573/797898","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.uniroma3.it:11590/381661","is_oa":true,"landing_page_url":"http://hdl.handle.net/11590/381661","pdf_url":null,"source":{"id":"https://openalex.org/S4377196120","display_name":"Iris (Roma Tre University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119003972","host_organization_name":"Roma Tre University","host_organization_lineage":["https://openalex.org/I119003972"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:research.vu.nl:publications/86daee70-02a2-411d-889e-d819cec122e7","is_oa":false,"landing_page_url":"https://hdl.handle.net/1871.1/86daee70-02a2-411d-889e-d819cec122e7","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Baruah, S, Bonifaci, V, D'Angelo, G, Li, H, Marchetti-Spaccamela, A, van der Ster, S L & Stougie, L 2015, 'Preemptive uniprocessor scheduling of mixed-criticality sporadic task systems', Journal of the Association for Computing Machinery, vol. 62, no. 2, 14, pp. 1-33. https://doi.org/10.1145/2699435","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:vu:oai:research.vu.nl:publications/86daee70-02a2-411d-889e-d819cec122e7","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/86daee70-02a2-411d-889e-d819cec122e7","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the Association for Computing Machinery, 62(2):14, 1 - 33. Association for Computing Machinery (ACM)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:cwi.nl:23954","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/23954","pdf_url":"https://ir.cwi.nl/pub/23954/23954D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the ACM vol. 62 no. 2, pp. 1-33","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1174276164","display_name":"CSR: Small: A Comprehensive Framework for Real-Time Multiprocessor Synchronization","funder_award_id":"1115284","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1601295341","display_name":"CSR: Small: Real-Time Computing Using GPUs","funder_award_id":"1218693","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2090462197","display_name":null,"funder_award_id":"1409175","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2446757750","display_name":null,"funder_award_id":"CNS 1016954, CNS 1115284, CNS 1218693, CNS 1409175","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4364465491","display_name":null,"funder_award_id":"CNS 1218693","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4399445174","display_name":null,"funder_award_id":"W911NF-09-1-0535","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G5712196455","display_name":null,"funder_award_id":"CNS 1115284","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7240207198","display_name":null,"funder_award_id":"CNS 1409175","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7452299184","display_name":null,"funder_award_id":"W911NF","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G8003474156","display_name":null,"funder_award_id":"CNS 1016954","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8520024695","display_name":"CSR: Small: Formal Foundations of Certifiable Mixed-criticality Systems","funder_award_id":"1016954","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2211173788.pdf","grobid_xml":"https://content.openalex.org/works/W2211173788.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W194244820","https://openalex.org/W1485093219","https://openalex.org/W1507039213","https://openalex.org/W1755333370","https://openalex.org/W1991659074","https://openalex.org/W1992967961","https://openalex.org/W2001741445","https://openalex.org/W2005353733","https://openalex.org/W2009415693","https://openalex.org/W2034608968","https://openalex.org/W2064207294","https://openalex.org/W2076285066","https://openalex.org/W2078000719","https://openalex.org/W2081415839","https://openalex.org/W2109488193","https://openalex.org/W2129757807","https://openalex.org/W2141086245","https://openalex.org/W2146412113","https://openalex.org/W2152271744","https://openalex.org/W2169704840","https://openalex.org/W2262960161","https://openalex.org/W2296319761","https://openalex.org/W2402982395","https://openalex.org/W3100759067","https://openalex.org/W3145128584","https://openalex.org/W4235187481","https://openalex.org/W4285719527","https://openalex.org/W6633737667"],"related_works":["https://openalex.org/W2172075652","https://openalex.org/W2001066483","https://openalex.org/W4381889969","https://openalex.org/W160191800","https://openalex.org/W2605049164","https://openalex.org/W1712986213","https://openalex.org/W2888222534","https://openalex.org/W4316659495","https://openalex.org/W4293461542","https://openalex.org/W103924539"],"abstract_inverted_index":{"Systems":[0],"in":[1],"many":[2],"safety-critical":[3,29],"application":[4],"domains":[5],"are":[6,92,116,138,152,159,167],"subject":[7,32],"to":[8,33,46,52,120,149],"certification":[9],"requirements.":[10],"For":[11,118],"any":[12,87],"given":[13],"system,":[14],"however,":[15],"it":[16],"may":[17],"be":[18,47,111],"the":[19,35,38,179,186],"case":[20],"that":[21,161],"only":[22],"a":[23,107,171],"subset":[24],"of":[25,37,55,61,89,96,125,157,174,185],"its":[26,163],"functionality":[27,39],"is":[28,40,50,65,78,145],"and":[30,42,135,140],"hence":[31],"certification;":[34],"rest":[36],"non-safety-critical":[41],"does":[43],"not":[44],"need":[45],"certified,":[48],"or":[49],"certified":[51],"lower":[53],"levels":[54,91],"assurance.":[56],"The":[57,165],"certification-cognizant":[58],"runtime":[59],"scheduling":[60,170],"such":[62,130],"mixed-criticality":[63],"systems":[64,84],"considered.":[66],"An":[67],"algorithm":[68,81],"called":[69],"EDF-VD":[70,144,158],"(for":[71],"Earliest":[72],"Deadline":[73],"First":[74],"with":[75,147],"Virtual":[76],"Deadlines)":[77],"presented:":[79],"this":[80],"can":[82,110],"schedule":[83],"for":[85,104],"which":[86,143],"number":[88],"criticality":[90,122],"defined.":[93],"Efficient":[94],"implementations":[95],"EDF-VD,":[97,115,126],"as":[98,100,131],"well":[99],"associated":[101],"schedulability":[102],"tests":[103],"determining":[105],"whether":[106],"task":[108,175],"system":[109],"correctly":[112],"scheduled":[113],"using":[114],"presented.":[117],"up":[119],"13":[121],"levels,":[123],"analyses":[124],"based":[127],"on":[128],"metrics":[129,151],"processor":[132],"speedup":[133],"factor":[134],"utilization":[136],"bounds,":[137],"derived,":[139],"conditions":[141],"under":[142],"optimal":[146],"respect":[148],"these":[150],"identified.":[153],"Finally,":[154],"two":[155],"extensions":[156,166],"discussed":[160],"enhance":[162],"applicability.":[164],"aimed":[168],"at":[169],"wider":[172],"range":[173],"sets,":[176],"while":[177],"preserving":[178],"favorable":[180],"worst-case":[181],"resource":[182],"usage":[183],"guarantees":[184],"basic":[187],"algorithm.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":10},{"year":2018,"cited_by_count":13},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}