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 103
- Downloads 0
An Overview of Mutation Strategies in Bat Algorithm
Bat algorithm (BA) is a population based stochastic search technique encouraged from the intrinsic manner of bee swarm seeking for their food source. BA has been mostly used to resolve diverse kind of optimization proble...
Enhanced K-mean Using Evolutionary Algorithms for Melanoma Detection and Segmentation in Skin Images
Nowadays, Melanoma has become one of the most significant public health concerns. Malignant Melanoma (MM) is considered the most rapidly spreading type of skin cancer. In this paper, we have built models for detection, s...
Scalability and Performance of Selected Websites of Universities: An Analytical Study of Punjab (India)
Today, education has emerged as a major area of commercial activities. The access to various University websites through Internet has opened up new opportunities for the beneficiaries. The creation of these websites full...
Sensor Node Deployment Strategy for Maintaining Wireless Sensor Network Communication Connectivity
- We propose a rescue robot sensor network system in which a teleoperated rescue robot sets up a wireless sensor network (WSN) to gather disaster information in post-disaster underground spaces. In this system, the...
Real-Time Simulation and Analysis of the Induction Machine Performances Operating at Flux Constant
In this paper, we are interested, in a first time, at the study and the implementation of a V/f control for induction machine in real time. After, We are attached to a comparison of the results by simulation and experime...