Abstract
WebRTC (Web Real-Time Communication) is a Web real-time audio and video communication technology, which is natively supported by the browser and is not dependent on third-party plug-ins. In order to establish a WebRTC session, there is a need for a signaling protocol to help different parties to agree on parameters such as codecs, types of media, transport addresses, etc. The paper presents a formal model and validation for a complete signaling exchange between two WebRTC communicating browsers. The formal model is built using SDL (Specification and Description Language) to describe the structure, the data, and the behaviour of the system, while the validation of the resulting model is done using the reachability analysis technique. The ultimate objective of the validation is to show that the system model is free of design errors so that it can be analyzed first and then used to generate code automatically for WebRTC solutions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
