Figure - available from: Telecommunication Systems
This content is subject to copyright. Terms and conditions apply.
Source publication
Significant research efforts for the convergence of web and telecommunication services have been recently spent by research and industry stakeholders. The IETF and W3C are cooperating in specifying how web browsers should evolve to natively support communication services. In this perspective, devising novel mechanisms for signaling message exchange...
Citations
... As well as, the application's usage of continuous polling has the potential to increase communication overhead. In contrast, But, [18] emphasized that WebRTC has not yet specified signalling management designed to facilitate users to tweak, repurpose current systems, and design their signalling; also, to reduce redundancy and improve flexibility with existent technologies [19]. But, WebRTC uses the WebSocket protocol which is designed for it because it provides a full-duplex, bidirectional line of communication for use that is carried out with a specific web socket and can create scalable, real-time Web services. ...
Web Real-Time Communication (WebRTC) technology permits real-time media and data exchange between browsers. A connection is proven via a detection procedure named signalling. However, signalling has no exact definition in WebRTC. This paper aims to design and implement WebRTC chat, video communication, and recording between peers (browserto-browser) in the real application using Chrome and Firefox based on mesh topology. Thus, a signalling channel between two peers for chat and video conferencing using the following: Socket.io mechanism, Node.JS platform, and Express.JS has been produced and performed. Including, Axios (HTTP JSON), and JavaScript as the main programing language utilised. The results of this work have ensured that a signalling channel has been built and implemented. Keywords: Web Real-Time Communication (Webrtc); Session Description Protocol (SDP); Socket.Io Protocol; Node. JS, Javascript (JS); Local Area Network (LAN)
... The characteristics of the KandISTI framework outlined in this paper have favoured its use in numerous exploratory studies, such as those in [43,44] (intelligent domotic environments), [45] (distributed railway interlocking concept) and [46] (web-based communication interworking). The versatility of its underlying L 2 TS models moreover allowed to map rich logics developed in the context of trust and reputation systems, like the so-called trust temporal logic originally defined over trust LTS, onto UCTL [47,48]. ...
Early work on automated formal verification produced pioneering model-checking algorithms, in which system computations were modelled either as sequences of distinguished states in which the system evolves or as sequences of events or actions occurring during the system’s state transitions. In both cases, automata-like structures generally known as transition systems were exploited to capture all possible computations, but still either state-based or event-based. Many years later, both views were combined in descriptions of computations as the evolution between distinguished states by means of transitions characterised by the occurrence of events, and verification tools were adapted to this more general setting. Meanwhile, the most important drive in improving verification tools concerned the complexity of models, which was attacked by algorithms capable of minimising the information needed for deciding the verification questions. One of the outcomes of this quest was local, on-the-fly model checking. Both of these lines of research, pioneered by Bernhard Steffen, are discussed in this paper in a general retrospective on state-based and event-based models of transition systems and temporal logics, followed by an overview of how this is exploited in the KandISTI model-checking environment.
