{"id":"https://openalex.org/W1987569666","doi":"https://doi.org/10.1109/memcod.2014.6961864","title":"Building faithful high-level models and performance evaluation of manycore embedded systems","display_name":"Building faithful high-level models and performance evaluation of manycore embedded systems","publication_year":2014,"publication_date":"2014-10-01","ids":{"openalex":"https://openalex.org/W1987569666","doi":"https://doi.org/10.1109/memcod.2014.6961864","mag":"1987569666"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2014.6961864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2014.6961864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01087671","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062604298","display_name":"Ayoub Nouri","orcid":"https://orcid.org/0000-0001-8959-5212"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ayoub Nouri","raw_affiliation_strings":["Univ. Grenoble Alpes, Grenoble, France","Univ. Grenoble Alpes, VERIMAG, F-38000, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, Grenoble, France","institution_ids":["https://openalex.org/I899635006"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, VERIMAG, F-38000, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020750660","display_name":"Marius Bozga","orcid":"https://orcid.org/0000-0003-4412-5684"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marius Bozga","raw_affiliation_strings":["Univ. Grenoble Alpes, Grenoble, France","Univ. Grenoble Alpes, VERIMAG, F-38000, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, Grenoble, France","institution_ids":["https://openalex.org/I899635006"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, VERIMAG, F-38000, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089717134","display_name":"Anca Molnos","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I3020098449","display_name":"CEA Grenoble","ror":"https://ror.org/02mg6n827","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I3020098449"]},{"id":"https://openalex.org/I4210150049","display_name":"Laboratoire d'\u00c9lectronique des Technologies de l'Information","ror":"https://ror.org/04mf0wv34","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I4210117989","https://openalex.org/I4210150049"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anca Molnos","raw_affiliation_strings":["CEAlLETI, Grenoble, France","CEA/LETI, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEAlLETI, Grenoble, France","institution_ids":[]},{"raw_affiliation_string":"CEA/LETI, Grenoble, France","institution_ids":["https://openalex.org/I4210150049","https://openalex.org/I3020098449","https://openalex.org/I2738703131"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030129842","display_name":"Axel Legay","orcid":"https://orcid.org/0000-0003-2287-8925"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["INRIA/IRISA, Rennes, France","Inria - IRISA, Rennes, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA/IRISA, Rennes, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria - IRISA, Rennes, France#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109183304","display_name":"Saddek Bensalem","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Saddek Bensalem","raw_affiliation_strings":["Univ. Grenoble Alpes, Grenoble, France","Univ. Grenoble Alpes, VERIMAG, F-38000, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, Grenoble, France","institution_ids":["https://openalex.org/I899635006"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, VERIMAG, F-38000, France","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5062604298"],"corresponding_institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":2.2057,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87221891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"209","last_page":"218"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","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/T10904","display_name":"Embedded Systems Design Techniques","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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8773360848426819},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8195691108703613},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6850742101669312},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5640398263931274},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5405222177505493},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5070133209228516},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4338085949420929},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43249940872192383},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.4205721616744995},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4172564148902893},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39513716101646423},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3373423218727112},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3274271488189697},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2855947017669678},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2150014340877533},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20497292280197144},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.13633036613464355}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8773360848426819},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8195691108703613},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6850742101669312},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5640398263931274},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5405222177505493},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5070133209228516},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4338085949420929},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43249940872192383},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.4205721616744995},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4172564148902893},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39513716101646423},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3373423218727112},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3274271488189697},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2855947017669678},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2150014340877533},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20497292280197144},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.13633036613464355},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/memcod.2014.6961864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2014.6961864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01087671v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01087671","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":"MEMOCODE, Oct 2014, Lausanne, Switzerland. ⟨10.1109/MEMCOD.2014.6961864⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01087671v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01087671","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":"MEMOCODE, Oct 2014, Lausanne, Switzerland. ⟨10.1109/MEMCOD.2014.6961864⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W130913184","https://openalex.org/W349923146","https://openalex.org/W1450051725","https://openalex.org/W1539123944","https://openalex.org/W1544634046","https://openalex.org/W1575480425","https://openalex.org/W1599302520","https://openalex.org/W1911281453","https://openalex.org/W1962072139","https://openalex.org/W1974927420","https://openalex.org/W1984116605","https://openalex.org/W1997998060","https://openalex.org/W2004586880","https://openalex.org/W2016287239","https://openalex.org/W2023808162","https://openalex.org/W2041509965","https://openalex.org/W2048903680","https://openalex.org/W2050846431","https://openalex.org/W2076057321","https://openalex.org/W2081476507","https://openalex.org/W2093230975","https://openalex.org/W2095912656","https://openalex.org/W2109911646","https://openalex.org/W2115857453","https://openalex.org/W2124262702","https://openalex.org/W2127318527","https://openalex.org/W2141480229","https://openalex.org/W2141955538","https://openalex.org/W2150427624","https://openalex.org/W2150712734","https://openalex.org/W2151415616","https://openalex.org/W2165951089","https://openalex.org/W2167770337","https://openalex.org/W2503657378","https://openalex.org/W3010144461","https://openalex.org/W3196183927","https://openalex.org/W4230704549","https://openalex.org/W4232048937","https://openalex.org/W4235903967","https://openalex.org/W4388395101","https://openalex.org/W6605313608","https://openalex.org/W6628556999","https://openalex.org/W6632262532","https://openalex.org/W6640868803","https://openalex.org/W6684352668"],"related_works":["https://openalex.org/W121182129","https://openalex.org/W4237771018","https://openalex.org/W1572417577","https://openalex.org/W2103384799","https://openalex.org/W2351011383","https://openalex.org/W2099466221","https://openalex.org/W4247903974","https://openalex.org/W2125503095","https://openalex.org/W2165127864","https://openalex.org/W1550409889"],"abstract_inverted_index":{"Performance":[0],"and":[1,63,92,107,113,136,139,162],"functional":[2,43,52],"correctness":[3],"are":[4,56,77,80],"key":[5],"for":[6,110,127],"successful":[7],"design":[8,21,61],"of":[9],"modern":[10],"embedded":[11],"systems.":[12],"Both":[13],"aspects":[14],"must":[15],"be":[16],"considered":[17],"early":[18,60],"in":[19],"the":[20,105,108,150],"process":[22],"to":[23,42,51,69,166],"enable":[24],"founded":[25],"decision":[26],"making":[27],"towards":[28],"final":[29],"implementation.":[30],"Nonetheless,":[31],"building":[32,128],"abstract":[33,130],"system-level":[34,75],"models":[35,76,132],"that":[36],"faithfully":[37],"capture":[38],"performance":[39,54,100,131,146],"information":[40],"along":[41],"behavior":[44],"is":[45,67,103,116],"a":[46,124,158],"challenging":[47],"task.":[48],"In":[49,119],"contrast":[50],"aspects,":[53],"details":[55],"rarely":[57],"available":[58],"during":[59],"phases":[62],"no":[64],"clear":[65],"method":[66,126,156],"known":[68],"characterize":[70],"them.":[71],"Moreover,":[72],"once":[73],"such":[74],"built":[78],"they":[79,84],"inherently":[81],"complex":[82],"as":[83,145],"usually":[85],"mix":[86],"software":[87],"models,":[88],"hardware":[89],"architecture":[90],"constraints":[91],"environment":[93],"abstractions.":[94],"Their":[95],"analysis":[96],"by":[97],"using":[98,133],"traditional":[99],"evaluation":[101,147],"methods":[102],"reaching":[104],"limits":[106],"need":[109],"more":[111],"scalable":[112],"accurate":[114],"techniques":[115],"becoming":[117],"urgent.":[118],"this":[120],"paper,":[121],"we":[122,140,163],"introduce":[123],"systematic":[125],"stochastic":[129],"statistical":[134,142],"inference":[135],"model":[137,143],"calibration":[138],"propose":[141],"checking":[144],"technique":[148],"upon":[149],"obtained":[151],"models.":[152],"We":[153],"experimented":[154],"our":[155],"on":[157],"real-life":[159],"case":[160],"study":[161],"were":[164],"able":[165],"verify":[167],"different":[168],"timing":[169],"properties.":[170]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2}],"updated_date":"2026-04-30T09:15:22.047038","created_date":"2025-10-10T00:00:00"}