Timed interfaces Conference Paper


Author(s): de Alfaro, Luca; Henzinger, Thomas A; Stoelinga, Mariëlle
Title: Timed interfaces
Title Series: LNCS
Affiliation
Abstract: 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.
Conference Title: EMSOFT: Embedded Software
Volume: 2491
Conference Dates: October 7-9, 2002
Conference Location: Grenoble, France
ISBN: 978-145034485-2
Publisher: ACM  
Location: Berlin, Heidelberg
Date Published: 2002-09-25
Start Page: 108
End Page: 122
Sponsor: 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.
DOI: 10.1007/3-540-45828-X_9
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work