## TINA Service Validation: The ErnesTINA project

While extensive work has been carried out with the goal of validating the 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. In this paper, 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.

Publié dans:
IEEE ICC98
Présenté à:
IEEE ICC98, Atlanta, USA
Année
1998
Laboratoires:

Note: Le statut de ce fichier est: Anyone

Notice créée le 2004-08-31, modifiée le 2019-12-05

n/a:

PDF

Évaluer ce document:

1
2
3

(Pas encore évalué)