A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture

Hafaiedh, Imene Ben; Slimane, Maroua Ben; Robbana, Riadh

doi:10.1007/978-3-319-49583-5_51

Algorithms and Architectures for Parallel Processing

2016

DOI: 10.1007/978-3-319-49583-5_51

|View full text |Cite

A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture

Imene Ben Hafaiedh

Maroua Ben Slimane

Riadh Robbana

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

2024

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Probabilistic Analysis of Multichannel Bus Arbitrators of Computer Network Interfaces

Litvinov

2023

MEC

View full text Add to dashboard Cite

Probabilistic analysis was conducted on the functioning algorithms of bus arbiters within the ‘Common Bus’ interface of computer networks. The research employed the theory of random impulse flows as its apparatus. Analytical dependencies were derived to calculate the average waiting time for service requests from network subscribers. The first-come-first-serve and round-robin service algorithms provided better service uniformity than priority algorithms. Keywords: algorithm, service, request–impulse, interface, bus arbiter, common bus.

show abstract

Probabilistic Analysis of Multichannel Bus Arbitrators of Computer Network Interfaces

Litvinov

2023

MEC

View full text Add to dashboard Cite

show abstract

Queuing System With Bulk Service as a Model of SCTP Protocol Functioning

Litvinov,

Bredikhin

2024

MEC

View full text Add to dashboard Cite

The article presents the results of developing a model for the Stream Control Transmission Protocol functioning as a queuing system with bulk service. It constructs a graph of states and transitions for deriving linear and differential equation systems regarding the state probabilities. We obtain explicit solutions to analyse the basic SCTP functioning. Keywords: computer network, protocol, probabilistic model, queuing system, bulk service.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture

Cited by 2 publications

References 23 publications

Probabilistic Analysis of Multichannel Bus Arbitrators of Computer Network Interfaces

Probabilistic Analysis of Multichannel Bus Arbitrators of Computer Network Interfaces

Queuing System With Bulk Service as a Model of SCTP Protocol Functioning

Contact Info

Product

Resources

About