Citation
Tom Henzinger, Christoph Kirsch, Slobodan Matic. "Composable Code Generation for Distributed Giotto". Proceedings of LCTES 2005, 21-30, June, 2005.

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.

Electronic downloads

• CompDistrGiotto.pdf · application/pdf · 382 kbytes

• HTML

  Tom Henzinger, Christoph Kirsch, Slobodan Matic. <a
  href="http://chess.eecs.berkeley.edu/pubs/90.html"
  >Composable Code Generation for Distributed
  Giotto</a>, Proceedings of LCTES 2005, 21-30, June,
  2005.

• Plain text

  Tom Henzinger, Christoph Kirsch, Slobodan Matic.
  "Composable Code Generation for Distributed
  Giotto". Proceedings of LCTES 2005, 21-30, June, 2005.

• BibTeX

  @inproceedings{HenzingerKirschMatic05_ComposableCodeGenerationForDistributedGiotto,
      author = {Tom Henzinger and Christoph Kirsch and Slobodan
                Matic},
      title = {Composable Code Generation for Distributed Giotto},
      booktitle = {Proceedings of LCTES 2005},
      pages = {21-30},
      month = {June},
      year = {2005},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/90.html}
  }
  

Posted by Slobodan Matic on 11 May 2006.
Groups: chess chesslocal
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.