de Alfaro, Luca; Henzinger, Thomas AIST Austria ; Stoelinga, Mariëlle
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.
This research was supported in part by the NSF CAREER award CCR-0132780, the NSF grant CCR-9988172 the AFOSR MURI grant F49620-00-1-0327, the DARPA PCES grant F33615-00-C-1693, the MARCO GSRC grant 98-DT-660, and the ONR grant N00014-02-1-0671.
108 - 122
EMSOFT: Embedded Software
De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces (Vol. 2491, pp. 108–122). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_9
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces,” 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 108–122.
De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. EMSOFT: Embedded Software , LNCS, vol. 2491. 108–122.
De Alfaro, Luca, et al. Timed Interfaces. Vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.