{"date_created":"2018-12-11T12:09:04Z","type":"conference","citation":{"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>.","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.","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>","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.","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.","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>","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>."},"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.","month":"09","date_updated":"2023-05-10T09:42:10Z","title":"Giotto: A time-triggered language for embedded programming","scopus_import":"1","article_processing_charge":"No","publisher":"ACM","publication_identifier":{"isbn":["9783540426738"]},"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."}],"year":"2001","oa_version":"None","status":"public","extern":"1","day":"26","publication_status":"published","publication":"Proceedings of the 1st International Workshop on Embedded Software","date_published":"2001-09-26T00:00:00Z","conference":{"start_date":"2001-10-08","name":"EMSOFT: Embedded Software ","end_date":"2001-10-10","location":"Tahoe City, CA, USA"},"_id":"4479","alternative_title":["LNCS"],"volume":2211,"author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"last_name":"Horowitz","full_name":"Horowitz, Benjamin","first_name":"Benjamin"},{"first_name":"Christoph","last_name":"Kirsch","full_name":"Kirsch, Christoph"}],"doi":"10.1007/3-540-45449-7_12","language":[{"iso":"eng"}],"publist_id":"252","quality_controlled":"1","intvolume":"      2211","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"166 - 184"}