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