Formal Method for Timed Tests Sequences Generation

Françoise Simonot-Lion 1 Laurent Kaiser Ricardo Santos Marques 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper deals with the temporal interoperability of components in a real time application and presents a method in order to verify it. The temporal interoperability expresses the capability of a component to cooperate and exchange information with its environment while respecting specified timing properties. The principal aim of this paper is to propose a construction method of an adaptative tester. The tester generation process is based on the TIOSM formalism. The logical behaviour of this tester is statically defined (sequence of events, identification of the different clocks). The evaluation of the transition firing times is done on line by the tester itself during the test process. For this, a set of linear inequalities is generated and attached to each state of the tester and a solver is integrated to it. || Le contexte de cet article est l'interopérabilité temporelle de composants dans une application temps réel. Nous présentons une méthode pour vérifier cette interopérabilité par une approche de tests de conformité. Le point clé de ce papier réside dans la
Type de document :
Article dans une revue
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.1001-1013
Liste complète des métadonnées

https://hal.inria.fr/inria-00101003
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:27
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00101003, version 1

Collections

Citation

Françoise Simonot-Lion, Laurent Kaiser, Ricardo Santos Marques. Formal Method for Timed Tests Sequences Generation. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.1001-1013. 〈inria-00101003〉

Partager

Métriques

Consultations de la notice

295