Concepedia

From control models to real-time code using Giotto

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

IEEE Control Systems · 2003 · 140 citations · 10 references

Concepts

EngineeringComputer ScienceSystems EngineeringProgramming LanguagesReal-time SystemsSystems ProgrammingControl SystemsControl TheoryReal-time ControlReal-time Systems ArchitectureReal-time Systems DesignReal-time Systems ProgrammingFlight Control Computer ArchitectureReal-time Code GenerationReal-time Control AlgorithmsTime-triggered ArchitecturesTime-triggered Systems

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.

References

10

Real-time systems: Design principles for distributed embedded applications

Computers & Mathematics with Applications · 1997 · 1.9K citations

Engineering, Computer Engineering, Computer Science +14

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +15

Giotto: a time-triggered language for embedded programming

Thomas A. Henzinger, Benjamin Horowitz, Christoph Kirsch · Proceedings of the IEEE · 2003 · 414 citations

Engineering, Computer Engineering, Computer Science +17

Synchronous programming with events and relations: the SIGNAL language and its semantics

Albert Benveniste, Paul Le Guernic, C. Jacquemot · Science of Computer Programming · 1991 · 298 citations

Computing, Computer Science, Computer Systems +11

The embedded machine

Thomas A. Henzinger, Christoph Kirsch · 2002 · 93 citations

Engineering, Computer Engineering, Computer Science +17