Verification method of interoperability for real time systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2000

Verification method of interoperability for real time systems


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.
Not file

Dates and versions

inria-00099103 , version 1 (26-09-2006)


  • HAL Id : inria-00099103 , version 1


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. ⟨inria-00099103⟩
59 View
0 Download


Gmail Facebook Twitter LinkedIn More