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