乐胖代购免代理版

{"id":"https://openalex.org/W2946016889","doi":"https://doi.org/10.23919/date.2019.8715111","title":"An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks","display_name":"An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks","publication_year":2019,"publication_date":"2019-03-01","ids":{"openalex":"https://openalex.org/W2946016889","doi":"https://doi.org/10.23919/date.2019.8715111","mag":"2946016889"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715111","pdf_url":null,"source":{"id":"https://openalex.org/S4363608094","display_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.tudelft.nl/islandora/object/uuid%3A41c5ee08-1cde-497f-8de5-64a87ec8825f/datastream/OBJ/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071670707","display_name":"Beyazit Yalcinkaya","orcid":"https://orcid.org/0000-0001-9987-635X"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Beyazit Yalcinkaya","raw_affiliation_strings":["Max Planck Institute for Software Systems (MPI-SWS), Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS), Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081748665","display_name":"Mitra Nasri","orcid":"https://orcid.org/0000-0002-1052-8437"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"funder","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mitra Nasri","raw_affiliation_strings":["Delft University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003988338","display_name":"Bj\u00f6rn B. Brandenburg","orcid":"https://orcid.org/0000-0001-8254-3815"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bjorn B. Brandenburg","raw_affiliation_strings":["Max Planck Institute for Software Systems (MPI-SWS), Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS), Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.852,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":31,"citation_normalized_percentile":{"value":0.999205,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1228","last_page":"1233"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997,"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.9997,"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/T10142","display_name":"Formal Methods in Verification","score":0.9967,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9958,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.77878845},{"id":"https://openalex.org/keywords/preemption","display_name":"Preemption","score":0.5325158},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.43736115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8296135},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.77878845},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.61542463},{"id":"https://openalex.org/C206952183","wikidata":"https://www.wikidata.org/wiki/Q1193100","display_name":"Preemption","level":2,"score":0.5325158},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5076095},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.49818325},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48811135},{"id":"https://openalex.org/C32310161","wikidata":"https://www.wikidata.org/wiki/Q666365","display_name":"Earliest deadline first scheduling","level":5,"score":0.45303002},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.43736115},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43196112},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.41702592},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.34873718},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.30096263},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.21405217},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.14278308},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.13836372},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10771981},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10766888},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.104516715},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715111","pdf_url":null,"source":{"id":"https://openalex.org/S4363608094","display_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:41c5ee08-1cde-497f-8de5-64a87ec8825f","pdf_url":"https://repository.tudelft.nl/islandora/object/uuid%3A41c5ee08-1cde-497f-8de5-64a87ec8825f/datastream/OBJ/download","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":["Delft University of Technology"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:41c5ee08-1cde-497f-8de5-64a87ec8825f","pdf_url":"https://repository.tudelft.nl/islandora/object/uuid%3A41c5ee08-1cde-497f-8de5-64a87ec8825f/datastream/OBJ/download","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":["Delft University of Technology"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1501642906","https://openalex.org/W1546988069","https://openalex.org/W1568100006","https://openalex.org/W1962072139","https://openalex.org/W2004463571","https://openalex.org/W2049602716","https://openalex.org/W2051004121","https://openalex.org/W2053811651","https://openalex.org/W2063943041","https://openalex.org/W2076285066","https://openalex.org/W2101508170","https://openalex.org/W2112698981","https://openalex.org/W2113484971","https://openalex.org/W2119167559","https://openalex.org/W2129710780","https://openalex.org/W2130181800","https://openalex.org/W2157927392","https://openalex.org/W2159411888","https://openalex.org/W2169439178","https://openalex.org/W2293605332","https://openalex.org/W2612369876","https://openalex.org/W2617181837","https://openalex.org/W2724448295","https://openalex.org/W2785615002","https://openalex.org/W2810493902","https://openalex.org/W2810506336","https://openalex.org/W4252976664"],"related_works":["https://openalex.org/W4381889969","https://openalex.org/W2888222534","https://openalex.org/W2172075652","https://openalex.org/W2171342002","https://openalex.org/W2169142010","https://openalex.org/W2110186189","https://openalex.org/W2001066483","https://openalex.org/W1840932120","https://openalex.org/W1712986213","https://openalex.org/W140492576"],"abstract_inverted_index":{"Exact":[0],"schedulability":[1,50,66,84,121,141,170],"analysis":[2],"of":[3,33,88,113,147],"limited-preemptive":[4,126],"(or":[5],"non-preemptive)":[6],"real-time":[7],"workloads":[8],"with":[9,94],"variable":[10],"execution":[11],"costs":[12],"and":[13,90,125,132,135,165],"release":[14],"jitter":[15],"is":[16,36,117],"a":[17,102,105],"notoriously":[18],"difficult":[19,45],"challenge":[20],"due":[21],"to":[22,38,42,52],"the":[23,31,49,53,63,111,118,138,144,159],"scheduling":[24,108,151],"anomalies":[25],"inherent":[26],"in":[27,56,77,167],"non-preemptive":[28,149,173],"execution.":[29],"Furthermore,":[30],"presence":[32],"self-suspending":[34,92,127],"tasks":[35,93,128],"well-understood":[37],"add":[39],"tremendous":[40],"complications":[41],"an":[43,82],"already":[44],"problem.":[46],"By":[47],"mapping":[48],"problem":[51,55],"reachability":[54],"timed":[57],"automata":[58],"(TA),":[59],"this":[60,69,79,116],"paper":[61,80,160],"provides":[62],"first":[64,119,139],"exact":[65,83,120,140],"test":[67,85,122,142],"for":[68,86,123,143,172],"challenging":[70],"model.":[71],"Specifically,":[72],"using":[73],"TA":[74],"extensions":[75],"available":[76],"UPPAAL,":[78],"presents":[81],"sets":[87],"periodic":[89,154],"sporadic":[91,156],"fixed":[95],"preemption":[96],"points":[97],"that":[98],"are":[99],"scheduled":[100],"upon":[101],"multiprocessor":[103,133],"under":[104],"global":[106,148],"fixed-priority":[107,150],"policy.":[109],"To":[110],"best":[112],"our":[114],"knowledge,":[115],"non-":[124],"(for":[129,152],"both":[130],"uniprocessor":[131],"systems),":[134],"thus":[136],"also":[137],"special":[145],"case":[146],"either":[153],"or":[155],"tasks).":[157],"Additionally,":[158],"highlights":[161],"some":[162],"subtle":[163],"pitfalls":[164],"limitations":[166],"existing":[168],"TA-based":[169],"tests":[171],"workloads.":[174]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2946016889","counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3}],"updated_date":"2025-04-15T21:39:29.594489","created_date":"2019-05-29"}