TINA service validation: the ErnesTINA project

Author

Logean, X. ; Dietrich, F. ; Hubaux, J.-P.

Author_Institution

Inst. for Comput. Commun. & Applications, Fed. Inst. of Technol., Lausanne, Switzerland

Volume

2

fYear

1998

fDate

7-11 Jun 1998

Firstpage

1150

Abstract

While extensive work has been carried out with the goal of validating the Telecommunications Information Networking Architecture (TINA) architecture and the TINA documents, little has been done yet for the validation of TINA services. This is the main focus of the ErnesTINA project. In the ErnesTINA project, we propose an integrated approach to facilitate the validation of TINA services by verifying at run-time that the service implementation has not violated and is not violating certain predefined properties. We present the specification of the properties, the run-time observation of the distributed environment, the validation of the properties and finally the implementation of the concepts in a prototype

Keywords

information networks; multimedia communication; open systems; program verification; specification languages; telecommunication computing; ErnesTINA project; TINA architecture; TINA documents; TINA service validation; Telecommunications Information Networking Architecture; distributed environment; multimedia services; prototype; run-time observation; run-time verification; specification; Application software; Computer applications; Computer architecture; Humans; Knee; Prototypes; Runtime environment; Telecommunication network management; Telecommunication services; Watches;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, 1998. ICC 98. Conference Record. 1998 IEEE International Conference on

Conference_Location

Atlanta, GA

Print_ISBN

0-7803-4788-9

Type

conf

DOI

10.1109/ICC.1998.685190

Filename

685190