Sciweavers

LCTRTS
2001
Springer

Embedded Control Systems Development with Giotto

14 years 2 months ago
Embedded Control Systems Development with Giotto
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 ggered 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 run-time 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.
Thomas A. Henzinger, Benjamin Horowitz, Christoph
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where LCTRTS
Authors Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Comments (0)