A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 controldoi:10.1002/047172288x.ch8 fatcat:oobpwuwckvd23j6e733e6z5pw4