Verification method of interoperability for real time systems
Résumé
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.