Giotto: A Time-Triggered Language for Embedded Programming Export

@incollection{henzinger01giotto, abstract = {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.}, author = {Henzinger, Thomas and Horowitz, Benjamin and Kirsch, Christoph}, booktitle = {Embedded Software}, citeulike-article-id = {5022122}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-45449-7_12}, citeulike-linkout-1 = {http://www.springerlink.com/content/uv3rwpqlrxrnmax4}, doi = {10.1007/3-540-45449-7_12}, journal = {Embedded Software}, keywords = {embedded-systems, mode-change, real-time}, pages = {166--184}, posted-at = {2009-06-30 13:35:54}, priority = {2}, publisher = {Springer}, title = {Giotto: A Time-Triggered Language for Embedded Programming}, url = {http://dx.doi.org/10.1007/3-540-45449-7_12}, year = {2001} }

TY - CHAP ID - henzinger01giotto L3 - citeulike-article-id:5022122 N2 - 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. JF - Embedded Software EP - 184 TI - Giotto: A Time-Triggered Language for Embedded Programming PB - Springer T2 - Embedded Software SP - 166 KW - embedded-systems KW - mode-change KW - real-time AU - Henzinger, Thomas AU - Horowitz, Benjamin AU - Kirsch, Christoph PY - 2001/// UR - http://dx.doi.org/10.1007/3-540-45449-7_12 ER -