---
_id: '4623'
abstract:
- lang: eng
  text: We classify component-based models of computation into component models and
    interface models. A component model specifies for each component howthe component
    behaves in an arbitrary environment; an interface model specifies for each component
    what the component expects from the environment. Component models support compositional
    abstraction, and therefore component-based verification. Interface models support
    compositional refinement, and therefore componentbased design. Many aspects of
    interface models, such as compatibility and refinement checking between interfaces,
    are properly viewed in a gametheoretic setting, where the input and output values
    of an interface are chosen by different players.
acknowledgement: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327,
  the DARPA ITO grant F33615-00-C-1693, the MARCO grant 98-DT-660, and the NSF ITR
  grant CCR-0085949.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: 'De Alfaro L, Henzinger TA. Interface theories for component-based design.
    In: <i>Proceedings of the 1st International Workshop on Embedded Software</i>.
    Vol 2211. ACM; 2001:148-165. doi:<a href="https://doi.org/10.1007/3-540-45449-7_11">10.1007/3-540-45449-7_11</a>'
  apa: 'De Alfaro, L., &#38; Henzinger, T. A. (2001). Interface theories for component-based
    design. In <i>Proceedings of the 1st International Workshop on Embedded Software</i>
    (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. <a href="https://doi.org/10.1007/3-540-45449-7_11">https://doi.org/10.1007/3-540-45449-7_11</a>'
  chicago: De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based
    Design.” In <i>Proceedings of the 1st International Workshop on Embedded Software</i>,
    2211:148–65. ACM, 2001. <a href="https://doi.org/10.1007/3-540-45449-7_11">https://doi.org/10.1007/3-540-45449-7_11</a>.
  ieee: L. De Alfaro and T. A. Henzinger, “Interface theories for component-based
    design,” in <i>Proceedings of the 1st International Workshop on Embedded Software</i>,
    Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.
  ista: 'De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design.
    Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded
    Software , LNCS, vol. 2211, 148–165.'
  mla: De Alfaro, Luca, and Thomas A. Henzinger. “Interface Theories for Component-Based
    Design.” <i>Proceedings of the 1st International Workshop on Embedded Software</i>,
    vol. 2211, ACM, 2001, pp. 148–65, doi:<a href="https://doi.org/10.1007/3-540-45449-7_11">10.1007/3-540-45449-7_11</a>.
  short: L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop
    on Embedded Software, ACM, 2001, pp. 148–165.
conference:
  end_date: 2001-10-10
  location: Tahoe City, CA, USA
  name: 'EMSOFT: Embedded Software '
  start_date: 2001-10-08
date_created: 2018-12-11T12:09:48Z
date_published: 2001-09-26T00:00:00Z
date_updated: 2023-05-08T12:11:20Z
day: '26'
doi: 10.1007/3-540-45449-7_11
extern: '1'
intvolume: '      2211'
language:
- iso: eng
month: '09'
oa_version: None
page: 148 - 165
publication: Proceedings of the 1st International Workshop on Embedded Software
publication_identifier:
  isbn:
  - '9783540426738'
publication_status: published
publisher: ACM
publist_id: '84'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Interface theories for component-based design
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2211
year: '2001'
...
---
_id: '4449'
abstract:
- lang: eng
  text: Embedded software is software that interacts with physical processes. As em-
    bedded systems increasingly permeate our daily lives on all levels, from micros-
    copic devices to international networks, the cost-efficient development of reliable
    embedded software is one of the grand challenges in computer science today. The
    purpose of the workshop is to bring together researchers in all areas of computer
    science that are traditionally distinct but relevant to embedded software develop-
    ment, and to incubate a research community in this way. The workshop aims to cover
    all aspects of the design and implementation of embedded software, inclu- ding
    operating systems and middleware, programming languages and compilers, modeling
    and validation, software engineering and programming methodologies, scheduling
    and execution time analysis, networking and fault tolerance, as well as application
    areas, such as embedded control, real-time signal processing, and telecommunications.
alternative_title:
- LNCS
article_processing_charge: No
citation:
  ama: 'Henzinger TA, ed. <i>EMSOFT: Embedded Software</i>. Vol 2211. ACM; 2001. doi:<a
    href="https://doi.org/10.1007/3-540-45449-7">10.1007/3-540-45449-7</a>'
  apa: 'Henzinger, T. A. (Ed.). (2001). <i>EMSOFT: Embedded Software</i> (Vol. 2211).
    Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. <a
    href="https://doi.org/10.1007/3-540-45449-7">https://doi.org/10.1007/3-540-45449-7</a>'
  chicago: 'Henzinger, Thomas A, ed. <i>EMSOFT: Embedded Software</i>. Vol. 2211.
    ACM, 2001. <a href="https://doi.org/10.1007/3-540-45449-7">https://doi.org/10.1007/3-540-45449-7</a>.'
  ieee: 'T. A. Henzinger, Ed., <i>EMSOFT: Embedded Software</i>, vol. 2211. ACM, 2001.'
  ista: 'Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.'
  mla: 'Henzinger, Thomas A., editor. <i>EMSOFT: Embedded Software</i>. Vol. 2211,
    ACM, 2001, doi:<a href="https://doi.org/10.1007/3-540-45449-7">10.1007/3-540-45449-7</a>.'
  short: 'T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.'
conference:
  end_date: 2001-10-10
  location: Tahoe City, CA, USA
  name: 'EMSOFT 2001: Embedded Software'
  start_date: 2001-10-08
date_created: 2018-12-11T12:08:54Z
date_published: 2001-09-26T00:00:00Z
date_updated: 2023-05-10T09:53:17Z
day: '26'
doi: 10.1007/3-540-45449-7
editor:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
extern: '1'
intvolume: '      2211'
language:
- iso: eng
month: '09'
oa_version: None
publication_identifier:
  isbn:
  - '9783540426738'
publication_status: published
publisher: ACM
publist_id: '283'
quality_controlled: '1'
status: public
title: 'EMSOFT: Embedded Software'
type: conference_editor
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2211
year: '2001'
...
---
_id: '4479'
abstract:
- lang: eng
  text: Giotto provides an abstract programmer’s model for the implementation of embedded
    control systems with hard real-time constraints. A typical control application
    consists of periodic software tasks together with a mode switching logic for enabling
    and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations,
    and mode switches independent of any implementation platform. Giotto can be annotated
    with platform constraints such as task-to-host mappings, and task and communication
    schedules. The annotations are directives for the Giotto compiler, but they do
    not alter the functionality and timing of a Giotto program. By separating the
    platform-independent from the platform-dependent concerns, Giotto enables a great
    deal of flexibility in choosing control platforms as well as a great deal of automation
    in the validation and synthesis of control software. The time-triggered nature
    of Giotto achieves timing predictability, which makes Giotto particularly suitable
    for safety-critical applications.
acknowledgement: This research was supported in part by the DARPA SEC grant F33615-C-98-3614
  and by the MARCO GSRC grant 98-DT-660.
alternative_title:
- LNCS
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: Benjamin
  full_name: Horowitz, Benjamin
  last_name: Horowitz
- first_name: Christoph
  full_name: Kirsch, Christoph
  last_name: Kirsch
citation:
  ama: 'Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for
    embedded programming. In: <i>Proceedings of the 1st International Workshop on
    Embedded Software</i>. Vol 2211. ACM; 2001:166-184. doi:<a href="https://doi.org/10.1007/3-540-45449-7_12">10.1007/3-540-45449-7_12</a>'
  apa: 'Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2001). Giotto: A time-triggered
    language for embedded programming. In <i>Proceedings of the 1st International
    Workshop on Embedded Software</i> (Vol. 2211, pp. 166–184). Tahoe City, CA, USA:
    ACM. <a href="https://doi.org/10.1007/3-540-45449-7_12">https://doi.org/10.1007/3-540-45449-7_12</a>'
  chicago: 'Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto:
    A Time-Triggered Language for Embedded Programming.” In <i>Proceedings of the
    1st International Workshop on Embedded Software</i>, 2211:166–84. ACM, 2001. <a
    href="https://doi.org/10.1007/3-540-45449-7_12">https://doi.org/10.1007/3-540-45449-7_12</a>.'
  ieee: 'T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language
    for embedded programming,” in <i>Proceedings of the 1st International Workshop
    on Embedded Software</i>, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.'
  ista: 'Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language
    for embedded programming. Proceedings of the 1st International Workshop on Embedded
    Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.'
  mla: 'Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded
    Programming.” <i>Proceedings of the 1st International Workshop on Embedded Software</i>,
    vol. 2211, ACM, 2001, pp. 166–84, doi:<a href="https://doi.org/10.1007/3-540-45449-7_12">10.1007/3-540-45449-7_12</a>.'
  short: T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International
    Workshop on Embedded Software, ACM, 2001, pp. 166–184.
conference:
  end_date: 2001-10-10
  location: Tahoe City, CA, USA
  name: 'EMSOFT: Embedded Software '
  start_date: 2001-10-08
date_created: 2018-12-11T12:09:04Z
date_published: 2001-09-26T00:00:00Z
date_updated: 2023-05-10T09:42:10Z
day: '26'
doi: 10.1007/3-540-45449-7_12
extern: '1'
intvolume: '      2211'
language:
- iso: eng
month: '09'
oa_version: None
page: 166 - 184
publication: Proceedings of the 1st International Workshop on Embedded Software
publication_identifier:
  isbn:
  - '9783540426738'
publication_status: published
publisher: ACM
publist_id: '252'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Giotto: A time-triggered language for embedded programming'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 2211
year: '2001'
...