A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Distributed, Modular HTL
2009
2009 30th IEEE Real-Time Systems Symposium
The Hierarchical Timing Language (HTL) is a realtime 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
doi:10.1109/rtss.2009.9
dblp:conf/rtss/HenzingerKMS09
fatcat:h6e7tcq6rbbk5iuy6xa5f7kcee