{"publication_status":"published","publist_id":"262","type":"book_chapter","citation":{"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.","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.","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>","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>","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>.","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."},"publisher":"Wiley-Blackwell","publication":"Software-Enabled Control: Information Technology for Dynamical Systems","month":"05","extern":"1","oa_version":"None","date_published":"2003-05-20T00:00:00Z","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."}],"status":"public","language":[{"iso":"eng"}],"date_updated":"2024-01-08T12:24:01Z","date_created":"2018-12-11T12:08:59Z","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"last_name":"Horowitz","first_name":"Benjamin","full_name":"Horowitz, Benjamin"},{"full_name":"Kirsch, Christoph","first_name":"Christoph","last_name":"Kirsch"}],"publication_identifier":{"isbn":["9780471234364 "]},"title":"Embedded control systems development with Giotto","article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4465","year":"2003","day":"20","page":"123 - 146","quality_controlled":"1","doi":"10.1002/047172288X.ch8"}