Embedded control systems development with Giotto

T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Author
; ;
Abstract
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus time-triggered mode switches can form the abstract essence of programming real-time control systems. Giotto consists of a programming language with a formal semantics, and a retargetable compiler and runtime library. Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues. The time-triggered predictability of Giotto makes it particularly suitable for safety-critical applications with hard real-time constraints. We illustrate the platform-independence and time-triggered execution of Giotto by coordinating a heterogeneous flock of Intel x86 robots and Lego Mindstorms robots.
Publishing Year
Date Published
2001-06-01
Page
64 - 72
Conference
LCTES: Languages, Compilers, and Tools for Embedded Systems
IST-REx-ID

Cite this

Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: ACM; 2001:64-72. doi:10.1145/384197.384208
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto (pp. 64–72). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/384197.384208
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto,” 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208.
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2001, pp. 64–72.
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems 64–72.
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar