HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Adaptative timed tests for temporal interoperability verification

Laurent Kaiser 1 Françoise Simonot-Lion 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 purpose a construction method of an adaptative tester. The tester generation process is based on the TIOSM formalism. The logical behaviour of this tester is statistically defined (sequences of events, identification of the different clocks) The evaluation of the transitions 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.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:51:18 AM
Last modification on : Friday, February 4, 2022 - 3:30:57 AM


  • HAL Id : inria-00099140, version 1



Laurent Kaiser, Françoise Simonot-Lion. Adaptative timed tests for temporal interoperability verification. 3rd IEEE International Workshop on Factory Communication Systems - WFCS2000, IEEE, Sep 2000, Porto/Portugal, 8 p. ⟨inria-00099140⟩



Record views