[{"conference":{"location":"New York, NY, United States","name":"LCTES: Languages, Compilers, and Tools for Embedded Systems"},"date_created":"2018-12-11T12:09:03Z","month":"06","year":"2001","doi":"10.1145/384197.384208","date_published":"2001-06-01T00:00:00Z","publisher":"ACM","scopus_import":"1","title":"Embedded control systems development with Giotto","language":[{"iso":"eng"}],"publication":"Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems","publist_id":"251","date_updated":"2023-05-10T09:37:20Z","page":"64 - 72","article_processing_charge":"No","_id":"4478","extern":"1","publication_identifier":{"isbn":["9781581134254"]},"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.","quality_controlled":"1","oa_version":"None","publication_status":"published","day":"01","citation":{"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>","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>.","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.","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.","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>","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.","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>."},"type":"conference","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"}],"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"last_name":"Horowitz","full_name":"Horowitz, Benjamin","first_name":"Benjamin"},{"full_name":"Kirsch, Christoph","last_name":"Kirsch","first_name":"Christoph"}],"status":"public"}]