[{"page":"148 - 165","date_created":"2018-12-11T12:09:48Z","month":"09","extern":"1","publisher":"ACM","intvolume":"      2211","status":"public","publication":"Proceedings of the 1st International Workshop on Embedded Software","quality_controlled":"1","title":"Interface theories for component-based design","conference":{"end_date":"2001-10-10","start_date":"2001-10-08","name":"EMSOFT: Embedded Software ","location":"Tahoe City, CA, USA"},"citation":{"chicago":"De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.” In <i>Proceedings of the 1st International Workshop on Embedded Software</i>, 2211:148–65. ACM, 2001. <a href=\"https://doi.org/10.1007/3-540-45449-7_11\">https://doi.org/10.1007/3-540-45449-7_11</a>.","ieee":"L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” in <i>Proceedings of the 1st International Workshop on Embedded Software</i>, Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.","ista":"De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.","mla":"De Alfaro, Luca, and Thomas A. Henzinger. “Interface Theories for Component-Based Design.” <i>Proceedings of the 1st International Workshop on Embedded Software</i>, vol. 2211, ACM, 2001, pp. 148–65, doi:<a href=\"https://doi.org/10.1007/3-540-45449-7_11\">10.1007/3-540-45449-7_11</a>.","short":"L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.","ama":"De Alfaro L, Henzinger TA. Interface theories for component-based design. In: <i>Proceedings of the 1st International Workshop on Embedded Software</i>. Vol 2211. ACM; 2001:148-165. doi:<a href=\"https://doi.org/10.1007/3-540-45449-7_11\">10.1007/3-540-45449-7_11</a>","apa":"De Alfaro, L., &#38; Henzinger, T. A. (2001). Interface theories for component-based design. In <i>Proceedings of the 1st International Workshop on Embedded Software</i> (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. <a href=\"https://doi.org/10.1007/3-540-45449-7_11\">https://doi.org/10.1007/3-540-45449-7_11</a>"},"type":"conference","author":[{"first_name":"Luca","full_name":"De Alfaro, Luca","last_name":"De Alfaro"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"alternative_title":["LNCS"],"day":"26","acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327, the DARPA ITO grant F33615-00-C-1693, the MARCO grant 98-DT-660, and the NSF ITR grant CCR-0085949.","doi":"10.1007/3-540-45449-7_11","language":[{"iso":"eng"}],"article_processing_charge":"No","_id":"4623","abstract":[{"text":"We classify component-based models of computation into component models and interface models. A component model specifies for each component howthe component behaves in an arbitrary environment; an interface model specifies for each component what the component expects from the environment. Component models support compositional abstraction, and therefore component-based verification. Interface models support compositional refinement, and therefore componentbased design. Many aspects of interface models, such as compatibility and refinement checking between interfaces, are properly viewed in a gametheoretic setting, where the input and output values of an interface are chosen by different players.","lang":"eng"}],"date_published":"2001-09-26T00:00:00Z","publication_status":"published","volume":2211,"year":"2001","oa_version":"None","publist_id":"84","publication_identifier":{"isbn":["9783540426738"]},"scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2023-05-08T12:11:20Z"},{"publication_identifier":{"isbn":["9783540426738"]},"doi":"10.1007/3-540-45449-7","language":[{"iso":"eng"}],"date_updated":"2023-05-10T09:53:17Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"EMSOFT: Embedded Software","editor":[{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"conference":{"name":"EMSOFT 2001: Embedded Software","end_date":"2001-10-10","start_date":"2001-10-08","location":"Tahoe City, CA, USA"},"citation":{"mla":"Henzinger, Thomas A., editor. <i>EMSOFT: Embedded Software</i>. Vol. 2211, ACM, 2001, doi:<a href=\"https://doi.org/10.1007/3-540-45449-7\">10.1007/3-540-45449-7</a>.","ista":"Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.","ieee":"T. A. Henzinger, Ed., <i>EMSOFT: Embedded Software</i>, vol. 2211. ACM, 2001.","chicago":"Henzinger, Thomas A, ed. <i>EMSOFT: Embedded Software</i>. Vol. 2211. ACM, 2001. <a href=\"https://doi.org/10.1007/3-540-45449-7\">https://doi.org/10.1007/3-540-45449-7</a>.","apa":"Henzinger, T. A. (Ed.). (2001). <i>EMSOFT: Embedded Software</i> (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. <a href=\"https://doi.org/10.1007/3-540-45449-7\">https://doi.org/10.1007/3-540-45449-7</a>","ama":"Henzinger TA, ed. <i>EMSOFT: Embedded Software</i>. Vol 2211. ACM; 2001. doi:<a href=\"https://doi.org/10.1007/3-540-45449-7\">10.1007/3-540-45449-7</a>","short":"T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001."},"type":"conference_editor","year":"2001","oa_version":"None","alternative_title":["LNCS"],"day":"26","publist_id":"283","publisher":"ACM","publication_status":"published","status":"public","intvolume":"      2211","volume":2211,"quality_controlled":"1","article_processing_charge":"No","date_published":"2001-09-26T00:00:00Z","_id":"4449","date_created":"2018-12-11T12:08:54Z","abstract":[{"lang":"eng","text":"Embedded software is software that interacts with physical processes. As em- bedded systems increasingly permeate our daily lives on all levels, from micros- copic devices to international networks, the cost-efficient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software develop- ment, and to incubate a research community in this way. The workshop aims to cover all aspects of the design and implementation of embedded software, inclu- ding operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution time analysis, networking and fault tolerance, as well as application areas, such as embedded control, real-time signal processing, and telecommunications."}],"month":"09","extern":"1"},{"day":"26","type":"conference","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"last_name":"Horowitz","full_name":"Horowitz, Benjamin","first_name":"Benjamin"},{"first_name":"Christoph","full_name":"Kirsch, Christoph","last_name":"Kirsch"}],"alternative_title":["LNCS"],"citation":{"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.","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>.","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.","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>","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>"},"title":"Giotto: A time-triggered language for embedded programming","conference":{"start_date":"2001-10-08","end_date":"2001-10-10","name":"EMSOFT: Embedded Software ","location":"Tahoe City, CA, USA"},"language":[{"iso":"eng"}],"doi":"10.1007/3-540-45449-7_12","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","extern":"1","date_created":"2018-12-11T12:09:04Z","page":"166 - 184","publication":"Proceedings of the 1st International Workshop on Embedded Software","quality_controlled":"1","status":"public","intvolume":"      2211","publisher":"ACM","publist_id":"252","oa_version":"None","year":"2001","scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2023-05-10T09:42:10Z","publication_identifier":{"isbn":["9783540426738"]},"_id":"4479","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."}],"date_published":"2001-09-26T00:00:00Z","article_processing_charge":"No","volume":2211,"publication_status":"published"}]