Event-driven programming with logical execution times
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.
Download (ext.)
Conference Paper
| Published
| English
Author
Ghosal, Arkadeb;
Henzinger, Thomas AISTA 
;
Kirsch, Christoph;
Sanvido, Marco
;
Kirsch, Christoph;
Sanvido, MarcoSeries Title
Lecture Notes in Computer Science
Abstract
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).
Publishing Year
Date Published
2004-03-12
Publisher
Springer Nature
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.
Page
357-371
Conference
HSCC: Hybrid Systems - Computation and Control
Conference Location
Philadelphia, PA, United States
Conference Date
2004-03-25 – 2004-03-27
ISBN
IST-REx-ID
Cite this
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Springer Nature; 2004:357-371. doi:10.1007/978-3-540-24743-2_24
Ghosal, A., Henzinger, T. A., Kirsch, C., & 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. https://doi.org/10.1007/978-3-540-24743-2_24
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 357–71. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
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.
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.
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Springer Nature, 2004, pp. 357–71, doi:10.1007/978-3-540-24743-2_24.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Open Access
Google Scholar
ISBN Search