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