{"id":"https://openalex.org/W2591102527","doi":"https://doi.org/10.3390/systems5010017","title":"Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture","display_name":"Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture","publication_year":2017,"publication_date":"2017-02-22","ids":{"openalex":"https://openalex.org/W2591102527","doi":"https://doi.org/10.3390/systems5010017","mag":"2591102527"},"language":"en","primary_location":{"id":"doi:10.3390/systems5010017","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems5010017","pdf_url":"https://www.mdpi.com/2079-8954/5/1/17/pdf?version=1487754569","source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2079-8954/5/1/17/pdf?version=1487754569","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018849577","display_name":"Hayat Daoud","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106700","display_name":"Universit\u00e9 IBN Khaldoun Tiaret","ror":"https://ror.org/018jjaw76","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210106700"]},{"id":"https://openalex.org/I4387152457","display_name":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes","ror":"https://ror.org/04x6jg419","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["DZ","FR"],"is_corresponding":false,"raw_author_name":"Hayat Daoud","raw_affiliation_strings":["Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France","Laboratory of Informatics and Mathematics (LIM), University of Tiaret, Tiaret 14000, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France","institution_ids":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]},{"raw_affiliation_string":"Laboratory of Informatics and Mathematics (LIM), University of Tiaret, Tiaret 14000, Algeria","institution_ids":["https://openalex.org/I4210106700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036139436","display_name":"Camel Tanougast","orcid":"https://orcid.org/0000-0002-5399-1683"},"institutions":[{"id":"https://openalex.org/I4387152457","display_name":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes","ror":"https://ror.org/04x6jg419","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Camel Tanougast","raw_affiliation_strings":["Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France"],"raw_orcid":"https://orcid.org/0000-0002-5399-1683","affiliations":[{"raw_affiliation_string":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France","institution_ids":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103841228","display_name":"Mostefa Belarbi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210106700","display_name":"Universit\u00e9 IBN Khaldoun Tiaret","ror":"https://ror.org/018jjaw76","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210106700"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Mostefa Belarbi","raw_affiliation_strings":["Laboratory of Informatics and Mathematics (LIM), University of Tiaret, Tiaret 14000, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Informatics and Mathematics (LIM), University of Tiaret, Tiaret 14000, Algeria","institution_ids":["https://openalex.org/I4210106700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020614106","display_name":"M. Heil","orcid":null},"institutions":[{"id":"https://openalex.org/I4387152457","display_name":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes","ror":"https://ror.org/04x6jg419","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mikael Heil","raw_affiliation_strings":["Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France","institution_ids":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043870954","display_name":"Camille Diou","orcid":"https://orcid.org/0000-0002-6887-1895"},"institutions":[{"id":"https://openalex.org/I4387152457","display_name":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes","ror":"https://ror.org/04x6jg419","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Camille Diou","raw_affiliation_strings":["Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France"],"raw_orcid":"https://orcid.org/0000-0002-6887-1895","affiliations":[{"raw_affiliation_string":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes (LCOMS), ASEC Team, Universit\u00e9 de Lorraine, Metz 57070, France","institution_ids":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5036139436"],"corresponding_institution_ids":["https://openalex.org/I4387152457","https://openalex.org/I90183372"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":0.2193,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.5534519,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":"1","first_page":"17","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10829","display_name":"Interconnection Networks and Systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9994999766349792,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mpsoc","display_name":"MPSoC","score":0.9507946968078613},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8202361464500427},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7730445861816406},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5886579751968384},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.5417767763137817},{"id":"https://openalex.org/keywords/network-on-a-chip","display_name":"Network on a chip","score":0.524617075920105},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.5078511834144592},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.4868156611919403},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.46595603227615356},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.45388728380203247},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.44006669521331787},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4173118472099304},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.313213586807251},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13301384449005127},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.08642983436584473}],"concepts":[{"id":"https://openalex.org/C2777187653","wikidata":"https://www.wikidata.org/wiki/Q975106","display_name":"MPSoC","level":3,"score":0.9507946968078613},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8202361464500427},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7730445861816406},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5886579751968384},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.5417767763137817},{"id":"https://openalex.org/C128519102","wikidata":"https://www.wikidata.org/wiki/Q339554","display_name":"Network on a chip","level":2,"score":0.524617075920105},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.5078511834144592},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.4868156611919403},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.46595603227615356},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.45388728380203247},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.44006669521331787},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4173118472099304},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.313213586807251},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13301384449005127},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.08642983436584473}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/systems5010017","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems5010017","pdf_url":"https://www.mdpi.com/2079-8954/5/1/17/pdf?version=1487754569","source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01883115v1","is_oa":false,"landing_page_url":"https://hal.univ-lorraine.fr/hal-01883115","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":"Systems, 2017, 5 (1), pp.17. ⟨10.3390/systems5010017⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:926ef178fef448f6a91facd36c951ede","is_oa":true,"landing_page_url":"https://doaj.org/article/926ef178fef448f6a91facd36c951ede","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Systems, Vol 5, Iss 1, p 17 (2017)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2079-8954/5/1/17/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/systems5010017","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Systems; Volume 5; Issue 1; Pages: 17","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/systems5010017","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems5010017","pdf_url":"https://www.mdpi.com/2079-8954/5/1/17/pdf?version=1487754569","source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2591102527.pdf","grobid_xml":"https://content.openalex.org/works/W2591102527.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W174805181","https://openalex.org/W1668025881","https://openalex.org/W1932561651","https://openalex.org/W1969677236","https://openalex.org/W1975425602","https://openalex.org/W2036479249","https://openalex.org/W2067885187","https://openalex.org/W2076486707","https://openalex.org/W2081403994","https://openalex.org/W2083336677","https://openalex.org/W2089155985","https://openalex.org/W2092417937","https://openalex.org/W2092503884","https://openalex.org/W2092816959","https://openalex.org/W2097585674","https://openalex.org/W2105167627","https://openalex.org/W2109938733","https://openalex.org/W2112506256","https://openalex.org/W2113457250","https://openalex.org/W2119761906","https://openalex.org/W2124531928","https://openalex.org/W2126261264","https://openalex.org/W2128718940","https://openalex.org/W2128939182","https://openalex.org/W2129444820","https://openalex.org/W2132719761","https://openalex.org/W2154597023","https://openalex.org/W2159158575","https://openalex.org/W2159228542","https://openalex.org/W2162643198","https://openalex.org/W2299607564","https://openalex.org/W2537019364","https://openalex.org/W2554621958","https://openalex.org/W3149674220","https://openalex.org/W3195275572","https://openalex.org/W6632620918","https://openalex.org/W6635803413","https://openalex.org/W6676816437"],"related_works":["https://openalex.org/W2058450550","https://openalex.org/W1983557625","https://openalex.org/W4281711577","https://openalex.org/W2178653557","https://openalex.org/W2106200299","https://openalex.org/W2144357574","https://openalex.org/W4230458348","https://openalex.org/W3117657225","https://openalex.org/W1966325333","https://openalex.org/W3198758847"],"abstract_inverted_index":{"Approaches":[0],"for":[1,9,84,106,143],"the":[2,33,52,88,93,96,103,124,128,136,145,158],"design":[3,42],"of":[4,35,95,99,123,130,157],"fault":[5],"tolerant":[6],"Network-on-Chip":[7],"(NoC)":[8],"use":[10,34],"in":[11,25,51],"System-on-Chip":[12,27],"(SoC)":[13],"reconfigurable":[14],"technology":[15,21],"using":[16],"Field-Programmable":[17],"Gate":[18],"Array":[19],"(FPGA)":[20],"are":[22,111],"challenging,":[23],"especially":[24],"Multiprocessor":[26],"(MPSoC)":[28],"design.":[29],"To":[30],"achieve":[31],"this,":[32],"rigorous":[36],"formal":[37,61,81],"approaches,":[38],"based":[39],"on":[40],"incremental":[41,117],"and":[43,70,74,102,118,133,147,154],"proof":[44],"theory,":[45],"has":[46],"become":[47],"an":[48],"essential":[49],"step":[50],"validation":[53],"process.":[54],"The":[55,113],"Event-B":[56],"method":[57],"is":[58,116],"a":[59,80,148,152],"promising":[60],"approach":[62,83],"that":[63],"can":[64],"be":[65],"used":[66],"to":[67,92,150,162],"develop,":[68],"model":[69],"prove":[71],"accurately":[72],"SoC":[73],"MPSoC":[75],"architectures.":[76],"This":[77],"paper":[78],"proposes":[79],"verification":[82],"NoC":[85,125],"architecture":[86],"including":[87],"dependability":[89],"constraints":[90],"relating":[91],"choice":[94],"path":[97],"routing":[98],"data":[100],"packets":[101],"strategy":[104],"imposed":[105],"diversion":[107],"when":[108,160],"faulty":[109],"routers":[110],"detected.":[112],"formalization":[114],"process":[115],"validated":[119],"by":[120],"correct-by-construction":[121],"development":[122],"architecture.":[126],"Using":[127],"concepts":[129],"graph":[131],"colouring":[132],"B-event":[134],"formalism,":[135],"results":[137],"obtained":[138],"have":[139],"demonstrated":[140],"its":[141],"efficiency":[142],"determining":[144],"bugs,":[146],"solution":[149],"ensure":[151],"fast":[153],"reliable":[155],"operation":[156],"network":[159],"compared":[161],"existing":[163],"similar":[164],"methods.":[165]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-03-03T00:00:00"}