{"id":"https://openalex.org/W7130531937","doi":"https://doi.org/10.3103/s0146411625700385","title":"An Exact Schedulability Test for Real-Time Systems with an Abstract Scheduler on Multiprocessor Platforms","display_name":"An Exact Schedulability Test for Real-Time Systems with an Abstract Scheduler on Multiprocessor Platforms","publication_year":2025,"publication_date":"2025-12-01","ids":{"openalex":"https://openalex.org/W7130531937","doi":"https://doi.org/10.3103/s0146411625700385"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411625700385","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411625700385","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5126374969","display_name":"N. O. Garanina","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210164049","display_name":"Institute of Automation and Electrometry","ror":"https://ror.org/05fqdmq12","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210097085","https://openalex.org/I4210164049"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"N. O. Garanina","raw_affiliation_strings":["Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia"],"affiliations":[{"raw_affiliation_string":"Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210164049","https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5126374969"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210164049"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.81137048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"59","issue":"7","first_page":"1105","last_page":"1124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.6730999946594238,"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.6730999946594238,"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.27869999408721924,"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.007400000002235174,"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/multiprocessing","display_name":"Multiprocessing","score":0.7211999893188477},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.542900025844574},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5379999876022339},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4571000039577484},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.3853999972343445},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.3684000074863434}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8967999815940857},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.7211999893188477},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.542900025844574},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5379999876022339},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4571000039577484},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42660000920295715},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4081000089645386},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.3853999972343445},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.3684000074863434},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.33309999108314514},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3197000026702881},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.3188000023365021},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.31790000200271606},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C85924588","wikidata":"https://www.wikidata.org/wiki/Q107419135","display_name":"Multiprocessor scheduling","level":5,"score":0.2639000117778778},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2621999979019165},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.25850000977516174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s0146411625700385","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411625700385","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1501642906","https://openalex.org/W1546988069","https://openalex.org/W1568100006","https://openalex.org/W2117189826","https://openalex.org/W2284734722","https://openalex.org/W2293605332","https://openalex.org/W2496279393","https://openalex.org/W2568034954","https://openalex.org/W2612240540","https://openalex.org/W2912640545","https://openalex.org/W2946016889","https://openalex.org/W3024116706","https://openalex.org/W3126931197","https://openalex.org/W4205679033","https://openalex.org/W4211008702","https://openalex.org/W4380050077","https://openalex.org/W4403339375","https://openalex.org/W6966475840"],"related_works":[],"abstract_inverted_index":{"This":[0,35],"paper":[1],"uses":[2],"the":[3,42,90,102,153,157,169,175,186,194,211],"model":[4,111,158],"checking":[5,112,159],"method":[6],"for":[7],"an":[8,29,95,119],"exact":[9,103,120],"schedulability":[10,104,121,187],"test":[11,105,122],"of":[12,58,72,106,127,156,177,185,188,196,200,202,213],"real-time":[13,26,73,83,128,190,204],"systems":[14,27,74,84,108,129],"running":[15],"on":[16,193,207],"multiprocessor":[17,208],"platforms.":[18],"To":[19],"use":[20],"this":[21,116],"method,":[22],"we":[23],"formally":[24],"describe":[25],"with":[28,130,210],"abstract":[30,43],"scheduler":[31,150],"as":[32,85,94],"Kripke":[33,86],"models.":[34],"formalization":[36,126],"provides":[37],"terms":[38],"sufficient":[39],"to":[40,100,109,118,167,173],"specialize":[41],"scheduler.":[44],"We":[45,114,162,180],"illustrate":[46],"our":[47,125,178],"approach":[48,117],"by":[49,123,216],"explicitly":[50],"defining":[51],"schedulers":[52],"that":[53],"take":[54],"into":[55],"account":[56],"preemption/nonpreemption":[57],"tasks":[59],"and":[60,88,145,198],"global-fixed-priority":[61,133,137],"or":[62],"earliest-deadline-first":[63,141,147],"priority":[64,143,149],"in":[65,151,165],"various":[66],"combinations.":[67],"The":[68],"safety":[69,91,170,201],"(schedulability)":[70,92,171],"property":[71,93,172],"is":[75],"formulated":[76],"using":[77],"linear":[78],"temporal":[79],"logic":[80],"(LTL).":[81],"Formalizing":[82],"models":[87],"specifying":[89],"LTL":[96],"formula":[97],"allows":[98],"us":[99],"reduce":[101],"such":[107],"a":[110,131,182,189,203],"problem.":[113],"validate":[115],"implementing":[124],"nonpreemptive":[132,140],"(NP-GFP)":[134],"scheduler,":[135,139,144],"preemptive":[136,146],"(P-GFP)":[138],"(NP-EDF)":[142],"(P-EDF)":[148],"Promela,":[152],"input":[154],"language":[155],"tool":[160],"SPIN.":[161],"conduct":[163],"experiments":[164],"SPIN":[166],"prove/disprove":[168],"evaluate":[174],"effectiveness":[176],"approach.":[179],"propose":[181],"heuristic":[183],"assessment":[184],"system":[191,205],"based":[192],"provability":[195],"unsafety":[197],"unprovability":[199],"executed":[206],"platforms":[209],"number":[212],"processors":[214],"differing":[215],"one.":[217]},"counts_by_year":[],"updated_date":"2026-02-20T17:44:18.066148","created_date":"2026-02-20T00:00:00"}