[{"type":"conference","publication_status":"published","citation":{"short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.","ista":"Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.","mla":"Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” <i>Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems</i>, ACM, 2001, pp. 64–72, doi:<a href=\"https://doi.org/10.1145/384197.384208\">10.1145/384197.384208</a>.","ama":"Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: <i>Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems</i>. ACM; 2001:64-72. doi:<a href=\"https://doi.org/10.1145/384197.384208\">10.1145/384197.384208</a>","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In <i>Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems</i>, 64–72. ACM, 2001. <a href=\"https://doi.org/10.1145/384197.384208\">https://doi.org/10.1145/384197.384208</a>.","ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in <i>Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems</i>, New York, NY, United States, 2001, pp. 64–72.","apa":"Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2001). Embedded control systems development with Giotto. In <i>Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems</i> (pp. 64–72). New York, NY, United States: ACM. <a href=\"https://doi.org/10.1145/384197.384208\">https://doi.org/10.1145/384197.384208</a>"},"day":"01","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"full_name":"Horowitz, Benjamin","last_name":"Horowitz","first_name":"Benjamin"},{"first_name":"Christoph","full_name":"Kirsch, Christoph","last_name":"Kirsch"}],"status":"public","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"}],"publist_id":"251","date_updated":"2023-05-10T09:37:20Z","page":"64 - 72","article_processing_charge":"No","publication":"Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"We thank Rupak Majumdar for implementing a prototype Giotto compiler for Lego Mindstorms robots. We thank Dmitry Derevyanko and Winthrop Williams for building our Intel x86 robots. We thank Edward Lee and Xiaojun Liu for help with a Ptolemy II [4] implementation of Giotto. This research was supported in part by the DARPA SEC grant F33615-C-98-3614, the DARPA MoBIES grant F33615- 00-C-1703, the MARCO GSRC grant 98-DT-660, the AFOSR MURI grant F49620-00-1-0327, and the NSF ITR grant CCR-0085949.","oa_version":"None","quality_controlled":"1","_id":"4478","publication_identifier":{"isbn":["9781581134254"]},"extern":"1","date_published":"2001-06-01T00:00:00Z","year":"2001","month":"06","doi":"10.1145/384197.384208","language":[{"iso":"eng"}],"publisher":"ACM","scopus_import":"1","title":"Embedded control systems development with Giotto","date_created":"2018-12-11T12:09:03Z","conference":{"name":"LCTES: Languages, Compilers, and Tools for Embedded Systems","location":"New York, NY, United States"}}]