{"id":"https://openalex.org/W2102465293","doi":"https://doi.org/10.1109/tc.2014.2308183","title":"Composition of Schedulability Analyses for Real-Time Multiprocessor Systems","display_name":"Composition of Schedulability Analyses for Real-Time Multiprocessor Systems","publication_year":2014,"publication_date":"2014-02-25","ids":{"openalex":"https://openalex.org/W2102465293","doi":"https://doi.org/10.1109/tc.2014.2308183","mag":"2102465293"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2014.2308183","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2014.2308183","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dr.ntu.edu.sg/bitstream/10356/89363/1/Composition%20of%20Schedulability%20Analyses%20for%20Real-Time%20Multiprocessor%20Systems.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046146264","display_name":"Jinkyu Lee","orcid":"https://orcid.org/0000-0002-2332-1996"},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jinkyu Lee","raw_affiliation_strings":["Department of Computer Science and Engineering, Sungkyunkwan University, Suwon, Gyeonggi-Do, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Sungkyunkwan University, Suwon, Gyeonggi-Do, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053541912","display_name":"Kang G. Shin","orcid":"https://orcid.org/0000-0003-0086-8777"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kang G. Shin","raw_affiliation_strings":["Real-Time Computing Laboratory, Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor","Real-Time Computing Laboratory, Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Real-Time Computing Laboratory, Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Real-Time Computing Laboratory, Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor,#TAB#","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077052539","display_name":"Insik Shin","orcid":"https://orcid.org/0000-0002-9128-2415"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Insik Shin","raw_affiliation_strings":["Department of Computer Science , KAIST, Daejeon, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054946593","display_name":"Arvind Easwaran","orcid":"https://orcid.org/0000-0002-9628-3847"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Arvind Easwaran","raw_affiliation_strings":["School of Computer Engineering , Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering , Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7722,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.90634069,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"64","issue":"4","first_page":"941","last_page":"954"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9922000169754028,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9746999740600586,"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/computer-science","display_name":"Computer science","score":0.8433471918106079},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5888965129852295},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5849876999855042},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.5546226501464844},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.5501405596733093},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4658988416194916},{"id":"https://openalex.org/keywords/earliest-deadline-first-scheduling","display_name":"Earliest deadline first scheduling","score":0.4106011986732483},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.372928649187088},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.35742098093032837},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3383296728134155},{"id":"https://openalex.org/keywords/rate-monotonic-scheduling","display_name":"Rate-monotonic scheduling","score":0.2756715416908264},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26488471031188965},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.2300947904586792},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.15843844413757324},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.10578751564025879},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.07672545313835144}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8433471918106079},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5888965129852295},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5849876999855042},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.5546226501464844},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.5501405596733093},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4658988416194916},{"id":"https://openalex.org/C32310161","wikidata":"https://www.wikidata.org/wiki/Q666365","display_name":"Earliest deadline first scheduling","level":5,"score":0.4106011986732483},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.372928649187088},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.35742098093032837},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3383296728134155},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.2756715416908264},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26488471031188965},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.2300947904586792},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.15843844413757324},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10578751564025879},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.07672545313835144},{"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":[{"id":"doi:10.1109/tc.2014.2308183","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2014.2308183","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:dr.ntu.edu.sg:10356/89363","is_oa":true,"landing_page_url":"http://hdl.handle.net/10220/44848","pdf_url":"https://dr.ntu.edu.sg/bitstream/10356/89363/1/Composition%20of%20Schedulability%20Analyses%20for%20Real-Time%20Multiprocessor%20Systems.pdf","source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:dr.ntu.edu.sg:10356/89363","is_oa":true,"landing_page_url":"http://hdl.handle.net/10220/44848","pdf_url":"https://dr.ntu.edu.sg/bitstream/10356/89363/1/Composition%20of%20Schedulability%20Analyses%20for%20Real-Time%20Multiprocessor%20Systems.pdf","source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1169541047","display_name":null,"funder_award_id":"2011-10041313","funder_id":"https://openalex.org/F4320334879","funder_display_name":"Korea Evaluation Institute of Industrial Technology"},{"id":"https://openalex.org/G2137726522","display_name":"CPS: Synergy: Collaborative Research: Thermal-Aware Management of Cyber-Physical Systems","funder_award_id":"1329702","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2228586960","display_name":null,"funder_award_id":"M002300089","funder_id":"https://openalex.org/F4320322064","funder_display_name":"Korea Institute for Advancement of Technology"},{"id":"https://openalex.org/G3625678296","display_name":"EAGER: SmartGreen: An Adaptive Architecture for Management of Large Energy Storage Systems","funder_award_id":"1138200","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4083786351","display_name":"CPS: Medium: Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design","funder_award_id":"0930813","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6284191999","display_name":null,"funder_award_id":"10041313","funder_id":"https://openalex.org/F4320334879","funder_display_name":"Korea Evaluation Institute of Industrial Technology"},{"id":"https://openalex.org/G8814338649","display_name":null,"funder_award_id":"2009-0086964","funder_id":"https://openalex.org/F4320322349","funder_display_name":"Ministry of Education, Science and Technology"},{"id":"https://openalex.org/G8943117501","display_name":null,"funder_award_id":"CNS-1329702","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/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322064","display_name":"Korea Institute for Advancement of Technology","ror":"https://ror.org/015w1qa96"},{"id":"https://openalex.org/F4320322065","display_name":"National IT Industry Promotion Agency","ror":"https://ror.org/026v53e29"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320322349","display_name":"Ministry of Education, Science and Technology","ror":"https://ror.org/01p262204"},{"id":"https://openalex.org/F4320326308","display_name":"Daegu Gyeongbuk Institute of Science and Technology","ror":"https://ror.org/03frjya69"},{"id":"https://openalex.org/F4320334879","display_name":"Korea Evaluation Institute of Industrial Technology","ror":"https://ror.org/03z9cwa38"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2102465293.pdf","grobid_xml":"https://content.openalex.org/works/W2102465293.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W1485093219","https://openalex.org/W1602274988","https://openalex.org/W1782286926","https://openalex.org/W1968005108","https://openalex.org/W1971895960","https://openalex.org/W1985415672","https://openalex.org/W1988767747","https://openalex.org/W2001794165","https://openalex.org/W2021947636","https://openalex.org/W2029835355","https://openalex.org/W2049602716","https://openalex.org/W2056830486","https://openalex.org/W2060435971","https://openalex.org/W2060540493","https://openalex.org/W2063943041","https://openalex.org/W2064207294","https://openalex.org/W2079333823","https://openalex.org/W2097204685","https://openalex.org/W2098518913","https://openalex.org/W2100483983","https://openalex.org/W2109488193","https://openalex.org/W2115392544","https://openalex.org/W2116954426","https://openalex.org/W2117092300","https://openalex.org/W2122770335","https://openalex.org/W2124894438","https://openalex.org/W2125783653","https://openalex.org/W2126540184","https://openalex.org/W2130257388","https://openalex.org/W2133768306","https://openalex.org/W2135559191","https://openalex.org/W2144901203","https://openalex.org/W2146412113","https://openalex.org/W2148960429","https://openalex.org/W2152760224","https://openalex.org/W2159411888","https://openalex.org/W2159641731","https://openalex.org/W2182119443","https://openalex.org/W2262960161","https://openalex.org/W2500925871","https://openalex.org/W4235774361","https://openalex.org/W4237350657","https://openalex.org/W6638363920","https://openalex.org/W6683474198"],"related_works":["https://openalex.org/W2374555443","https://openalex.org/W2393789493","https://openalex.org/W2143442623","https://openalex.org/W2367142822","https://openalex.org/W2352790745","https://openalex.org/W2060984508","https://openalex.org/W2182592860","https://openalex.org/W2076947091","https://openalex.org/W1552447518","https://openalex.org/W2383668729"],"abstract_inverted_index":{"With":[0],"increasing":[1],"popularity":[2],"and":[3,146,203,244],"deployment":[4],"of":[5,13,37,87,106,115],"multi-core":[6],"chips":[7],"in":[8,85],"embedded":[9],"systems,":[10],"a":[11,33,107,112,124,155],"number":[12],"real-time":[14],"multiprocessor":[15],"scheduling":[16,73,109,194,247],"algorithms":[17,39,248],"have":[18,79],"been":[19,80,92],"proposed":[20,182],"along":[21],"with":[22,42,82,130,163],"their":[23,116,250],"schedulability":[24,45,55,88,105,128,144,152,157,170,211,215],"analyses":[25],"(or":[26],"tests),":[27],"which":[28],"verify":[29],"temporal":[30],"correctness":[31],"under":[32,70],"specific":[34],"algorithm.":[35,59,74],"Each":[36],"these":[38,76,164],"often":[40],"comes":[41],"several":[43],"different":[44,64,77,99,143],"tests,":[46,145],"especially":[47],"when":[48],"it":[49,227],"is":[50,185],"difficult":[51],"to":[52,96,101,175,187,190,229,232],"find":[53,63],"exact":[54],"tests":[56,61,78,100,129,171],"for":[57,127,239],"the":[58,71,103,147,207,223],"Such":[60],"usually":[62],"task":[65,179,237],"sets":[66,238],"deemed":[67],"schedulable":[68,178,236],"even":[69],"same":[72],"While":[75],"compared":[81],"each":[83],"other":[84],"terms":[86],"performance,":[89],"little":[90],"has":[91],"done":[93],"on":[94],"how":[95,202,205],"combine":[97],"such":[98],"improve":[102,210],"overall":[104],"given":[108],"algorithm":[110],"beyond":[111,249],"simple":[113],"union":[114],"individual":[117],"schedulability.":[118],"Motivated":[119],"by":[120,204,212],"this,":[121],"we":[122],"propose":[123],"composition":[125,161,183,224],"theory":[126,162,184,208,225],"two":[131,165],"new":[132],"methods.":[133],"The":[134,159,181],"first":[135],"method":[136],"composes":[137],"task-level":[138],"timing":[139],"guarantees":[140],"derived":[141],"from":[142,154],"second":[148],"one":[149],"derives":[150],"system-level":[151],"results":[153,219],"single":[156],"test.":[158],"unified":[160],"methods":[166],"then":[167],"utilizes":[168],"existing":[169,192,214,251],"effectively":[172],"so":[173],"as":[174],"cover":[176,230],"additional":[177,235],"sets.":[180],"shown":[186],"be":[188],"applicable":[189],"most":[191],"preemptive/non-preemptive":[193],"algorithms.":[195],"We":[196],"also":[197,220],"present":[198],"three":[199],"case-studies,":[200],"demonstrating":[201],"much":[206],"can":[209],"composing":[213],"tests.":[216,252],"Our":[217],"evaluation":[218],"show":[221],"that":[222],"makes":[226],"possible":[228],"up":[231],"181.7":[233],"percent":[234],"preemptive":[240,242],"fpEDF,":[241],"EDF":[243,246],"non-preemptive":[245]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}