Formal Verification of a Peer-to-Peer Streaming Protocol

Simple item page
dc.contributor.authorOjo, Oluwafolake
dc.contributor.authorOluwatope, Ayodeji
dc.contributor.authorAjadi, Suraj
dc.date.accessioned2023-06-10T21:01:04Z
dc.date.available2023-06-10T21:01:04Z
dc.date.issued2018-08
dc.descriptionJournal of King Saud University - Computer and Information Sciences Volume 32, Issue 6, July 2020, Pages 730-740en_US
dc.description.abstractPeer (P2P) networks have emerged as an efficient and affordable means of transmitting videos to numerous end-users via the Internet. The dynamic and heterogeneous nature of P2P streaming systems (P2PSS) makes testing, analyzing and verification a cumbersome task. However, formal methods offer efficient approaches to rigorously analyze and verify P2PSS. This paper demonstrates the use of formal verification techniques for analyzing the behavioral properties of P2PSS. We use temporal logics to analyze whether all the possible behaviors within the P2P streaming systems conform to the defined specifications. Specifically, we apply model checking to check the consistency, completeness and certainty of the model if the temporal properties of the proposed system satisfies the required specifications. Furthermore, the P2PSS framework was modeled and verified using Simulink Design Verifier (SDV) in MATLAB simulation tool. The simulations results showed 100% validation for all frames and 50% validation for I-frames prioritisation. Further, the probability of a peer capable of forwarding frames while receiving is at most 0.5.en_US
dc.description.sponsorshipACE: ICT-Driven Knowledge Parken_US
dc.identifier.citationOjo, O. E., Oluwatope, A. O., & Ajadi, S. O. (2020). Formal verification of a peer-to-peer streaming protocol. Journal of King Saud University-Computer and Information Sciences, 32(6), 730-740.en_US
dc.identifier.issn2213-1248
dc.identifier.issn1319-1578
dc.identifier.uri10.1016/j.jksuci.2018.08.008
dc.identifier.urihttp://hdl.handle.net/123456789/1975
dc.language.isoenen_US
dc.publisherScienceDirecten_US
dc.subjectPeer-to-peer networksen_US
dc.subjectVideo streaming and temporal logicen_US
dc.subjectObafemi Awolowo Universityen_US
dc.subjectSTEMen_US
dc.titleFormal Verification of a Peer-to-Peer Streaming Protocolen_US
dc.typeArticleen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Formal verification of a peer-to-peer streaming protocol.pdf
Size:
2.78 MB
Format:
Adobe Portable Document Format
Description:
Main Article
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
STEM