• DocumentCode
    1128323
  • Title

    From control models to real-time code using Giotto

  • Author

    Henzinger, Thomas A. ; Kirsch, Christoph M. ; Sanvido, Marco A A ; Pree, Wolfgang

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
  • Volume
    23
  • Issue
    1
  • fYear
    2003
  • fDate
    2/1/2003 12:00:00 AM
  • Firstpage
    50
  • Lastpage
    64
  • Abstract
    Giotto is a high-level programming language for time-triggered control applications. The authors begin with a conceptual overview of its methodology, discuss the Giotto helicopter project, and summarize available Giotto implementations.
  • Keywords
    aircraft control; computerised control; helicopters; high level languages; real-time systems; Giotto; Giotto helicopter project; high-level programming language; real-time code; time-triggered control; Actuators; Computer languages; Concurrent computing; Control systems; Embedded software; Equations; Mathematical model; Real time systems; Sampling methods; Timing;
  • fLanguage
    English
  • Journal_Title
    Control Systems, IEEE
  • Publisher
    ieee
  • ISSN
    1066-033X
  • Type

    jour

  • DOI
    10.1109/MCS.2003.1172829
  • Filename
    1172829