An Architecture for Automated QoS Resolution in Wireless Systems

Abstract

Abstract:The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is achieved by table look-up, a feature that makes table access the focal point of activity. This approach suffers from two limitations, namely, an inability to deal with unexpected QoS requests, and a reliance on human intervention for update of information. This paper is concerned with the presentation of an architecture for supporting automated QoS resolution through verification. The architecture is modular and the QoS resolution function is performed by a subsidiary component, which combines knowledge base with resolution mechanism. This separation of concerns and the support for flexible QoS management has the advantage of accommodating new forms of QoS requests, and of minimising human intervention. An implementation of the QoS resolution architecture is presented in terms of Timed Automata. In addition, a framework is also introduced for extending QoS architectures such as ITSUMO.

Research of Transmission and Control of Real-time MPEG-4VideoStreaming for Multi-channel Over Wireless QoS Mechanism

“…A WLAN usually takes RTP/UDP/IP as transport protocols. This paper researches an implementation of end-to-end, real time video transmission system of RTP /UDP/IP based on QoS [1] controlling over WLAN. Since a UDP protocol does not have an ability of the error control, people commonly uses with TCP and RTCP protocols in the data transmission system, although the UDP protocol can be used for providing connectionless and not reliable data report service.…”

Building effective formal models to prove time properties of networked automation systems

“…For critical systems, this latter technique is more promising because it is based on an exhaustive analysis of the model. However, even if it has been used to determine features of NAS components or validate communication protocols [2] [3], timed model checking is not employed to evaluate global time performances of NAS, to the best of our knowledge. This comes from the well-known combinatory explosion issue; the formal models of real NAS are too large to be analysed by the existing timed model-checkers.…”

An Evaluation Mechanism for QoS Management in Wireless Systems

“…In an earlier paper [3], an implementation of the architecture, with the focus on the BMR, QMR and QRE, was outlined in terms of Timed Automata. BMR includes various templates Timed Automata [12] for source, sink, different types of buffer, decoder [4] as well as communication protocol [2].…”

“…These are to be used as Test Timed Automata [1]. A Test Timed Automaton instantiated from the templates can be used to verify the corresponding QoS statement against the behaviour of the system, as modelled by instantiations from the BMR [3]. The final component, QRE is based on the model checker UPPAAL [12][19], which can perform the verification of the model.…”