---
OA_place: repository
OA_type: green
_id: '4525'
abstract:
- lang: eng
  text: 'We present a new high-level programming language, called xGiotto, for programming
    applications with hard real-time constraints. Like its predecessor, xGiotto is
    based on the LET (logical execution time) assumption: the programmer specifies
    when the outputs of a task become available, and the compiler checks if the specification
    can be implemented on a given platform. However, while the predecessor language
    xGiotto was purely time-triggered, xGiotto accommodates also asynchronous events.
    Indeed, through a mechanism called event scoping, events are the main structuring
    principle of the new language. The xGiotto compiler and run-time system implement
    event scoping through a tree-based event filter. The compiler also checks programs
    for determinism (absence of race conditions).'
acknowledgement: This research is supported by the AFOSR MURI grant F49620-00-1-0327,
  the DARPA SEC grant F33615-C-98-3614, the MARCO GSRC grant 98-DT-660, and the NSF
  grants CCR-0208875 and CCR-0225610.
alternative_title:
- Lecture Notes in Computer Science
article_processing_charge: No
author:
- first_name: Arkadeb
  full_name: Ghosal, Arkadeb
  last_name: Ghosal
- 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: Christoph
  full_name: Kirsch, Christoph
  last_name: Kirsch
- first_name: Marco
  full_name: Sanvido, Marco
  last_name: Sanvido
citation:
  ama: 'Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with
    logical execution times. In: Springer Nature; 2004:357-371. doi:<a href="https://doi.org/10.1007/978-3-540-24743-2_24">10.1007/978-3-540-24743-2_24</a>'
  apa: 'Ghosal, A., Henzinger, T. A., Kirsch, C., &#38; Sanvido, M. (2004). Event-driven
    programming with logical execution times (pp. 357–371). Presented at the HSCC:
    Hybrid Systems - Computation and Control, Philadelphia, PA, United States: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-540-24743-2_24">https://doi.org/10.1007/978-3-540-24743-2_24</a>'
  chicago: Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido.
    “Event-Driven Programming with Logical Execution Times,” 357–71. Springer Nature,
    2004. <a href="https://doi.org/10.1007/978-3-540-24743-2_24">https://doi.org/10.1007/978-3-540-24743-2_24</a>.
  ieee: 'A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming
    with logical execution times,” presented at the HSCC: Hybrid Systems - Computation
    and Control, Philadelphia, PA, United States, 2004, pp. 357–371.'
  ista: 'Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming
    with logical execution times. HSCC: Hybrid Systems - Computation and Control,
    Lecture Notes in Computer Science, , 357–371.'
  mla: Ghosal, Arkadeb, et al. <i>Event-Driven Programming with Logical Execution
    Times</i>. Springer Nature, 2004, pp. 357–71, doi:<a href="https://doi.org/10.1007/978-3-540-24743-2_24">10.1007/978-3-540-24743-2_24</a>.
  short: A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer Nature, 2004,
    pp. 357–371.
conference:
  end_date: 2004-03-27
  location: Philadelphia, PA, United States
  name: 'HSCC: Hybrid Systems - Computation and Control'
  start_date: 2004-03-25
date_created: 2018-12-11T12:09:18Z
date_published: 2004-03-12T00:00:00Z
date_updated: 2026-05-29T09:15:20Z
day: '12'
doi: 10.1007/978-3-540-24743-2_24
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.cs.uni-salzburg.at/~ck/content/publications/conferences/HSCC04-EventDrivenProgramming.pdf
month: '03'
oa: 1
oa_version: Preprint
page: 357-371
publication_identifier:
  eisbn:
  - '9783540247432'
  isbn:
  - '9783540212591'
publication_status: published
publisher: Springer Nature
publist_id: '200'
quality_controlled: '1'
status: public
title: Event-driven programming with logical execution times
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2004'
...