Henzinger, Thomas AIST Austria ; Horowitz, Benjamin ; Kirsch, Christoph M
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.
This research was supported in part by the DARPA SEC grant F33615-C-98-3614 and by the MARCO GSRC grant 98-DT-660.
166 - 184
EMSOFT: Embedded Software
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Vol 2211. ACM; 2001:166-184. doi:1303
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming (Vol. 2211, pp. 166–184). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/1303
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming,” 2211:166–84. ACM, 2001. https://doi.org/1303.
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 166–184.
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. EMSOFT: Embedded Software , LNCS, vol. 2211. 166–184.
Henzinger, Thomas A., et al. Giotto: A Time-Triggered Language for Embedded Programming. Vol. 2211, ACM, 2001, pp. 166–84, doi:1303.