Skip to main content

Formal Design, Validation and Testing of Real-Time Telecommunications Systems

Objective

The aim of the INTERVAL project is to take into account real-time requirements such as timing parameters, during the whole development process of real-time systems. The project will focus on defining timed extensions to existing standardised languages (SDL, MSC and TTCN). These timed extensions will be formalised and submitted to the standardisation bodies at ITU-T and ETSI. The tools necessary to support these extensions will be adapted, prototyped or extended by the technology developers. New functions will be provided for the specification, simulation, validation and test generation of real-time systems. The technology will be validated and the impact of the timed extensions on quality and productivity will be evaluated on two telecom applications, provided by the end-user partners: an embedded MTP2 application, and a Multicast Transfer Protocol. Dissemination of project results will be mainly through the submission of the extension proposals to standard bodies. Marketing of project technology will be undertaken by the tool vendors through providing extended or new functionalities in their commercial tools.

Funding Scheme

CSC - Cost-sharing contracts
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

UNIVERSITAET ZU LUEBECK
Address
Ratzeburger Allee 160
23538 Luebeck
Germany

Participants (5)

ERICSSON AB
Sweden
Address
Torshamnsgatan 23
164 80 Stockholm
FRANCE TELECOM
France
Address
6 Place D'alleray
75505 Paris 15
SOLINET GMBH TELECOMMUNICATIONS
Germany
Address
Mittlerer Pfad 26
70499 Stuttgart
TELELOGIC TECHNOLOGIES TOULOUSE S.A.
France
Address
150 Rue Nicolas Vauquelin, Immeuble Europolis
31100 Toulouse
TELETEL TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY SA
Greece
Address
Kifissias Avenue 124
11526 Athens