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
fDate :
2/1/2003 12:00:00 AM
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;
Journal_Title :
Control Systems, IEEE
DOI :
10.1109/MCS.2003.1172829
