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