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 96
- Downloads 0
Mining Scientific Data from Pub-Med Database
The continuous, rapidly growing volume of scientific literature and increasing diversification of inter-disciplinary fields of science and their answers to unsolved problems in medical and allied fields of science...
Design of a Cloud Learning System Based on Multi-Agents Approach
Cloud Computing can provide many benefits for university. It is a new paradigm of IT, which provides all resources such as software (SaaS), platform (PaaS) and infrastructure (IaaS) as a service over the Internet. In clo...
Design and Simulation of Adaptive Controller for Single Phase Grid Connected Photovoltaic Inverter under Distorted Grid Conditions
This paper presents an adaptive controller for single-phase grid-connected photovoltaic inverter under abnormal grid conditions. The main problem associated with the controllers of the grid-connected inverter is that the...
A Novel Hybrid Quicksort Algorithm Vectorized using AVX-512 on Intel Skylake
The modern CPU’s design, which is composed of hierarchical memory and SIMD/vectorization capability, governs the potential for algorithms to be transformed into efficient implementations. The release of the AVX-512 chang...
Power Management of a Stand-Alone Hybrid (Wind/Solar/Battery) Energy System: An Experimental Investigation
In this manuscript, a hybrid wind/solar/battery energy system is proposed for a stand-alone applications. Wind-solar energy sources are used as power generation source in the proposed hybrid energy system (HES), whereas...