Giotto: A time-triggered language for embedded programming Conference Paper

Author(s): Henzinger, Thomas A; Horowitz, Benjamin; Kirsch, Christoph M
Title: Giotto: A time-triggered language for embedded programming
Title Series: LNCS
Abstract: Giotto provides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications.
Conference Title: EMSOFT: Embedded Software
Volume: 2211
Conference Dates: October 8-10, 2001
Conference Location: Tahoe City, CA, USA
ISBN: 978-145034485-2
Publisher: ACM  
Location: Berlin, Heidelberg
Date Published: 2001-09-26
Start Page: 166
End Page: 184
Sponsor: This research was supported in part by the DARPA SEC grant F33615-C-98-3614 and by the MARCO GSRC grant 98-DT-660.
DOI: 1303
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work