Objectif TOPIC will develop a comprehensive verification technology for IBC advanced services and protocols: definition of a methodology for verification of Quality of Service (QoS) and Protocol Conformance, development of a toolset supporting the methodology, based on existing tools, demonstration of the methodology by applying the toolset to selected IBC protocols and services.The overall goal of the research was the development of a comprehensive verification technology for integrated broadband communications (IBC) advanced services and protocols. The project took existing methodologies and tools and enhanced them such that they satisfied the verification needs in IBC systems. The tools and methodology were applied in a demonstrator for advanced services and protocols using a real IBC environment.The work was split into the examination of the influence of network performance parameters onto the quality of service (Qos) concepts and into the development of QoS parameters directly.Achievements have included:identification of specific needs of a multiservice, heterogeneous broadband environment;verification process proposal with preparation, execution and analysis based on formal methods and models, with enhancements to describe, analyse and evaluate QoS and protocol performance;enhancement of formal description techniques (FDT);characterization guidelines for QoS parameters and a version of a QoS specification language;evaluation of verification techniques for QoS properties;application to the joint viewing and teleoperation service (JVTOS), to specify different QoS requirements on the video delivery;extension, prototyping and integration of tools based on the selected FDTs;specification and demonstration of performance models and real time measurements for the multimedia service JVTOS and the high speed transport protocol XTPX;execution of conformance testing and parameter measurement at the ATM Tb interface;input to common functional specifications (CFS).Tool providers within the consortium have started to integrate parts of the prototype into commercial tools.Technical Approach The work starts with identifying the needs of a multi-service, heterogeneous broadband environment split into examining influence of network performance parameters on QoS concepts and developing QoS parameters directly. The following tool specification and development use a formal phased approach, i.e. verification requirement gaining, formalisation, monitoring and controlling result being a reference model, formalised by a model (2nd phase). The subsequent phases of monitoring and controlling relate to IBC management and system operation. In Monitoring as a passive activity information is collected and analysed. Controlling, however, demands an active feed-back to the system. An initial tool set will be used for a verification process of installed IBC protocols and selected services. Key Issues - IBC demands a new generation of methods and tools for its successful realisation.- QoS verification with modelling, mapping to network performance, testing, monitoring and management.- Demonstration of the verification technology on real IBC case studies is required to show its applicability. Expected Impact TOPIC has demonstrated the needs and benefits of applying a formal approach to the verification of IBC services and protocols. An impact is expected on the definition of architectures supporting the engineering of integrated services. Standards for QoS measurements will be derived from the QoS framework. TOPIC helped to introduce service quality as determinant factor in the design of IBC systems. Tool providers within the consortium have started to integrate parts of the TOPIC prototype into commercial tools. Programme(s) FP3-RACE 2 - Specific research and technological development programme (EEC) in the field of communication technologies, 1990-1994 Thème(s) Data not available Appel à propositions Data not available Régime de financement Data not available Coordinateur VERILOG SA Contribution de l’UE Aucune donnée Adresse 150 RUE NICOLAS VAUQUELIN 31081 TOULOUSE France Voir sur la carte Coût total Aucune donnée Participants (9) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire Clemessy SA France Contribution de l’UE Aucune donnée Adresse 18 rue de Thann 68057 Mulhouse Voir sur la carte Coût total Aucune donnée Consoraio per l'Osi in Italia Italie Contribution de l’UE Aucune donnée Adresse VIA VARANI, 29/B 20127 Milano Voir sur la carte Coût total Aucune donnée Dassault Automatismes et Télécommunications France Contribution de l’UE Aucune donnée Adresse 9 rue Elsa Triolet Zone Industrielle des Gatines 78370 Plaisir Voir sur la carte Coût total Aucune donnée Etnoteam SpA Italie Contribution de l’UE Aucune donnée Adresse Via Adelaide Bono Cairoli 34 20127 Milano Voir sur la carte Coût total Aucune donnée Gesellschaft für Mathematik und Datenverarbeitung mbH Allemagne Contribution de l’UE Aucune donnée Adresse Hardenbergplatz 2 10623 Berlin Voir sur la carte Coût total Aucune donnée INTRACOM S.A. Grèce Contribution de l’UE Aucune donnée Adresse 19.5 KM MARKOPOULOU AVENUE 19002 PENIA ATTIKA Voir sur la carte Coût total Aucune donnée Siemens AG Allemagne Contribution de l’UE Aucune donnée Adresse Paul-Gossen-Straße 100 91052 Erlangen Voir sur la carte Coût total Aucune donnée TECHNISCHE UNIVERSITÄT BERLIN Allemagne Contribution de l’UE Aucune donnée Adresse STRAßE DES 17 JUNI 136 1000 BERLIN Voir sur la carte Coût total Aucune donnée University of Stirling Royaume-Uni Contribution de l’UE Aucune donnée Adresse FK9 4LA Stirling Voir sur la carte Coût total Aucune donnée