---
OA_type: closed access
_id: '4436'
abstract:
- lang: eng
  text: We present an assume-guarantee interface algebra for real-time components.
    In our formalism a component implements a set of task sequences that share a resource.
    A component interface consists of an arrival rate function and a latency for each
    task sequence, and a capacity function for the shared resource. The interface
    specifies that the component guarantees certain task latencies depending on assumptions
    about task arrival rates and allocated resource capacities. Our algebra defines
    compatibility and refinement relations on interfaces. Interface compatibility
    can be checked on partial designs, even when some component interfaces are yet
    unknown. In this case interface composition computes as new assumptions the weakest
    constraints on the unknown components that are necessary to satisfy the specified
    guarantees. Interface refinement is defined in a way that ensures that compatible
    interfaces can be refined and implemented independently. Our algebra thus formalizes
    an interface-based design methodology that supports both the incremental addition
    of new components and the independent stepwise refinement of existing components.
    We demonstrate the flexibility and efficiency of the framework through simulation
    experiments.
article_processing_charge: No
author:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Slobodan
  full_name: Matic, Slobodan
  last_name: Matic
citation:
  ama: 'Henzinger TA, Matic S. An interface algebra for real-time components. In:
    <i>Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications
    Symposium</i>. IEEE; 2006:253-266. doi:<a href="https://doi.org/10.1109/RTAS.2006.11">10.1109/RTAS.2006.11</a>'
  apa: 'Henzinger, T. A., &#38; Matic, S. (2006). An interface algebra for real-time
    components. In <i>Proceedings of the 12th IEEE Real-Time and Embedded Technology
    and Applications Symposium</i> (pp. 253–266). San Jose, CA, United States: IEEE.
    <a href="https://doi.org/10.1109/RTAS.2006.11">https://doi.org/10.1109/RTAS.2006.11</a>'
  chicago: Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time
    Components.” In <i>Proceedings of the 12th IEEE Real-Time and Embedded Technology
    and Applications Symposium</i>, 253–66. IEEE, 2006. <a href="https://doi.org/10.1109/RTAS.2006.11">https://doi.org/10.1109/RTAS.2006.11</a>.
  ieee: T. A. Henzinger and S. Matic, “An interface algebra for real-time components,”
    in <i>Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications
    Symposium</i>, San Jose, CA, United States, 2006, pp. 253–266.
  ista: 'Henzinger TA, Matic S. 2006. An interface algebra for real-time components.
    Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications
    Symposium. RTAS: Real-time and Embedded Technology and Applications Symposium,
    253–266.'
  mla: Henzinger, Thomas A., and Slobodan Matic. “An Interface Algebra for Real-Time
    Components.” <i>Proceedings of the 12th IEEE Real-Time and Embedded Technology
    and Applications Symposium</i>, IEEE, 2006, pp. 253–66, doi:<a href="https://doi.org/10.1109/RTAS.2006.11">10.1109/RTAS.2006.11</a>.
  short: T.A. Henzinger, S. Matic, in:, Proceedings of the 12th IEEE Real-Time and
    Embedded Technology and Applications Symposium, IEEE, 2006, pp. 253–266.
conference:
  end_date: 2006-04-07
  location: San Jose, CA, United States
  name: 'RTAS: Real-time and Embedded Technology and Applications Symposium'
  start_date: 2006-04-04
date_created: 2018-12-11T12:08:50Z
date_published: 2006-04-24T00:00:00Z
date_updated: 2026-08-21T11:03:03Z
day: '24'
doi: 10.1109/RTAS.2006.11
extern: '1'
language:
- iso: eng
month: '04'
oa_version: None
page: 253 - 266
publication: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications
  Symposium
publication_identifier:
  isbn:
  - '0769525164'
  issn:
  - 1545-3421
publication_status: published
publisher: IEEE
publist_id: '294'
status: public
title: An interface algebra for real-time components
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2006'
...