Campus Event Calendar
Event Entry
What and Who
Event-driven Programming with Logical Execution Times
Dr.-Ing. Christoph Kirsch
Department of Computer Science of the University of Salzburg, Austria
Talk
AG 1, AG 2
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 9 June 2004
14:00
-- Not specified --
46.1 - MPII
021
Saarbrücken
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 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 tree-based event
filter. The compiler also checks programs for determinism (absence
of race conditions).
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 tree-based event
filter. The compiler also checks programs for determinism (absence
of race conditions).
Contact
Ellen Fries
9325-502
--email hidden
passcode not visible
logged in users only
Ellen Fries, 06/07/2004 12:11 -- Created document.