{"oa_version":"None","publisher":"ACM","abstract":[{"lang":"eng","text":"Giotto provides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","day":"26","volume":2211,"conference":{"end_date":"2001-10-10","start_date":"2001-10-08","location":"Tahoe City, CA, USA","name":"EMSOFT: Embedded Software "},"article_processing_charge":"No","scopus_import":"1","date_updated":"2023-05-10T09:42:10Z","intvolume":"      2211","date_published":"2001-09-26T00:00:00Z","quality_controlled":"1","publication":"Proceedings of the 1st International Workshop on Embedded Software","publication_identifier":{"isbn":["9783540426738"]},"month":"09","alternative_title":["LNCS"],"doi":"10.1007/3-540-45449-7_12","year":"2001","type":"conference","title":"Giotto: A time-triggered language for embedded programming","page":"166 - 184","citation":{"ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in <i>Proceedings of the 1st International Workshop on Embedded Software</i>, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” In <i>Proceedings of the 1st International Workshop on Embedded Software</i>, 2211:166–84. ACM, 2001. <a href=\"https://doi.org/10.1007/3-540-45449-7_12\">https://doi.org/10.1007/3-540-45449-7_12</a>.","ista":"Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.","mla":"Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” <i>Proceedings of the 1st International Workshop on Embedded Software</i>, vol. 2211, ACM, 2001, pp. 166–84, doi:<a href=\"https://doi.org/10.1007/3-540-45449-7_12\">10.1007/3-540-45449-7_12</a>.","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.","ama":"Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: <i>Proceedings of the 1st International Workshop on Embedded Software</i>. Vol 2211. ACM; 2001:166-184. doi:<a href=\"https://doi.org/10.1007/3-540-45449-7_12\">10.1007/3-540-45449-7_12</a>","apa":"Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In <i>Proceedings of the 1st International Workshop on Embedded Software</i> (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. <a href=\"https://doi.org/10.1007/3-540-45449-7_12\">https://doi.org/10.1007/3-540-45449-7_12</a>"},"status":"public","publist_id":"252","date_created":"2018-12-11T12:09:04Z","_id":"4479","extern":"1","acknowledgement":"This research was supported in part by the DARPA SEC grant F33615-C-98-3614 and by the MARCO GSRC grant 98-DT-660.","language":[{"iso":"eng"}],"publication_status":"published","author":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Horowitz","first_name":"Benjamin","full_name":"Horowitz, Benjamin"},{"full_name":"Kirsch, Christoph","last_name":"Kirsch","first_name":"Christoph"}]}