Please use this identifier to cite or link to this item: https://hdl.handle.net/11000/31571
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMartinez Bonastre, Oscar-
dc.contributor.authorNeville, S.-
dc.contributor.otherDepartamentos de la UMH::Estadística, Matemáticas e Informáticaes_ES
dc.date.accessioned2024-02-28T11:15:55Z-
dc.date.available2024-02-28T11:15:55Z-
dc.date.created2010-
dc.identifier.citationInternational Journal of Bifurcation and Chaos, Vol. 20, No. 9 (2010)es_ES
dc.identifier.issn2965–2973-
dc.identifier.urihttps://hdl.handle.net/11000/31571-
dc.description.abstractNew real-time applications frequently involve timing constraints related to accurate services from communication protocols. Concretely, real-time communication protocols utilize timers to implement these constraints between system event occurrences. In this context, the study of congestion control for Internet reliable multicast is at present an active research field related to real-time protocols. In this paper, the authors present an innovative real-time transport protocol named Scalable Reliable Multicast Stair Hybrid (SRMSH) as new hybrid multiple layer mechanism for multicast congestion control providing detection and recovery loss. This work is focused on formal specification of SRMSH approach using Communicating Real-Time State Machines as a formal method. Besides, SRMSH validation is presented within a formal proof framework in order to check the functional safety and liveness properties. As a result, authors outline a dynamical system framework in order to model behavior of their presented solution.es_ES
dc.formatapplication/pdfes_ES
dc.format.extent9es_ES
dc.language.isoenges_ES
dc.publisherWorld Scientific Publishing Companyes_ES
dc.rightsinfo:eu-repo/semantics/closedAccesses_ES
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectFormal methodses_ES
dc.subjectreal-time transport protocolses_ES
dc.subjectmulticast congestion controles_ES
dc.subjectreliable multicastes_ES
dc.subjectlayered multicastes_ES
dc.subjectdynamical systemses_ES
dc.subject.otherCDU::5 - Ciencias puras y naturales::51 - Matemáticases_ES
dc.titleMulticast congestion control srmsh approach using communicating real-time state machineses_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.relation.publisherversionhttps://doi.org/10.1142/S0218127410027519es_ES
Appears in Collections:
Artículos Estadística, Matemáticas e Informática


no-thumbnailView/Open:

 Multicast Congestion Control SRMSH approach using Communicating Real-Time State Machines.pdf



303,19 kB
Adobe PDF
Share:


Creative Commons ???jsp.display-item.text9???