Embedded control systems development with Giotto Book Section

Author(s): Henzinger, Thomas A; Horowitz, Benjamin; Kirsch, Christoph M
Article/Chapter Title: Embedded control systems development with Giotto
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.
Keywords: embedded control systems; Giotto system; platform-independent programming extraction
Book Title: Software-Enabled Control: Information Technology for Dynamical Systems
ISBN: 978-0471234364
Publisher: Wiley-Blackwell  
Publication Place: Hoboken, NJ, USA
Date Published: 2003-05-20
Start Page: 123
End Page: 146
DOI: 10.1002/047172288X.ch8
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work