Formal Method to Derive Interoperability Requirements and Guarantees
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2013, Vol 4, Issue 1
Abstract
Interoperability among telecommunications systems, possibly by different vendors, is essential for both the development of many telecommunications networks, and today's civilization development. Interoperability testing is very costly, as it has a complexity of (n**2) for n systems, and somewhat informal. In this paper, we develop a 'Conformance Testing (CT)'-based formal technique to determine interoperability requirements/guarantees. It allows automated derivation of the interoperability' requirements of various networks as well as the interoperability guarantees among different telecommunications systems. This is achieved using static analysis of the conformance classes of the standard and knowledge of the implementation's degree of conformance (DoC) of the telecommunications systems. Consequently, it results in a lot of cost saving in addition to being a formal technique.
Authors and Affiliations
Hazem El- Gendy , Magdi Amer , Ihab Talkhan
Keywords
Related Articles
- EP ID EP98389
- DOI 10.14569/IJACSA.2013.040102
- Views 115
- Downloads 0
A Survey on Smart use of BBM and its Influence on Academic Achievement in SMK Health PGRI Denpasar
Black Berry Messenger chat facility is very popular in the process of communicating through text messages, pictures and videos, so that the process of communication in the interaction between users can be carried out act...
Autonomic Computing for Business Applications
Autonomic computing, a new deployment technology introduced by IBM a decade ago, to manage the ever increasing complexity of IT systems, has become a part of many large scale deployments today. A lot of inroads have been...
Hierarchical Cellular Structures in High-Capacity Cellular Communication Systems
In the prevailing cellular environment, it is important to provide the resources for the fluctuating traffic demand exactly in the place and at the time where and when they are needed. In this paper, we explored the abil...
A Generic Methodology for Clustering to Maximises Inter-Cluster Inertia
This paper proposes a novel clustering methodology which undeniably manages to offer results with a higher inter-cluster inertia for a better clustering. The advantage obtained with this methodology is due to an algorith...
Performance Chronicles of Multicast Routing Protocol in Wireless Sensor Network
Routing protocol in wireless sensor network (WSN) has always been a frequently adopted topic of research in WSN owing to many unsolved issues in it. This paper discusses about the multicast routing protocols in WSN and b...