---
_id: '3844'
abstract:
- lang: eng
  text: The Hierarchical Timing Language (HTL) is a real-time coordination language
    for distributed control systems. HTL programs must be checked for well-formedness,
    race freedom, transmission safety (schedulability of inter-host communication),
    and time safety (schedulability of host computation). We present a modular abstract
    syntax and semantics for HTL, modular checks of well-formedness, race freedom,
    and transmission safety, and modular code distribution. Our contributions here
    complement previous results on HTL time safety and modular code generation. Modularity
    in HTL can be utilized in easy program composition as well as fast program analysis
    and code generation, but also in so-called runtime patching, where program components
    may be modified at runtime.
acknowledgement: Supported by the EU ArtistDesign Network of Excellence on Embedded
  Systems Design, the EU project COMBEST, the Austrian Science Funds P18913-N15 and
  V00125, and Fundacao para a Ciencia e Tecnologia funds SFRH/BD/29461/2006 and PTDC/EIA/71462/2006
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: Christoph
  full_name: Kirsch, Christoph
  last_name: Kirsch
- first_name: Eduardo
  full_name: Marques, Eduardo
  last_name: Marques
- first_name: Ana
  full_name: Sokolova, Ana
  last_name: Sokolova
citation:
  ama: 'Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In:
    IEEE; 2009:171-180. doi:<a href="https://doi.org/10.1109/RTSS.2009.9">10.1109/RTSS.2009.9</a>'
  apa: 'Henzinger, T. A., Kirsch, C., Marques, E., &#38; Sokolova, A. (2009). Distributed,
    modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium,
    Washington, DC, United States: IEEE. <a href="https://doi.org/10.1109/RTSS.2009.9">https://doi.org/10.1109/RTSS.2009.9</a>'
  chicago: Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova.
    “Distributed, Modular HTL,” 171–80. IEEE, 2009. <a href="https://doi.org/10.1109/RTSS.2009.9">https://doi.org/10.1109/RTSS.2009.9</a>.
  ieee: 'T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular
    HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United
    States, 2009, pp. 171–180.'
  ista: 'Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular
    HTL. RTSS: Real-Time Systems Symposium, 171–180.'
  mla: Henzinger, Thomas A., et al. <i>Distributed, Modular HTL</i>. IEEE, 2009, pp.
    171–80, doi:<a href="https://doi.org/10.1109/RTSS.2009.9">10.1109/RTSS.2009.9</a>.
  short: T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp.
    171–180.
conference:
  end_date: 2009-12-04
  location: Washington, DC, United States
  name: 'RTSS: Real-Time Systems Symposium'
  start_date: 2009-12-01
date_created: 2018-12-11T12:05:28Z
date_published: 2009-01-01T00:00:00Z
date_updated: 2025-09-30T09:54:22Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1109/RTSS.2009.9
ec_funded: 1
external_id:
  isi:
  - '000277465500016'
file:
- access_level: open_access
  checksum: b2b15a5ef71eb50d62eaa5aea7efd8c4
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:07:56Z
  date_updated: 2020-07-14T12:46:17Z
  file_id: '4655'
  file_name: IST-2012-65-v1+1_Distributed_modular_Htl.pdf
  file_size: 526458
  relation: main_file
file_date_updated: 2020-07-14T12:46:17Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 171 - 180
project:
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '214373'
  name: Design for Embedded Systems
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '215543'
  name: COMponent-Based Embedded Systems design Techniques
publication_status: published
publisher: IEEE
publist_id: '2346'
pubrep_id: '65'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Distributed, modular HTL
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2009'
...