论文信息 - Validation of timing properties for interoperability in distributed real-time applications

Validation of timing properties for interoperability in distributed real-time applications

This paper deals with the main role of timing properties in communication stacks (respectively Application processes) to achieve interoperability (respectively interworking) of equipment (respectively Application processes) in real-time distributed applications. The inter-operability (respectively interworking) property expresses the global capability of equipment (respectively Application processes) to exchange informations and cooperate in order to meet the end user requirements.

Jean-Pierre Thomesse | Y. Benkhellat

[1] Ousmane Koné,et al. Deriving Coordinated Testers for Interoperability , 1993, Protocol Test Systems.

[2] Aloysius K. Mok,et al. A Graph-Theoretic Approach for Timing Analysis and its Implementation , 1987, IEEE Transactions on Computers.

[3] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .

[4] Jean-Pierre Thomesse,et al. Interoperability of sensors and distributed systems , 1993 .

[5] Luciano Lenzini,et al. Interoperability Tests on OSI Products in the Framework of the OSIRIDE-Intertest Initiative , 1992, Comput. Networks ISDN Syst..

[6] Susan Symington,et al. A COS study of OSI interoperability , 1990 .