Event-Driven Programming with Logical Execution Times

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 GIOTTO 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 treebased event filter. The compiler also checks programs for determinism (absence of race conditions).

• Type: Conference
• Year: 2004
• Where: HYBRID
• Authors: Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
• Keywords: Hard Real-time Constraints, HYBRID 2004, Hybrid Systems, Logical Execution Time, Predecessor Language Giotto