@inproceedings{4623,
  abstract     = {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.},
  author       = {De Alfaro, Luca and Henzinger, Thomas A},
  booktitle    = {Proceedings of the 1st International Workshop on Embedded Software},
  isbn         = {9783540426738},
  location     = {Tahoe City, CA, USA},
  pages        = {148 -- 165},
  publisher    = {ACM},
  title        = {{Interface theories for component-based design}},
  doi          = {10.1007/3-540-45449-7_11},
  volume       = {2211},
  year         = {2001},
}

@proceedings{4449,
  abstract     = {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.},
  editor       = {Henzinger, Thomas A},
  isbn         = {9783540426738},
  location     = {Tahoe City, CA, USA},
  publisher    = {ACM},
  title        = {{EMSOFT: Embedded Software}},
  doi          = {10.1007/3-540-45449-7},
  volume       = {2211},
  year         = {2001},
}

@inproceedings{4479,
  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 A and Horowitz, Benjamin and Kirsch, Christoph},
  booktitle    = {Proceedings of the 1st International Workshop on Embedded Software},
  isbn         = {9783540426738},
  location     = {Tahoe City, CA, USA},
  pages        = {166 -- 184},
  publisher    = {ACM},
  title        = {{Giotto: A time-triggered language for embedded programming}},
  doi          = {10.1007/3-540-45449-7_12},
  volume       = {2211},
  year         = {2001},
}