*banner
 

Composable Code Generation for Distributed Giotto
Tom Henzinger, Christoph Kirsch, Slobodan Matic

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess