Mixing formal specifications using ICL (interconnection language)

There is an increasing need and desire to develop systems by combining components that are written in different languages and/or run on different kinds of machines. Success largely depends on the ability of their components to communicate and work together despite their differing backgrounds. This thesis addresses the problem of mixing two formal specification languages, SDL and LOTOS. Various approaches to mixing specification languages are examined including the SPECS approach which is presented in more detail. A unique feature of the SPECS approach is the support of multiple specification languages, including the ability to mix specifications languages within a given system design. This area of research investigates the SPECS specific mixing language ICL (Interconnection Language). The thesis looks at two formal languages, one of an asynchronous nature (SDL) and one of a synchronous nature (LOTOS), which can be combined using the Interconnection Language. Also a set of rules are given to produce this formal mixing specification from less formal descriptions. These rules use a range of informal representations and rigorous models of the required system to produce of the ICL specification. An application of these rules is presented. This research work was carried out as part of DCU’s contribution to the SPECS (Specification and Programming Environment for Communication Software) project, part of the RACE program of the EC. SPECS’s aim was to, as much as possible, automate the software development process by using formal languages. An overview of the SPECS project is presented in chapter 1 of this thesis

Métodos y Herramientas para el Diseño y Verificación de Sistemas de Comunicaciones Móviles

El objetivo de esta Tesis ha sido la consecución de tecnología para el diseño y mantenimiento eficientes, en coste temporal y económico, de Sistemas de Pruebas para equipos de comunicaciones inalámbricas. El proceso de diseño elaborado se ha basado en un conjunto de principios básicos: uso de lenguajes y notaciones ITU, independencia de la plataforma de ejecución y uso de herramientas comerciales. En esta Tesis se describe: a) Una arquitectura genérica para Sistemas de Pruebas. b) Una Metodología de Diseño de Sistemas de Pruebas. c) Un conjunto de herramientas de soporte. d) Una propuesta de metodología para el modelado con SDL. e) La aplicación a Sistemas de Pruebas de capa física de la arquitectura, métodos y herramientas utilizados en el área de protocolos. f) Un conjunto de implementaciones que validan las aportaciones anteriores

Protocol security for third generation telecommunication systems

In this thesis, a novel protocol stack architecture is presented. The Future Core Networks System (FCNS) forms a secure reference model for use in packet-switched structures, with its applicability ranging from computer to telecommunication networks. An insight on currently used network protocol systems is given, analysing standardised sets of communication rules with respect to the security they afford to the messages exchanged. The lack of protection schemes for the internal protocol stack messages and the implementation pitfalls of their security architectures are described, in relation to the effects they have on the communication process. The OSI security model is also considered, with disadvantages identified in the placement of security functionality and its management. The drawbacks depicted for currently used systems form the motivation behind this work. The analysis of the FCNS follows, which is composed of three parts. In the first part, the FCNS communication layers are examined, with respect to the mechanisms used to establish, maintain and tear down a connection between peer entities. In the second part, the security mechanisms of the proposed reference architecture are given, including details on the FCNS keystream generator used for the security of the internal FCNS messages. Finally, the FCNS Error Protocol is depicted, illustrating the modes of operation and advantages it exhibits over currently used systems. The work then moves into presenting details of the software FCNS implementation, followed by the presentation of the results and measurements obtained by the case studies created. Comparisons are given in relation to the TCP/IP suite, to provide the means of identifying the FCNS applicability in various network environments. The work is concluded by presenting the FCNS functionality in delivering information for the UMTS, together with further work that may enhance the flexibility and use of the proposed architecture

Protocol security for third generation telecommunication systems

In this thesis, a novel protocol stack architecture is presented. The Future Core Networks System (FCNS) forms a secure reference model for use in packet-switched structures, with its applicability ranging from computer to telecommunication networks. An insight on currently used network protocol systems is given, analysing standardised sets of communication rules with respect to the security they afford to the messages exchanged. The lack of protection schemes for the internal protocol stack messages and the implementation pitfalls of their security architectures are described, in relation to the effects they have on the communication process. The OSI security model is also considered, with disadvantages identified in the placement of security functionality and its management. The drawbacks depicted for currently used systems form the motivation behind this work. The analysis of the FCNS follows, which is composed of three parts. In the first part, the FCNS communication layers are examined, with respect to the mechanisms used to establish, maintain and tear down a connection between peer entities. In the second part, the security mechanisms of the proposed reference architecture are given, including details on the FCNS keystream generator used for the security of the internal FCNS messages. Finally, the FCNS Error Protocol is depicted, illustrating the modes of operation and advantages it exhibits over currently used systems. The work then moves into presenting details of the software FCNS implementation, followed by the presentation of the results and measurements obtained by the case studies created. Comparisons are given in relation to the TCP/IP suite, to provide the means of identifying the FCNS applicability in various network environments. The work is concluded by presenting the FCNS functionality in delivering information for the UMTS, together with further work that may enhance the flexibility and use of the proposed architecture.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Air Traffic Management Abbreviation Compendium

As in all fields of work, an unmanageable number of abbreviations are used today in aviation for terms, definitions, commands, standards and technical descriptions. This applies in general to the areas of aeronautical communication, navigation and surveillance, cockpit and air traffic control working positions, passenger and cargo transport, and all other areas of flight planning, organization and guidance. In addition, many abbreviations are used more than once or have different meanings in different languages. In order to obtain an overview of the most common abbreviations used in air traffic management, organizations like EUROCONTROL, FAA, DWD and DLR have published lists of abbreviations in the past, which have also been enclosed in this document. In addition, abbreviations from some larger international projects related to aviation have been included to provide users with a directory as complete as possible. This means that the second edition of the Air Traffic Management Abbreviation Compendium includes now around 16,500 abbreviations and acronyms from the field of aviation

Una herramienta de gestión de redes virtuales

154 páginas. Maestría en Ciencias de la Computación.En el trabajo de tesis se desarrolla una Herramienta de Gestión de Redes Virtuales con el fin de monitorear, configurar/reconfigurar VLAN’s, consta de varios módulos tales como: SNMP GET, SNMP SET, SNMP GETNEXT, MONITOREO, SNMP visualizador y estadísticas de red. La herramienta es gratuita y de libre uso por parte de la comunidad de redes versus las herramientas propias de cada proveedor de VLAN, que valen de cientos a miles de pesos. Los módulos de la herramienta de Gestión de Redes Virtuales pueden trabajar de forma local o remota, a través de la pila de protocolos TCP/IP (Transfer Control Protocol/Internet Protocol). El protocolo que se emplea para acceder a las bases de datos de configuración de los equipos o nodos, es el protocolo de administración simple de red, basado en UDP (User Datagram Protocol), SNMP (Simple Network Management Protocol), los puertos en uso son el 160 y 161 que son los que permiten el envío y recepción de información entre la estación de administración y la estación administrada. Para analizar la red: a) se capturan los paquetes de datos; b) se desencapsula el paquete en los elementos de interés para el análisis de red y finalmente se presenta la información en pantalla, por lo que es posible capturar: Paquetes, cuyo origen o destino sea un host determinado. Paquetes, cuya dirección origen o destino corresponda a una red determinada. Paquetes, cuyo puerto de origen sea algún número de puerto. Paquetes, TCP, UDP y los puertos correspondientes. Paquetes, cuya dirección destino corresponda a una red determinada. Cualquier combinación de los anteriores. El desarrollo modular de la herramienta permite que la integración de nuevos módulos, que brinda nuevas funcionalidades, sea flexible sin afectar a los que ya están en función, por mencionar un ejemplo: El módulo de seguridad SSH (Security Shell) y el módulo de Cortafuegos, para la seguridad de la información que se extrae de los equipos y del análisis de red. Información adicional acerca del detalle de la herramienta de gestión de redes virtuales se encuentra en el desarrollo capitular de la tesis.The thesis to provide a tool for monitoring, configuration or reconfiguration of VLANs through software. The tool has several modules, such as: SNMP GET, SNMP SET, SNMP GETNEXT, MONITOR, SNMP VIEWER and NETSTATISTICS. The porpuse was made a tool free, because each vendor has developed its own proprietary VLAN product. The parts of the tool, modules, work in local and remote environments. Tha tool use the TCP/IP and UDP protocols for analizing traffic statistics of the network. There is a protocol called SNMP (Simple Network Management Protocol), the protocol is used to manage, monitor and configurate nodes in local or remote form. The protocol use the ports 160 and 161 to communicate information about nodes confgurations. For analizing the network the tool capture frames and dispaly information about network performance, the tool provide filtering, security and traffic flow management, for example: a) Capture frames about a particular node. b) Capture frames about a particular network. c) Capture frames with a particular evaluation criteria. d) Whatever criteria. The tool can enhance modular scalability, security, and network management without problem. The modular architecture permit to increase modules for security, for example a firewall or SSH protocol, so, the information from nodes will be protected. Therefore, the tool is flexible due to simplify task when additions, moves or changes to the architecture are necessary. Additional Information is given in the structure of the thesis which is divided in several chapters

Framework for Automated Functional Tests within Value-Added Service Environments

Full version unavailable due to 3rd party copyright restrictions.Recent years have witnessed that standard telecommunication services evolved more and more to next generation value-added services. This fact is accompanied by a change of service characteristics as new services are designed to fulfil the customer’s demands instead of just focussing on technologies and protocols. These demands can be very specific and, therefore, diverse potential service functionalities have to be considered by the service providers. To make matters worse for service providers, a fast transition from concept to market product and low price of a new service is required due to the increasing competition in the telecommunication industry. Therefore, effective test solutions need to be developed that can be integrated in current value-added service development life-cycles. Besides, these solutions should support the involvement of all participating stakeholders such as the service provider, the test developers as well as the service developers, and, in order to consider an agile approach, also the service customer. This thesis proposes a novel framework for functional testing that is based on a new sort of description language for value-added services (Service Test Description). Based on instances of the Service Test Description, sets of reusable test components described by means of an applied Statecharts notation are automatically selected and composed to so-called behaviour models. From the behaviour models, abstract test cases can be automatically generated which are then transformed to TTCN-3 test cases and then assembled to an Executable Test Suite. Within a TTCN-3 test system, the Executable Test Suite can be executed against the corresponding value-added service referred to as System Under Test. One benefit of the proposed framework is its application within standard development life-cycles. Therefore, the thesis presents a methodology that considers both service development and test development as parallel tasks and foresees procedures to synchronise the tasks and to allow an agile approach with customer involvement. The novel framework is validated through a proof-of-concept working prototype. Example value-added services have been chosen to illustrate the whole process from compiling instances of the Service Test Description until the execution of automated tests. Overall, this thesis presents a novel solution for service providers to improve the quality of their provided value-added services through automated functional testing procedures. It enables the early involvement of the customers into the service development life-cycle and also helps test developers and service developers to collaborate