{"id":"https://openalex.org/W2981294324","doi":"https://doi.org/10.1109/etfa.2019.8869273","title":"Analysing Termination and Consistency in the AVB\u2019s Stream Reservation Protocol","display_name":"Analysing Termination and Consistency in the AVB\u2019s Stream Reservation Protocol","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2981294324","doi":"https://doi.org/10.1109/etfa.2019.8869273","mag":"2981294324"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2019.8869273","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2019.8869273","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022800183","display_name":"Daniel Bujosa","orcid":"https://orcid.org/0000-0001-5805-3015"},"institutions":[{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Daniel Bujosa","raw_affiliation_strings":["Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain"],"affiliations":[{"raw_affiliation_string":"Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain","institution_ids":["https://openalex.org/I50441567"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028501404","display_name":"In\u00e9s \u00c1lvarez","orcid":"https://orcid.org/0000-0002-8251-1159"},"institutions":[{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ines Alvarez","raw_affiliation_strings":["Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain"],"affiliations":[{"raw_affiliation_string":"Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain","institution_ids":["https://openalex.org/I50441567"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080390495","display_name":"Drago Cavka","orcid":null},"institutions":[{"id":"https://openalex.org/I173887773","display_name":"University of Banja Luka","ror":"https://ror.org/0282m7c06","country_code":"BA","type":"education","lineage":["https://openalex.org/I173887773"]}],"countries":["BA"],"is_corresponding":false,"raw_author_name":"Drago Cavka","raw_affiliation_strings":["Faculty of Electrical Engineering, University of Banja Luka, Bosnia and Herzegovina"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, University of Banja Luka, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I173887773"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074214507","display_name":"Juli\u00e1n Proenza","orcid":"https://orcid.org/0000-0001-7238-0557"},"institutions":[{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Julian Proenza","raw_affiliation_strings":["Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain"],"affiliations":[{"raw_affiliation_string":"Departament de Matem\u00e0tiques i Inform\u00e0tica, Universitat de les Illes Balears, Spain","institution_ids":["https://openalex.org/I50441567"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022800183"],"corresponding_institution_ids":["https://openalex.org/I50441567"],"apc_list":null,"apc_paid":null,"fwci":0.1768,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.550056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1309","last_page":"1312"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12216","display_name":"Network Time Synchronization Technologies","score":0.9998999834060669,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9939000010490417,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9805999994277954,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reservation","display_name":"Reservation","score":0.8227907419204712},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8226703405380249},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7136801481246948},{"id":"https://openalex.org/keywords/ethernet","display_name":"Ethernet","score":0.6806018948554993},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5608223676681519},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5292973518371582},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.4817195534706116},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.47222402691841125},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42538586258888245},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.38884690403938293},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.37247002124786377}],"concepts":[{"id":"https://openalex.org/C2777632111","wikidata":"https://www.wikidata.org/wiki/Q1937518","display_name":"Reservation","level":2,"score":0.8227907419204712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8226703405380249},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7136801481246948},{"id":"https://openalex.org/C172173386","wikidata":"https://www.wikidata.org/wiki/Q79984","display_name":"Ethernet","level":2,"score":0.6806018948554993},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5608223676681519},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5292973518371582},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4817195534706116},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.47222402691841125},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42538586258888245},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.38884690403938293},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.37247002124786377},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2019.8869273","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2019.8869273","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1982200971","https://openalex.org/W2068296110","https://openalex.org/W2564261544","https://openalex.org/W2783424725","https://openalex.org/W2890389408"],"related_works":["https://openalex.org/W2358334493","https://openalex.org/W2971748376","https://openalex.org/W4398186165","https://openalex.org/W2322874084","https://openalex.org/W1604914670","https://openalex.org/W2127899878","https://openalex.org/W2123855908","https://openalex.org/W2034248803","https://openalex.org/W2769374332","https://openalex.org/W4301961819"],"abstract_inverted_index":{"The":[0,45],"Audio":[1],"Video":[2],"Bridging":[3],"Task":[4],"Group":[5],"(AVB":[6],"TG)":[7],"from":[8],"the":[9,25,53,57,90,133],"IEEE":[10],"proposed":[11],"a":[12,100],"series":[13],"of":[14,94,104],"standards":[15],"to":[16,29,37,41],"provide":[17,38,115],"Ethernet":[18],"with":[19],"soft":[20],"real-time":[21],"guarantees.":[22],"Later":[23],"on,":[24],"group":[26],"was":[27,35,61],"renamed":[28],"Time-Sensitive":[30],"Networking":[31],"and":[32,67,83,92,127],"its":[33],"scope":[34],"broadened":[36],"new":[39],"services":[40],"support":[42],"critical":[43,78,125],"applications.":[44],"Stream":[46],"Reservation":[47],"Protocol":[48],"(SRP)":[49],"stands":[50],"out":[51],"among":[52],"projects":[54],"developed":[55,103],"by":[56],"groups.":[58],"Nonetheless,":[59],"SRP":[60,95,112],"originally":[62],"designed":[63],"for":[64,77,131],"audio/video":[65],"applications":[66,126],"does":[68,113],"not":[69,114],"take":[70],"into":[71],"account":[72],"properties":[73],"that":[74,111],"are":[75],"important":[76],"systems;":[79],"such":[80],"as":[81],"termination":[82,91,116],"consistency.":[84],"In":[85],"this":[86,105,122],"work":[87],"we":[88,102,119,128],"study":[89],"consistency":[93],"at":[96],"different":[97],"levels,":[98],"using":[99],"model":[101],"protocol":[106],"in":[107],"Uppaal.":[108],"We":[109],"see":[110],"nor":[117],"consistency,":[118],"discuss":[120],"how":[121],"can":[123],"impact":[124],"propose":[129],"solutions":[130],"all":[132],"issues":[134],"detected.":[135]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}