Composable code generation for distributed Giotto Conference Paper

Author(s): Henzinger, Thomas A; Kirsch, Christoph M; Matic, Slobodan
Title: Composable code generation for distributed Giotto
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.
Conference Title: LCTES: Languages, Compilers, and Tools for Embedded Systems
Conference Dates: June 15-17, 2005
Conference Location: Chicago, IL, USA
ISBN: 1-58113-425-8
Publisher: ACM  
Location: New York, NY, USA
Date Published: 2005-06-01
Start Page: 21
End Page: 30
DOI: 10.1145/1065910.1065914
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work