Embedded Control Systems Development with Giotto [chapter]

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
2004 Software-Enabled Control  
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 control systems. Giotto consists of a programming language with a formal semantics, a retargetable compiler, and a runtime library. Giotto supports the automation of control
more » ... 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. *
doi:10.1002/047172288x.ch8 fatcat:oobpwuwckvd23j6e733e6z5pw4