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. Categories and Subject Descriptors C.3 [Special-purpose and Application-based Systems]: Real-time and Embedded Systems;

• Type: Conference
• Year: 2005
• Where: LCTRTS
• Authors: Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
• Keywords: Giotto Program, Hard Real-time Software, LCTRTS 2005, Software Engineering, Supplier Generates Task