Service creation and deployment on an intelligent network

Active competition in the telecommunications industry has caused a dramatic shift in focus for public network operators. Service designers need to be able to easily and rapidly create services according to the customer’s requirements. This is achievable by using Intelligent Networks (INs). Two primary goals of service development under the Intelligent Network paradigm are rapid service crcation using new software technologies and the minimisation of service development costs through switch vendor independence. This thesis examines the development of an IN architecture and the deployment of two call control services on it using the ITU-T Service Independent Building Block (SIB) methodology. The services are deployed on a narrow-band Excel switching platform. Various aspects of the IN Conceptual Model (INCM) are examined with a particular emphasis on the middle two planes: the Global Functional Plane (GFP) and the Distributed Functional Plane (DFP). Representations of these planes are designed using the ITU-T Specification and Description Language (SDL) [SDL89] and implemented using Telelogic’s SDL Development Tool (SDT). SDL provides capabilities to allow logical structuring of the INCM into its constituent entities, the modelling of communication between these entities and the processing within them. The Intelligent Network paradigm was developed with a view to extendibility. Two call control services, Ringback and Group Call Pickup, are implemented using the SIB methodology. Further services may be created by rearranging the order of execution of the existing SIBs or, if necessary, by adding new SIBs to the architecture. Given the demand for multimedia applications to run on top of emerging broadband networks it is becoming increasingly more important for network operators to study the enhancement and evolution of their IN service platforms in order to cope with new customer requirements. TINA is the leading architecture for multimedia service control and delivery, which defines an emerging open service platform. Migration from IN to TINA is explored in this thesis by considering two individual paths of migration. The first path involves the replacement of the IN service control and management elements (SCF, SMF, SDF) with appropriate TINA Computational Objects while the switching elements (SSF, CCF) remain IN compliant. As there is no one-to-one mapping of IN functional entities to TINA computational objects, an Adaptation Unit is required to facilitate interaction between the legacy IN entities and the TINA Computational Objects. The advantage of this step is that it is possible to keep the investment of deployed IN SSPs while taking advantage of TINA service modelling. The second step involves the introduction of TINA into the switch. In this approach the switch and its switching capabilities may be viewed as a TINA object in itself. Interworking between IN and TINA (as a step towards full migration to TINA) yields a much richer service platform. This service platform facilitates the creation of services that incorporate both IN and TINA features. A TINA service may use pieces of IN functionality and IN services may also use TINA functionality. It is possible to invoke these hybrid services from either a PSTN or a TINA terminal. Three hybrid IN/TINA services were designed to demonstrate the increased resources available to the service designer using such a platform. A user connected to the IN switch invokes the Freephone Service. This service uses a TINA database to convert the 1-800 number to an extension number. The call is then connected using IN switching functionality. The Audio Video Conference, uses TINA computational objects to set up a video stream between participating users while the audio connection is handled by the IN switching functionality. This service is invoked from a TINA terminal. A user connected to the IN switch invokes the Ringback Service but it runs in the TINA domain using both TINA and IN functionality. Therefore, as well as presenting an application of the IN technology, this thesis proposes possible steps towards migration to the TINA architecture

Enabling the Collaborative Definition of DSMLs

International audienceSoftware development processes are collaborative in nature. Neglecting the key role of end-users leads to software that does not satisfy their needs. This collaboration becomes specially important when creating Domain-Specific Modeling Languages (DSMLs), which are (modeling) languages specifically designed to carry out the tasks of a particular domain. While end-users are actually the experts of the domain for which a DSML is developed, their participation in the DSML specification process is still rather limited nowadays. In this paper we propose a more community-aware language development process by enabling the active participation of all community members (both developers and end-users of the DSML) from the very beginning. Our proposal is based on a DSML itself, called Collaboro, which allows representing change proposals on the DSML design and discussing (and tracing back) possible solutions, comments and decisions arisen during the collaboration

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

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Enabling the Collaborative Definition of DSMLs

International audienceSoftware development processes are collaborative in nature. Neglecting the key role of end-users leads to software that does not satisfy their needs. This collaboration becomes specially important when creating Domain-Specific Modeling Languages (DSMLs), which are (modeling) languages specifically designed to carry out the tasks of a particular domain. While end-users are actually the experts of the domain for which a DSML is developed, their participation in the DSML specification process is still rather limited nowadays. In this paper we propose a more community-aware language development process by enabling the active participation of all community members (both developers and end-users of the DSML) from the very beginning. Our proposal is based on a DSML itself, called Collaboro, which allows representing change proposals on the DSML design and discussing (and tracing back) possible solutions, comments and decisions arisen during the collaboration

Forschungs- und Arbeitsgebiete des Instituts für Telematik

Dieser Interne Bericht gibt einen Ueberblick ueber aktuelle Forschungsarbeiten des Instituts fuer Telematik der Universitaet Karlsruhe in den Bereichen Hochleistungskommunikation, verteilte Systeme, Cooperation&Management und Telekooperation. Er ist in zwei Teile gegliedert. Der erste beschreibt die persoenlichen Interessensgebiete der wissenschaftlichen Mitarbeiter. Danach folgt eine Darstellung der Kooperationsprojekte des Instituts. Im Anhang finden sich die referenzierten Literaturstellen sowie aktuelle Eigenveroeffentlichungen der Mitarbeiter des Instituts. Der Bericht entstand im Rahmen der Klausurtagung des Instituts in Rothenburg ob der Tauber im Oktober 1996