Objective 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 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator VERILOG SA EU contribution No data Address 150 RUE NICOLAS VAUQUELIN 31081 TOULOUSE France See on map Total cost No data Participants (9) Sort alphabetically Sort by EU Contribution Expand all Collapse all Clemessy SA France EU contribution No data Address 18 rue de Thann 68057 Mulhouse See on map Total cost No data Consoraio per l'Osi in Italia Italy EU contribution No data Address VIA VARANI, 29/B 20127 Milano See on map Total cost No data Dassault Automatismes et Télécommunications France EU contribution No data Address 9 rue Elsa Triolet Zone Industrielle des Gatines 78370 Plaisir See on map Total cost No data Etnoteam SpA Italy EU contribution No data Address Via Adelaide Bono Cairoli 34 20127 Milano See on map Total cost No data Gesellschaft für Mathematik und Datenverarbeitung mbH Germany EU contribution No data Address Hardenbergplatz 2 10623 Berlin See on map Total cost No data INTRACOM S.A. Greece EU contribution No data Address 19.5 KM MARKOPOULOU AVENUE 19002 PENIA ATTIKA See on map Total cost No data Siemens AG Germany EU contribution No data Address Paul-Gossen-Straße 100 91052 Erlangen See on map Total cost No data TECHNISCHE UNIVERSITÄT BERLIN Germany EU contribution No data Address STRAßE DES 17 JUNI 136 1000 BERLIN See on map Total cost No data University of Stirling United Kingdom EU contribution No data Address FK9 4LA Stirling See on map Total cost No data