Title :
Adaptative timed tests for temporal interoperability verification
Author :
Kaiser, Laurent ; Simonot-Lion, Françoise
Author_Institution :
LORIA, Vandoeuvre, France
Abstract :
The article deals with the temporal interoperability of components in a real time application and presents a method 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 (Y. Benkhellat and J.-P. Thomesse, 1995). The principal aim of the paper is to propose a construction method of an adaptative tester. The tester generation process is based on the TIOSM formalism (O. Kone and R. Castanet, 1995). 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 online 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
Keywords :
adaptive systems; formal specification; formal verification; object-oriented programming; open systems; program testing; real-time systems; temporal logic; TIOSM formalism; adaptative timed tests; adaptive timed tests; component interoperability; information exchange; linear inequalities; logical behaviour; real time application; specified timing properties; temporal interoperability verification; test process; tester generation process; transition firing times; Automatic testing; Clocks; Logic testing; Real time systems; System testing; Timing;
Conference_Titel :
Factory Communication Systems, 2000. Proceedings. 2000 IEEE International Workshop on
Conference_Location :
Porto
Print_ISBN :
0-7803-6500-3
DOI :
10.1109/WFCS.2000.882552
