---
res:
  bibo_abstract:
  - We present a compositional approach to the implementation of hard real-time software
    running on a distributed platform. We explain how several code suppliers, coordinated
    by a system integrator, can independently generate different parts of the distributed
    software. The task structure, interaction, and timing is specified as a Giotto
    program. Each supplier is given a part of the Giotto program and a timing interface,
    from which the supplier generates task and scheduling code. The integrator then
    checks, individually for each supplier, in pseudo-polynomial time, if the supplied
    code meets its timing specification. If all checks succeed, then the supplied
    software parts are guaranteed to work together and implement the original Giotto
    program. The feasibility of the approach is demonstrated by a prototype implementation.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Thomas Henzinger
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Christoph
      foaf_name: Kirsch, Christoph M
      foaf_surname: Kirsch
  - foaf_Person:
      foaf_givenName: Slobodan
      foaf_name: Matic, Slobodan
      foaf_surname: Matic
  bibo_doi: 10.1145/1065910.1065914
  dct_date: 2005^xs_gYear
  dct_publisher: ACM@
  dct_title: Composable code generation for distributed Giotto@
...