[{"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","OA_type":"green","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://www.cs.uni-salzburg.at/~ck/content/publications/conferences/HSCC04-EventDrivenProgramming.pdf"}],"conference":{"name":"HSCC: Hybrid Systems - Computation and Control","end_date":"2004-03-27","location":"Philadelphia, PA, United States","start_date":"2004-03-25"},"title":"Event-driven programming with logical execution times","citation":{"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.","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.","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>."},"year":"2004","publication_identifier":{"isbn":["9783540212591"],"eisbn":["9783540247432"]},"type":"conference","date_updated":"2026-05-29T09:15:20Z","day":"12","date_published":"2004-03-12T00:00:00Z","language":[{"iso":"eng"}],"month":"03","oa":1,"status":"public","quality_controlled":"1","_id":"4525","publist_id":"200","OA_place":"repository","page":"357-371","date_created":"2018-12-11T12:09:18Z","abstract":[{"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).","lang":"eng"}],"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.","publisher":"Springer Nature","doi":"10.1007/978-3-540-24743-2_24","author":[{"first_name":"Arkadeb","full_name":"Ghosal, Arkadeb","last_name":"Ghosal"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Christoph","full_name":"Kirsch, Christoph","last_name":"Kirsch"},{"first_name":"Marco","full_name":"Sanvido, Marco","last_name":"Sanvido"}],"oa_version":"Preprint","alternative_title":["Lecture Notes in Computer Science"],"publication_status":"published","extern":"1"}]