zbMATH — the first resource for mathematics

Timed interfaces. (English) Zbl 1027.68785
Sangiovanni-Vincentelli, Alberto (ed.) et al., Embedded software. Second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2491, 108-122 (2002).
Summary: We present a theory of timed interfaces, which is capable of specifying both the timing of the inputs a component expects from the environment, and the timing of the outputs it can produce. Two timed interfaces are compatible if there is a way to use them together such that their timing expectations are met. Our theory provides algorithms for checking the compatibility between two interfaces and for deriving the composite interface; the theory can thus be viewed as a type system for real-time interaction. Technically, a timed interface is encoded as a timed game between two players, representing the inputs and outputs of the component. The algorithms for compatibility checking and interface composition are thus derived from algorithms for solving timed games.
For the entire collection see [Zbl 1012.68861].

68U99 Computing methodologies and applications
68N99 Theory of software
Full Text: Link