A hierarchical coordination language for interacting real-time tasks
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. Proceedings of the 6th ACM & IEEE International conference on Embedded software. EMSOFT: Embedded Software , 132–141.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Author
Ghosal, Arkadeb;
Henzinger, Thomas AISTA 
;
Iercan, Daniel;
Kirsch, Christoph;
Sangiovanni Vincentelli, Alberto
;
Iercan, Daniel;
Kirsch, Christoph;
Sangiovanni Vincentelli, AlbertoAbstract
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the language,and ensured by the compiler. Programs in HTL are extensible in two dimensions without changing their timing behavior: new program modules can be added, and individual program tasks can be refined. The mechanism supporting time invariance under parallel composition is that different program modules communicate at specified instances of time. Time invariance under refinement is achieved by conservative scheduling of the top level. HTL is a coordination language, in that individual tasks can be implemented in "foreign" languages. As a case study, we present a distributed HTL implementation of an automotive steer-by-wire controller.
Publishing Year
Date Published
2006-01-01
Proceedings Title
Proceedings of the 6th ACM & IEEE International conference on Embedded software
Publisher
ACM
Page
132 - 141
Conference
EMSOFT: Embedded Software
Conference Location
Seoul, Korea
Conference Date
2006-10-22 – 2006-10-25
ISBN
IST-REx-ID
Cite this
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: Proceedings of the 6th ACM & IEEE International Conference on Embedded Software. ACM; 2006:132-141. doi:10.1145/1176887.1176907
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks. In Proceedings of the 6th ACM & IEEE International conference on Embedded software (pp. 132–141). Seoul, Korea: ACM. https://doi.org/10.1145/1176887.1176907
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks.” In Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” in Proceedings of the 6th ACM & IEEE International conference on Embedded software, Seoul, Korea, 2006, pp. 132–141.
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. Proceedings of the 6th ACM & IEEE International conference on Embedded software. EMSOFT: Embedded Software , 132–141.
Ghosal, Arkadeb, et al. “A Hierarchical Coordination Language for Interacting Real-Time Tasks.” Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
Google Scholar
ISBN Search