Abstract
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.
Conformance testing increase consequently the probability of interoperating but does not guarantee it. Experience in communication systems has shown that two equipment, even they succeed to conformance testing, may not be able to interoperate. This is because, first, conformance testing has economic and technical limitations and, second, does not cover performance properties of equipment which are important to achieve temporal interoperability. Hence, an interoperability testing is necessary.
In this paper, we are interested by these performance properties of equipment and their role in obtaining temporal interoperability and interworking.
Chapter PDF
Similar content being viewed by others
Keyword Codes
Keywords
References
Y. Benkhellat, M. Siebert, and J.-P. Thomesse. Interoperability of Sensors and Distributed Systems. Journal Sensors and Actuators A Volumes A37 and A38, 2: 247–254, 1992.
Y. Benkhellat, M. Siebert, and J.-P. Thomesse. Sensors and Distributed Systems Interoperability Criteria. In Proceedings of EUROSENSORS ‘83 Conference, 1993.
J. Gadre, C. Rohrer, C. Summers, and S. Symington. A COS Study of OSI Interoperability. Computer Standards and Interfaces, 9: 217–237, 1990.
F. Jahanian and A.-L. Mok. A Graph-Theoritic Approach for Timing Analysis and its Implementation. IEEE Transactions on Computers, C-36(8): 961–975, August 1987.
O. Koné. Deriving Coordinated Testers for Interoperability. In O. Rafiq, editor, International Workshop on Protocol Test Systems, VI, pages 335–348. IFIP, University of Pau, Pau, France, 1993.
L. Lenzini and F. Zoccolini. Interoperability tests on OSI products in the framework of the OSIRIDE-Intertest initiative. Computer Networks and ISDN Systems, 24: 65–79, 1992.
Jonathan S. Ostroff. Temporal logic for real-time systems. Research Studies Press LTD, 1989.
O. Rafiq. Le test d’interopérabilité des protocoles. In O. Rafiq, editor, Ingénierie des protocoles,pages 543–558, Paris, 1991. Hermès. CFIP’91.
UTE. NF C 46–603: FIP bus for exchange of information between transmitters, actuators and programmable controllers. Data Link Layer. French standard, June 1990.
VERILOG. EVAL, PREDICATE TRANSITION ANALYSER, RELEASE 1.0. Toulouse, first edition, October 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Benkhellat, Y., Thomesse, JP. (1995). Validation of Timing Properties for Interoperability in Distributed Real-Time Applications. In: Vuong, S.T., Chanson, S.T. (eds) Protocol Specification, Testing and Verification XIV. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34867-4_22
Download citation
DOI: https://doi.org/10.1007/978-0-387-34867-4_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6308-9
Online ISBN: 978-0-387-34867-4
eBook Packages: Springer Book Archive