{"id":"https://openalex.org/W4306954931","doi":"https://doi.org/10.1016/j.sysarc.2022.102761","title":"Specification of schedulability assumptions to leverage multiprocessor Analysis","display_name":"Specification of schedulability assumptions to leverage multiprocessor Analysis","publication_year":2022,"publication_date":"2022-10-20","ids":{"openalex":"https://openalex.org/W4306954931","doi":"https://doi.org/10.1016/j.sysarc.2022.102761"},"language":"en","primary_location":{"id":"doi:10.1016/j.sysarc.2022.102761","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysarc.2022.102761","pdf_url":null,"source":{"id":"https://openalex.org/S127660348","display_name":"Journal of Systems Architecture","issn_l":"1383-7621","issn":["1383-7621","1873-6165"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Architecture","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.sysarc.2022.102761","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000587482","display_name":"St\u00e9phane Rubini","orcid":"https://orcid.org/0000-0002-3206-0310"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4210159245","https://openalex.org/I4412460332"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"St\u00e9phane Rubini","raw_affiliation_strings":["Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France","institution_ids":["https://openalex.org/I4210123702","https://openalex.org/I161929037","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067943973","display_name":"Val\u00e9rie-Anne Nicolas","orcid":null},"institutions":[{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4210159245","https://openalex.org/I4412460332"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Val\u00e9rie-Anne Nicolas","raw_affiliation_strings":["Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France","institution_ids":["https://openalex.org/I4210123702","https://openalex.org/I161929037","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106419334","display_name":"Frank Singhoff","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4210159245","https://openalex.org/I4412460332"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frank Singhoff","raw_affiliation_strings":["Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France","institution_ids":["https://openalex.org/I4210123702","https://openalex.org/I161929037","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078319333","display_name":"Alain Plantec","orcid":"https://orcid.org/0000-0002-6882-0676"},"institutions":[{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4210159245","https://openalex.org/I4412460332"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alain Plantec","raw_affiliation_strings":["Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France","institution_ids":["https://openalex.org/I4210123702","https://openalex.org/I161929037","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018439832","display_name":"Hai Nam Tran","orcid":"https://orcid.org/0000-0001-8358-0327"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210145102","https://openalex.org/I4210159245","https://openalex.org/I4412460332"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hai Nam Tran","raw_affiliation_strings":["Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Brest, Lab-STICC, CNRS, UMR 6285, F-29200 Brest, France","institution_ids":["https://openalex.org/I4210123702","https://openalex.org/I161929037","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055773542","display_name":"Pierre Dissaux","orcid":null},"institutions":[{"id":"https://openalex.org/I4210097193","display_name":"Technologies pour la Sant\u00e9","ror":"https://ror.org/012hpz460","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I4210097193"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Dissaux","raw_affiliation_strings":["Ellidiss Technologies, 24 quai de la douane, F-29200 Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ellidiss Technologies, 24 quai de la douane, F-29200 Brest, France","institution_ids":["https://openalex.org/I4210097193"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000587482"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I161929037","https://openalex.org/I4210123702"],"apc_list":{"value":2800,"currency":"USD","value_usd":2800},"apc_paid":{"value":2800,"currency":"USD","value_usd":2800},"fwci":1.0086,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74514401,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"133","issue":null,"first_page":"102761","last_page":"102761"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.9998999834060669,"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.9973999857902527,"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.9904999732971191,"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.9109259843826294},{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.6447252631187439},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.6134945750236511},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4746977686882019},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45890018343925476},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.43604856729507446},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39634376764297485},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3486536145210266},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.28738856315612793},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18007227778434753}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9109259843826294},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.6447252631187439},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.6134945750236511},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4746977686882019},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45890018343925476},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.43604856729507446},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39634376764297485},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3486536145210266},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.28738856315612793},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18007227778434753},{"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.sysarc.2022.102761","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysarc.2022.102761","pdf_url":null,"source":{"id":"https://openalex.org/S127660348","display_name":"Journal of Systems Architecture","issn_l":"1383-7621","issn":["1383-7621","1873-6165"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Architecture","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03840494v1","is_oa":false,"landing_page_url":"https://hal.univ-brest.fr/hal-03840494","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Systems Architecture, 2022, 133, pp.102761. ⟨10.1016/j.sysarc.2022.102761⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/j.sysarc.2022.102761","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysarc.2022.102761","pdf_url":null,"source":{"id":"https://openalex.org/S127660348","display_name":"Journal of Systems Architecture","issn_l":"1383-7621","issn":["1383-7621","1873-6165"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Architecture","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W647867832","https://openalex.org/W960750061","https://openalex.org/W1862033121","https://openalex.org/W1965640736","https://openalex.org/W1968005108","https://openalex.org/W2081117191","https://openalex.org/W2086061827","https://openalex.org/W2096147951","https://openalex.org/W2117453688","https://openalex.org/W2160293203","https://openalex.org/W2165172064","https://openalex.org/W2169875292","https://openalex.org/W2294831443","https://openalex.org/W2553919938","https://openalex.org/W2560008379","https://openalex.org/W3110931904","https://openalex.org/W3120824569","https://openalex.org/W4214706592","https://openalex.org/W4300116138","https://openalex.org/W6630347912","https://openalex.org/W6637253862","https://openalex.org/W6639683171","https://openalex.org/W6645901768","https://openalex.org/W6651394642","https://openalex.org/W6652081303","https://openalex.org/W6673834249","https://openalex.org/W6675499332","https://openalex.org/W6680145875","https://openalex.org/W6682332219","https://openalex.org/W6801652472","https://openalex.org/W6836402997"],"related_works":["https://openalex.org/W2021050177","https://openalex.org/W232296991","https://openalex.org/W2039391036","https://openalex.org/W2186708011","https://openalex.org/W2134237474","https://openalex.org/W2899110000","https://openalex.org/W2989726455","https://openalex.org/W3044927936","https://openalex.org/W2623493286","https://openalex.org/W2149154914"],"abstract_inverted_index":{"In":[0,40,159],"order":[1],"to":[2,45,49,71,109,132,172,176,199,204,236],"ease":[3],"the":[4,11,19,59,63,66,74,99,111,134,138,152,174,185,191,217,226,232,238],"early":[5],"verification":[6,32,207],"of":[7,21,37,61,76,86,113,122,222,240,243],"uniprocessor":[8],"real-time":[9],"systems,":[10],"tool":[12,233],"Cheddar":[13,218],"provides":[14],"a":[15,22,27,35,56,77,114,119,164,178,200,205,254],"service":[16,33],"that":[17,81,92,169],"guarantees":[18],"applicability":[20],"schedulability":[23,75,112,144],"analysis":[24,230],"method":[25,106],"for":[26],"given":[28,206],"architecture":[29],"model.":[30],"This":[31],"uses":[34],"catalog":[36],"design":[38,201,210],"patterns.":[39],"this":[41,160],"article,":[42,161],"we":[43,162],"propose":[44,163],"extend":[46],"these":[47,196],"patterns":[48],"multiprocessor":[50,223],"architectures.":[51],"Designing":[52],"such":[53],"extension":[54],"is":[55,107,141,214,234],"challenge":[57],"because":[58],"knowledge":[60],"both":[62],"software":[64,186],"and":[65,155,187,190,246],"hardware":[67,89,188],"architectures":[68,241],"are":[69,130,180],"essential":[70],"decide":[72],"on":[73,98,147,167,253],"task":[78,100,153],"set":[79,131],"in":[80,94,249],"context.":[82],"Indeed,":[83],"parallel":[84],"execution":[85,101,157],"tasks":[87,245],"involves":[88],"resource":[90],"sharing,":[91],"has":[93],"turn":[95],"an":[96],"effect":[97],"times.":[102],"Currently,":[103],"no":[104],"general":[105],"able":[108,235],"assess":[110],"high-performance":[115],"multicore":[116],"system":[117,135],"with":[118,216],"limited":[120],"level":[121],"pessimism,":[123],"except":[124],"if":[125],"assumptions":[126,149],"or":[127],"usage":[128],"restrictions":[129],"simplify":[133],"analysis.":[136],"So,":[137],"research":[139],"community":[140],"developing":[142],"multiple":[143],"tests":[145],"based":[146,166],"various":[148],"which":[150],"constrain":[151],"models":[154],"their":[156],"platforms.":[158],"framework":[165,213],"Prolog":[168,182],"allows":[170],"engineers":[171],"verify":[173,237],"conditions":[175],"apply":[177],"test":[179],"met.":[181],"facts":[183,197],"model":[184],"architecture,":[189],"inference":[192],"engine":[193],"checks":[194],"whether":[195],"conform":[198],"pattern":[202,211],"associated":[203],"method.":[208],"The":[209],"compliance":[212,239],"integrated":[215],"tool.":[219],"Three":[220],"examples":[221],"analyses":[224],"illustrate":[225],"proposal.":[227],"A":[228],"scalability":[229],"shows":[231],"composed":[242],"600":[244],"60":[247],"cores,":[248],"less":[250],"than":[251],"140s":[252],"desktop":[255],"computer.":[256]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}