Verification method of interoperability for real time systems

Laurent Kaiser 1 Françoise Simonot-Lion 1 Ousmane Koné 2
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This article deals with the temporal interoperability of components in a real time application and presents a method in order to verify it. We consider a component S to be integrated in a given application and which must inter-operate with the remain of the application. The temporal interoperability expresses the capability ofS to cooperate and exchange informations with the other components in order to meet the timing properties [2]. The temporal interoperability verication is assumed, here, to be done by testing S. 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 [6] (which is a specialisation of the Timed Automata of Alurand Dill [1]). The logical behaviour of this tester is statically de ned (sequence of events, identication of the different clocks). The evaluation of the transitions ring 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 the it.
Type de document :
Communication dans un congrès
S4th IFAC International Symposium on Intelligent Components & Instruments for Control Applications - SICICA'2000, 2000, Buenos Aires/Argentine, 6 p, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099103
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:50:58
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Identifiants

  • HAL Id : inria-00099103, version 1

Collections

Citation

Laurent Kaiser, Françoise Simonot-Lion, Ousmane Koné. Verification method of interoperability for real time systems. S4th IFAC International Symposium on Intelligent Components & Instruments for Control Applications - SICICA'2000, 2000, Buenos Aires/Argentine, 6 p, 2000. 〈inria-00099103〉

Partager

Métriques

Consultations de la notice

186