Ortega, Maria Victoria Montón; (2000) Investigation of the maintenance of integrity in telecommunication networks using formal and heuristic methodologies. Doctoral thesis (Ph.D), UCL (University College London).

Preview

Text Investigation of the maintenance of integrity in telecommunication networks using formal and heuristic methodologies.pdf Download (20MB) | Preview

Abstract

Modern telecommunication networks are experiencing a dramatic evolution and increase in complexity. Major technological advances have transformed networks into software controlled systems. An increasing degree of intelligence is being introduced in telecommunication networks, and new paradigms are being developed to satisfy customer demand for rapid deployment of increasingly sophisticated services. Such a fusion of telecommunications and computing as a distributed processing environment gives rise to a dramatic increase in control complexity and fragility. Services have to co-exist and co-operate across platforms and may give rise to undesirable feature interactions. Unexpected perturbations may also ripple through the network to give widespread outages. These problems are exacerbated by regulatory policies demanding open interconnection of networks of competing operators and service providers together with internetworking of services. Threat to network integrity is high in such an environment and its preservation is of paramount importance. But the traditional manual approach to the maintenance of network integrity which relies on the knowledge of individual experts is no longer valid. There is a need to develop formal and systematic methodologies to preserve network integrity; frameworks to pre-empt, detect and quickly resolve failures in telecommunication networks and the services they support. This thesis addresses these issues. A definition of network integrity is proposed and the main problems that jeopardise network integrity in modern telecommunication systems are discussed. An integrity framework to categorise integrity levels and assist in the preemption of severe integrity degradation is presented. Methodologies to aid with the provision and maintenance of systems with high integrity levels are introduced. The work focuses on the need to use and improve modelling techniques. The use of formal description languages as a basis for the modelling activity is investigated, in particular the ITU standard SDL (Specification and Description Language), and findings from modelling a case study are presented.

Download activity - last month

Export as JSONXMLCSV

Download activity - last 12 months

Export as JSONCSVXML

Downloads by country - last 12 months

Export as CSVXMLJSON

Archive Staff Only

View Item