{"id":"https://openalex.org/W3013895605","doi":"https://doi.org/10.5220/0009594305950602","title":"A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication","display_name":"A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3013895605","doi":"https://doi.org/10.5220/0009594305950602","mag":"3013895605"},"language":"en","primary_location":{"id":"doi:10.5220/0009594305950602","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0009594305950602","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0009594305950602","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008743547","display_name":"Rateb Jabbar","orcid":"https://orcid.org/0000-0002-4886-6458"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I60342839","display_name":"Qatar University","ror":"https://ror.org/00yhnba62","country_code":"QA","type":"education","lineage":["https://openalex.org/I60342839"]}],"countries":["FR","QA"],"is_corresponding":false,"raw_author_name":"Rateb Jabbar","raw_affiliation_strings":["KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France, --- Select a Country ---","institution_ids":["https://openalex.org/I124158823","https://openalex.org/I60342839"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004970162","display_name":"Moez Krichen","orcid":"https://orcid.org/0000-0001-8873-9755"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Moez Krichen","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, Tunisia, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, Tunisia, --- Select a Country ---","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047055534","display_name":"Mohamed Kharbeche","orcid":"https://orcid.org/0000-0003-1469-7163"},"institutions":[{"id":"https://openalex.org/I60342839","display_name":"Qatar University","ror":"https://ror.org/00yhnba62","country_code":"QA","type":"education","lineage":["https://openalex.org/I60342839"]}],"countries":["QA"],"is_corresponding":false,"raw_author_name":"Mohamed Kharbeche","raw_affiliation_strings":["Qatar Transportation and Traffic Safety Center, Qatar University, Qatar, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Qatar Transportation and Traffic Safety Center, Qatar University, Qatar, --- Select a Country ---","institution_ids":["https://openalex.org/I60342839"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020600623","display_name":"Noora Fetais","orcid":"https://orcid.org/0000-0003-3609-2659"},"institutions":[{"id":"https://openalex.org/I60342839","display_name":"Qatar University","ror":"https://ror.org/00yhnba62","country_code":"QA","type":"education","lineage":["https://openalex.org/I60342839"]}],"countries":["QA"],"is_corresponding":false,"raw_author_name":"Noora Fetais","raw_affiliation_strings":["KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KINDI Center for Computing Research, College of Engineering, Qatar University, Doha, Qatar, --- Select a Country ---","institution_ids":["https://openalex.org/I60342839"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028283340","display_name":"Kamel Barkaoui","orcid":"https://orcid.org/0000-0001-7175-0448"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cedric Laboratory, Computer Science Department, Conservatoire National des Arts et Metiers, France, --- Select a Country ---","institution_ids":["https://openalex.org/I124158823"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9366,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.74267046,"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":"595","last_page":"602"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9972000122070312,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8046880960464478},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.7147693634033203},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6194967031478882},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5184492468833923},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.4989132881164551},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.4918513298034668},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47786611318588257},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.46120116114616394},{"id":"https://openalex.org/keywords/intelligent-transportation-system","display_name":"Intelligent transportation system","score":0.44211989641189575},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3760993480682373},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3259250223636627},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10288158059120178},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09533274173736572}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8046880960464478},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.7147693634033203},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6194967031478882},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5184492468833923},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.4989132881164551},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.4918513298034668},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47786611318588257},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.46120116114616394},{"id":"https://openalex.org/C47796450","wikidata":"https://www.wikidata.org/wiki/Q508378","display_name":"Intelligent transportation system","level":2,"score":0.44211989641189575},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3760993480682373},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3259250223636627},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10288158059120178},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09533274173736572},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5220/0009594305950602","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0009594305950602","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03027713v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03027713","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":"15th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2020, Prague, Czech Republic. pp.595-602, ⟨10.5220/0009594305950602⟩","raw_type":"Conference papers"},{"id":"pmh:oai:qspace.qu.edu.qa:10576/48544","is_oa":false,"landing_page_url":"http://hdl.handle.net/10576/48544","pdf_url":null,"source":{"id":"https://openalex.org/S4306400014","display_name":"Qatar University QSpace (Qatar University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60342839","host_organization_name":"Qatar University","host_organization_lineage":["https://openalex.org/I60342839"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.5220/0009594305950602","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0009594305950602","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G7347339768","display_name":null,"funder_award_id":"QUCP-CENG-2019-1","funder_id":"https://openalex.org/F4320322472","funder_display_name":"Qatar University"}],"funders":[{"id":"https://openalex.org/F4320322472","display_name":"Qatar University","ror":"https://ror.org/00yhnba62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W82657364","https://openalex.org/W82695921","https://openalex.org/W2019413422","https://openalex.org/W2062978452","https://openalex.org/W2077517106","https://openalex.org/W2096349415","https://openalex.org/W2102950455","https://openalex.org/W2105103777","https://openalex.org/W2122721133","https://openalex.org/W2123023940","https://openalex.org/W2149223823","https://openalex.org/W2152069471","https://openalex.org/W2156607688","https://openalex.org/W2279536141","https://openalex.org/W2315975036","https://openalex.org/W2342649568","https://openalex.org/W2414114959","https://openalex.org/W2520401385","https://openalex.org/W2536604331","https://openalex.org/W2565437603","https://openalex.org/W2566758857","https://openalex.org/W2578151840","https://openalex.org/W2579405208","https://openalex.org/W2584077101","https://openalex.org/W2605157201","https://openalex.org/W2619984247","https://openalex.org/W2736823879","https://openalex.org/W2749247755","https://openalex.org/W2752213917","https://openalex.org/W2783073469","https://openalex.org/W2787634488","https://openalex.org/W2793423901","https://openalex.org/W2793610021","https://openalex.org/W2795117902","https://openalex.org/W2802132828","https://openalex.org/W2803333205","https://openalex.org/W2808445014","https://openalex.org/W2810014552","https://openalex.org/W2903434459","https://openalex.org/W2947515695","https://openalex.org/W3022641585","https://openalex.org/W3024582231","https://openalex.org/W3115899624","https://openalex.org/W4287828902","https://openalex.org/W4297797041"],"related_works":["https://openalex.org/W4210406818","https://openalex.org/W4306779889","https://openalex.org/W4386732777","https://openalex.org/W3211706803","https://openalex.org/W4382775358","https://openalex.org/W4246942721","https://openalex.org/W3209862047","https://openalex.org/W4304136894","https://openalex.org/W2989851257","https://openalex.org/W2799059781"],"abstract_inverted_index":{"The":[0,36],"emergence":[1],"of":[2,15,33,39,65,124],"embedded":[3],"and":[4,9,25,49,60,63,70,96,129,141],"connected":[5],"smart":[6,16],"technologies,":[7],"systems,":[8],"devices":[10],"has":[11],"enabled":[12],"the":[13,23,31,105,113,122,125,138],"concept":[14],"cities":[17],"by":[18,46,151],"connecting":[19],"every":[20],"\"thing\"":[21],"to":[22,42,57,111,136],"Internet":[24,32],"in":[26,28,67,134],"particular":[27],"transportation":[29],"through":[30],"Vehicles":[34],"(IoV).":[35],"main":[37],"purpose":[38],"IoV":[40],"is":[41,55,118,154],"prevent":[43],"fatal":[44],"crashes":[45],"resolving":[47],"traffic":[48],"road":[50],"safety":[51],"problems.":[52],"Nevertheless,":[53],"it":[54],"paramount":[56],"ensure":[58],"secure":[59,94],"accurate":[61],"transmission":[62],"recording":[64],"data":[66],"\"Vehicle-to-Vehicle\"":[68],"(V2V)":[69],"\"Vehicle-to-Infrastructure\"":[71],"(V2I)":[72],"communication.":[73],"To":[74],"improve":[75],"\"Vehicle-to-":[76],"Everything\"":[77],"(V2X)":[78],"communication,":[79],"this":[80],"work":[81],"uses":[82],"Blockchain":[83],"technology":[84],"for":[85,147],"developing":[86,97],"a":[87,98,108],"Blockchain-based":[88],"IoT":[89],"system":[90],"aimed":[91],"at":[92],"establishing":[93],"communication":[95],"fully":[99],"decentralized":[100],"cloud":[101],"computing":[102,153],"platform.":[103],"Moreover,":[104],"authors":[106],"propose":[107],"model-based":[109],"framework":[110,117],"validate":[112],"proposed":[114,155],"approach.":[115],"This":[116],"mainly":[119],"based":[120],"on":[121],"use":[123],"Attack":[126],"Trees":[127],"(AT)":[128],"timed":[130],"automaton":[131],"(TA)":[132],"formalisms":[133],"order":[135],"test":[137],"functional,":[139],"load":[140],"security":[142],"aspects.":[143],"An":[144],"optimization":[145],"phase":[146],"testers":[148],"placement":[149],"inspired":[150],"fog":[152],"as":[156],"well.":[157]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}