{"id":"https://openalex.org/W2573143432","doi":"https://doi.org/10.1109/indin.2016.7819138","title":"Simultaneous TCP and NCS flows in a UPPAAL framework with a new AQM technique","display_name":"Simultaneous TCP and NCS flows in a UPPAAL framework with a new AQM technique","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2573143432","doi":"https://doi.org/10.1109/indin.2016.7819138","mag":"2573143432"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2016.7819138","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2016.7819138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","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/A5054037934","display_name":"Luciano Mauro Arley Sup","orcid":null},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Luciano Mauro Arley Sup","raw_affiliation_strings":["Dept. of Electrical Engineering, University of Brasília (UnB), Brasília, DF 70910-900, Brazil","Dept. of Electrical Engineering, University of Bras\u00edlia (UnB), Bras\u00edlia, Brazil"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical Engineering, University of Brasília (UnB), Brasília, DF 70910-900, Brazil","institution_ids":["https://openalex.org/I150729083"]},{"raw_affiliation_string":"Dept. of Electrical Engineering, University of Bras\u00edlia (UnB), Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042588839","display_name":"Renato M. de Moraes","orcid":"https://orcid.org/0000-0002-3437-7004"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Renato Mariz de Moraes","raw_affiliation_strings":["Informatics Center (CIn) Federal University of Pernambuco, Recife, PE 50740-560, Brazil","Informatics Center (CIn), Federal University of Pernambuco, Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Informatics Center (CIn) Federal University of Pernambuco, Recife, PE 50740-560, Brazil","institution_ids":["https://openalex.org/I25112270"]},{"raw_affiliation_string":"Informatics Center (CIn), Federal University of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049516094","display_name":"Adolfo Bauchspiess","orcid":"https://orcid.org/0000-0002-4512-4299"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Adolfo Bauchspiess","raw_affiliation_strings":["Dept. of Electrical Engineering, University of Brasília (UnB), Brasília, DF 70910-900, Brazil","Dept. of Electrical Engineering, University of Bras\u00edlia (UnB), Bras\u00edlia, Brazil"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical Engineering, University of Brasília (UnB), Brasília, DF 70910-900, Brazil","institution_ids":["https://openalex.org/I150729083"]},{"raw_affiliation_string":"Dept. of Electrical Engineering, University of Bras\u00edlia (UnB), Bras\u00edlia, Brazil","institution_ids":["https://openalex.org/I150729083"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054037934"],"corresponding_institution_ids":["https://openalex.org/I150729083"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.1859855,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"80","last_page":"85"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.9993000030517578,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9993000030517578,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976999759674072,"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/active-queue-management","display_name":"Active queue management","score":0.8489346504211426},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8069795370101929},{"id":"https://openalex.org/keywords/transmission-control-protocol","display_name":"Transmission Control Protocol","score":0.6937465667724609},{"id":"https://openalex.org/keywords/network-congestion","display_name":"Network congestion","score":0.6363195776939392},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6273559331893921},{"id":"https://openalex.org/keywords/cubic-tcp","display_name":"CUBIC TCP","score":0.5850844979286194},{"id":"https://openalex.org/keywords/tcp-global-synchronization","display_name":"TCP global synchronization","score":0.5608305335044861},{"id":"https://openalex.org/keywords/tcp-friendly-rate-control","display_name":"TCP Friendly Rate Control","score":0.507311999797821},{"id":"https://openalex.org/keywords/packet-loss","display_name":"Packet loss","score":0.5049672722816467},{"id":"https://openalex.org/keywords/tcp-acceleration","display_name":"TCP acceleration","score":0.5036699175834656},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.4915488660335541},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.49153193831443787},{"id":"https://openalex.org/keywords/tcp-tuning","display_name":"TCP tuning","score":0.4422718584537506},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.41200166940689087},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.35440385341644287},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.1321844756603241},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.06984111666679382}],"concepts":[{"id":"https://openalex.org/C34793927","wikidata":"https://www.wikidata.org/wiki/Q583367","display_name":"Active queue management","level":4,"score":0.8489346504211426},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8069795370101929},{"id":"https://openalex.org/C33588617","wikidata":"https://www.wikidata.org/wiki/Q8803","display_name":"Transmission Control Protocol","level":3,"score":0.6937465667724609},{"id":"https://openalex.org/C195563490","wikidata":"https://www.wikidata.org/wiki/Q180368","display_name":"Network congestion","level":3,"score":0.6363195776939392},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6273559331893921},{"id":"https://openalex.org/C140349481","wikidata":"https://www.wikidata.org/wiki/Q4035697","display_name":"CUBIC TCP","level":5,"score":0.5850844979286194},{"id":"https://openalex.org/C162030245","wikidata":"https://www.wikidata.org/wiki/Q2383755","display_name":"TCP global synchronization","level":4,"score":0.5608305335044861},{"id":"https://openalex.org/C30838235","wikidata":"https://www.wikidata.org/wiki/Q7669749","display_name":"TCP Friendly Rate Control","level":4,"score":0.507311999797821},{"id":"https://openalex.org/C54108766","wikidata":"https://www.wikidata.org/wiki/Q391064","display_name":"Packet loss","level":3,"score":0.5049672722816467},{"id":"https://openalex.org/C101452262","wikidata":"https://www.wikidata.org/wiki/Q7669757","display_name":"TCP acceleration","level":4,"score":0.5036699175834656},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.4915488660335541},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.49153193831443787},{"id":"https://openalex.org/C120837960","wikidata":"https://www.wikidata.org/wiki/Q7669763","display_name":"TCP tuning","level":4,"score":0.4422718584537506},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.41200166940689087},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35440385341644287},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.1321844756603241},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.06984111666679382},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2016.7819138","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2016.7819138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323678","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","ror":"https://ror.org/02te5rf52"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1545601271","https://openalex.org/W1581570232","https://openalex.org/W1963522281","https://openalex.org/W1970131865","https://openalex.org/W1986968562","https://openalex.org/W1989035469","https://openalex.org/W2021028598","https://openalex.org/W2081306301","https://openalex.org/W2100134099","https://openalex.org/W2152520525","https://openalex.org/W2158733823","https://openalex.org/W2183910337","https://openalex.org/W2375099263","https://openalex.org/W2532853921"],"related_works":["https://openalex.org/W2150089895","https://openalex.org/W4385489147","https://openalex.org/W4231807519","https://openalex.org/W2742417751","https://openalex.org/W2462009527","https://openalex.org/W1570857383","https://openalex.org/W2138000951","https://openalex.org/W1981903687","https://openalex.org/W1574050397","https://openalex.org/W2426825868"],"abstract_inverted_index":{"To":[0],"study":[1,148],"dynamic":[2],"aspects":[3],"of":[4,47,78,104],"network":[5,10,152],"protocols,":[6],"like":[7],"the":[8,45,53,64,72,76,83,125,141,150,175,222,228,236],"transmission":[9],"protocol":[11,106],"TCP,":[12],"and":[13,40,113,147,161,179,206,245],"networked":[14],"control":[15,49,73,79,138,154,180,224,243],"systems":[16,35,116],"(NCS)":[17],"with":[18,122,162,198],"a":[19,23,29,48,102,137,185],"UDP-like":[20],"flow":[21],"in":[22,52,88,124,129,171],"single":[24],"framework,":[25],"we":[26,100,135,144,183],"employed":[27],"UPPAAL,":[28],"tool":[30],"that":[31],"simulates":[32],"discrete":[33,111],"event":[34,112],"as":[36,232],"switched":[37],"automata.":[38],"Delays":[39],"packet":[41],"losses":[42],"can":[43,145],"degrade":[44],"performance":[46,155,182,195,225,244],"loop,":[50],"leading":[51],"worst":[54],"case":[55],"to":[56,60,173,214],"instability.":[57],"In":[58,169],"opposition":[59],"standard":[61,97],"communication":[62,151],"tasks,":[63],"data":[65],"throughput":[66],"is":[67,86,196],"not":[68],"so":[69],"relevant":[70],"for":[71,110,157],"task":[74],"-":[75],"quality":[77],"(here":[80],"measured":[81],"by":[82],"ITAE":[84],"criterion)":[85],"adopted":[87],"this":[89,132],"paper.":[90],"We":[91],"focus":[92],"on":[93],"processes":[94],"controlled":[95],"over":[96,140],"Internet.":[98],"First,":[99],"present":[101,184],"simulation":[103,159],"TCP-Reno":[105,133],"modeled":[107],"through":[108],"formalities":[109],"timed":[114],"automata":[115],"using":[117],"UPPAAL.":[118],"Results":[119],"were":[120],"compared":[121,197],"simulations":[123],"NS-2":[126],"simulator":[127],"found":[128],"literature.":[130],"Over":[131],"model":[134],"added":[136],"system":[139,181],"network,":[142],"where":[143],"observe":[146],"how":[149],"affect":[153],"behavior":[156],"different":[158,163],"scenarios":[160],"Active":[164],"Queue":[165],"Management":[166],"(AQM)":[167],"techniques.":[168],"addition,":[170],"order":[172],"improve":[174],"tradeoff":[176,241],"between":[177,242],"TCP-throughput":[178],"new":[186],"AQM":[187],"technique":[188],"called":[189],"Explicit":[190],"Non-Congestion":[191],"Notification":[192],"(ENCN)":[193],"whose":[194],"Random":[199],"Early":[200],"Detection":[201],"(RED),":[202],"Control":[203],"Delay":[204],"(CoDel)":[205],"Proportional":[207],"Integral":[208],"controller":[209],"Enhanced":[210],"(PIE)":[211],"schemes.":[212],"According":[213],"our":[215],"study,":[216],"CoDel":[217],"queue":[218],"policy":[219],"gives":[220],"us":[221,239],"best":[223],"but":[226],"worsens":[227],"TCP":[229,246],"throughput;":[230],"however,":[231],"an":[233],"expected":[234],"compromise,":[235],"ENCN":[237],"give":[238],"better":[240],"throughput.":[247]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}