Formal Specification of QoS Negotiation in ODP System

The future of Open Distributed Processing systems (ODP) will see an increasing of components number, these components are sharing resources. In general, these resources are offering some kind of services. Due to the huge number of components, it is very difficult to offer the optimum Quality of service (QoS). This encourages us to develop a model for QoS negotiation process to optimize the QoS in an ODP system. In such system, there is a High risk of software or hardware failure. To ensure good performance of a system based on our model, we develop it using a formal method. In our case, we will use Event-B to get in the end of our development a system correct by construction.

Admission Control Scheme for Reducing Signaling Storm in Wireless Network

Reducing signaling storm in wireless networks has become a major goal in designing today’s wireless communication systems. In order to reduce signaling storm, this paper addresses the issues of scheduling the signaling resources in wireless networks subject to both quality of service (QoS) and priority constraints. The applications in wireless communication systems are divided into three types,namely always-on applications, voice applications and the other applications. For all the applications, an admission control scheme is proposed that incorporates the reconfiguration of idle resources and the QoS negotiation. The QoS negotiation usually contains the following parts, QoS reduction of the new application, QoS reduction of the applications which have accessed to the network and the resources compulsory possession. When the signaling resources are limited, the proposed admission control scheme can improve the successful access rate of voice applications and reduce the impact of signaling storm in wireless network.