{"doi":"10.1002/047172288X.ch8","oa_version":"None","publication_status":"published","citation":{"ista":"Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.","mla":"Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, Wiley-Blackwell, 2003, pp. 123–46, doi:<a href=\"https://doi.org/10.1002/047172288X.ch8\">10.1002/047172288X.ch8</a>.","apa":"Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2003). Embedded control systems development with Giotto. In <i>Software-Enabled Control: Information Technology for Dynamical Systems</i> (pp. 123–146). Wiley-Blackwell. <a href=\"https://doi.org/10.1002/047172288X.ch8\">https://doi.org/10.1002/047172288X.ch8</a>","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, 123–46. Wiley-Blackwell, 2003. <a href=\"https://doi.org/10.1002/047172288X.ch8\">https://doi.org/10.1002/047172288X.ch8</a>.","ama":"Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>. Wiley-Blackwell; 2003:123-146. doi:<a href=\"https://doi.org/10.1002/047172288X.ch8\">10.1002/047172288X.ch8</a>","ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, Wiley-Blackwell, 2003, pp. 123–146."},"publist_id":"262","publisher":"Wiley-Blackwell","abstract":[{"lang":"eng","text":"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 real-time control systems. Giotto consists of a programming language with a formal semantics, and a retargetable compiler and runtime library. Giotto supports the automation of control 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."}],"article_processing_charge":"No","extern":"1","language":[{"iso":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4465","quality_controlled":"1","title":"Embedded control systems development with Giotto","publication":"Software-Enabled Control: Information Technology for Dynamical Systems","date_created":"2018-12-11T12:08:59Z","page":"123 - 146","month":"05","date_updated":"2024-01-08T12:24:01Z","year":"2003","day":"20","type":"book_chapter","status":"public","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"first_name":"Benjamin","last_name":"Horowitz","full_name":"Horowitz, Benjamin"},{"full_name":"Kirsch, Christoph","last_name":"Kirsch","first_name":"Christoph"}],"publication_identifier":{"isbn":["9780471234364 "]},"date_published":"2003-05-20T00:00:00Z"}