---
_id: '4478'
abstract:
- lang: eng
  text: Giotto is a principled, tool-supported design methodology for implementing
    embedded control systems on platforms of possibly distributed sensors, actuators,
    CPUs, and networks. Giotto is based on the principle that time-triggered task
    invocations plus time-triggered mode switches can form the abstract essence of
    programming real-time control systems. Giotto consists of a programming language
    with a formal semantics, and a retargetable compiler and runtime library. Giotto
    supports the automation of control system design by strictly separating platform-independent
    functionality and timing concerns from platform-dependent scheduling and communication
    issues. The time-triggered predictability of Giotto makes it particularly suitable
    for safety-critical applications with hard real-time constraints. We illustrate
    the platform-independence and time-triggered execution of Giotto by coordinating
    a heterogeneous flock of Intel x86 robots and Lego Mindstorms robots.
acknowledgement: We thank Rupak Majumdar for implementing a prototype Giotto compiler
  for Lego Mindstorms robots. We thank Dmitry Derevyanko and Winthrop Williams for
  building our Intel x86 robots. We thank Edward Lee and Xiaojun Liu for help with
  a Ptolemy II [4] implementation of Giotto. This research was supported in part by
  the DARPA SEC grant F33615-C-98-3614, the DARPA MoBIES grant F33615- 00-C-1703,
  the MARCO GSRC grant 98-DT-660, the AFOSR MURI grant F49620-00-1-0327, and the NSF
  ITR grant CCR-0085949.
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. Embedded control systems development with
    Giotto. In: <i>Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers
    and Tools for Embedded Systems</i>. ACM; 2001:64-72. doi:<a href="https://doi.org/10.1145/384197.384208">10.1145/384197.384208</a>'
  apa: 'Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2001). Embedded control
    systems development with Giotto. In <i>Proceedings of the 2nd ACM SIGPLAN workshop
    on Languages, compilers and tools for embedded systems</i> (pp. 64–72). New York,
    NY, United States: ACM. <a href="https://doi.org/10.1145/384197.384208">https://doi.org/10.1145/384197.384208</a>'
  chicago: Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded
    Control Systems Development with Giotto.” In <i>Proceedings of the 2nd ACM SIGPLAN
    Workshop on Languages, Compilers and Tools for Embedded Systems</i>, 64–72. ACM,
    2001. <a href="https://doi.org/10.1145/384197.384208">https://doi.org/10.1145/384197.384208</a>.
  ieee: T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development
    with Giotto,” in <i>Proceedings of the 2nd ACM SIGPLAN workshop on Languages,
    compilers and tools for embedded systems</i>, New York, NY, United States, 2001,
    pp. 64–72.
  ista: 'Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development
    with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers
    and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded
    Systems, 64–72.'
  mla: Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.”
    <i>Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools
    for Embedded Systems</i>, ACM, 2001, pp. 64–72, doi:<a href="https://doi.org/10.1145/384197.384208">10.1145/384197.384208</a>.
  short: T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN
    Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp.
    64–72.
conference:
  location: New York, NY, United States
  name: 'LCTES: Languages, Compilers, and Tools for Embedded Systems'
date_created: 2018-12-11T12:09:03Z
date_published: 2001-06-01T00:00:00Z
date_updated: 2023-05-10T09:37:20Z
day: '01'
doi: 10.1145/384197.384208
extern: '1'
language:
- iso: eng
month: '06'
oa_version: None
page: 64 - 72
publication: Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and
  tools for embedded systems
publication_identifier:
  isbn:
  - '9781581134254'
publication_status: published
publisher: ACM
publist_id: '251'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Embedded control systems development with Giotto
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2001'
...